Примитивные типы ограничений безопасности

Question

Учитывая, что я являюсь компилятором 32-разрядного приложения (хотя это ничего не меняет), безопасен ли этот код?

cout << (numeric_limits<unsigned int>::max() + 1) << endl; 

Он печатает «0», но влияет на немного другой переменной? Предположим, у меня есть байт (char) со следующими битами, а затем добавляю 1: 1111 1111 (255). Будет ли результат «1 0000 0000» (256), и процессор будет читать только последние 8 бит в качестве моей переменной или просто сбросит последовательность бит?

Answer 1

C++ проект стандарта, §3.9.1.4 требует, чтобы

беззнаковых целых, объявлены без знака, должны подчиняться законам арифметики по модулю 2 ^п где п число битов в представлении значение этого определенный размер целого.

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

Обратите внимание, что упомянутое выше правило не относится к char, так как оно не объявлено unsigned (вместо этого вам следует использовать unsigned char).

Answer 2

Беззнаковые целочисленные типы подчиняются законам арифметики по модулю 2^N. Результат в этом случае всегда будет 0, и никакая другая память не будет перезаписана.