Очень понравилось

[beldmit]

При работе с сетью нельзя абстрагироваться от порядка байтов, поэтому хотелось бы сделать так, чтобы его нельзя было проигнорировать при написании кода. Более того, у нас не просто число в BE — это номер порта, IP-адрес, номер последовательности TCP, контрольная сумма. Одно нельзя присваивать другому, даже если количество бит совпадает.

Решение известно — строгая типизация, то есть отдельные типы для портов, адресов, номеров. Кроме того, эти типы должны поддерживать конвертацию BE/LE. Boost.Endian нам не подходит, так как в проекте нет Boost.

Размер проекта около 40 тысяч строк на C++17. Если создать безопасные типы-обертки и переписать на них структуры заголовков, автоматически перестанут компилироваться все места, где есть работа с BE. Придется один раз пройтись по ним всем, зато новый код будет только безопасным.

Жаль, что на C это скорее всего не реализовать.

Comments

[bowhill]

Безопасности от бездумия не бывает. Это хорошо, что хотя бы в Си нет "обёрток". Так что приходится думать, что делаешь.

[beldmit]

Думать умеют не все, а концентрации хватает не всегда. Я в криптографии каждый раз пытаюсь понять порядок байт, и почти всегда всё заканчивается перебором.

Так что если можно проверку на внимание спихнуть на бездушную железку, то больше мозгов останется на содержательную работу.

[bowhill]

Лишняя возможность проверки не лишняя, но спихивание мыслительных процессов на железку, как тенденция и как ожидание, заканчивается неудачно. Целая эпоха или культура в программировании проходит под мечтой о том, как любая кухарка сможет управлять программированием. Потому что это дёшево.

Теоретически, неопределённость порядка — проблема дизайна, ну а практически, увы, да, жизнь среди костылей.