Похоже, что унарный побитовый оператор not (~) для uint16_t и uint8_t возвращает int, а не тип своего операнда (то же самое для унарного -). Может ли кто-нибудь объяснить, почему это так?
Неожиданно оказалось, что ~uint16_t(0) ‹ uint16_t(0)
Я использую g++ версии 9.2.1 20191008 (Ubuntu 9.2.1-9ubuntu2) x86_64-linux-gnu
Из C++11 Стандарт 5.3.1.8:
Операнд унарного оператора - должен иметь арифметический тип или тип перечисления без области действия, а результатом является отрицание его операнда. Целочисленное повышение выполняется над целочисленными операндами или операндами перечисления. Отрицательное значение беззнаковой величины вычисляется путем вычитания ее значения из 2^n, где n — количество битов в расширенном операнде. Тип результата — это тип расширенного операнда.
Итак, в нем говорится, что целочисленное продвижение происходит для унарных операторов.
