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

[beldmit]

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

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

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

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

Comments

[beldmit]

Кажется, компиляторы, как минимум некоторые, все преобразования проглотят более-менее молча.

[beldmit]

typedef.c:

typedef int type1_t;
typedef int type2_t;

int main(void) {
  type1_t t1 = 5;
  type2_t t2 = 6;

  if (t1 != t2) return 0;

  return 1;
}

gcc -Wall -Wpedantic -Werror typedef.c -o a.out