Для того, что бы "программисту" включить мозг достаточно выдаваемого IAR-ом сообщения:

[Pa091]: operator operates on value promoted to int (with possibly unexpected result)

Пусть думает, как однозначно донести свои думы до компилятора. Более того, это сообщение много информативнее, чем желаемое "unreachable code", ибо указывает на ПРИЧИНУ непонимания, а на следствие.

К сожалению, я пока вижу недостаточное понимание сути языка и как следствие неверную интерпретацию его средств (попытку использовать их в привычном для другого языка стиле). Давайте вернёмся на первый вопрос: что есть класс в С++ и что есть класс в Питоне? Без ответа хотя бы на этот вопрос остальное обсуждать бессмысленно. Итак:

В С++ класс - это тип, определяемый пользователем.

В Питоне класс - это ...?

Это просто объект, описывающий структуру данных (включая методы и переменные класса) пригодную для создания экземпляров класса, которые тоже являются объектами.

К вопросу о продвижении short. Как пишет Шилдт (стр. 77), и, видимо, стандарт тоже, и подсказывает здравый смысл, в выражениях переменные типов char и short int автоматически продвигаются в int. За все процессоры не скажу, но ARM не имеет операций с байтами или парами байтов, кроме загрузить, расширить знак и сохранить.

Идеально, в смысле который Вы имеете ввиду, и не должно получиться.
В силу того, что побитовые логические операции не имеют никакого отношения к знаковости переменной и они не имеют совершенно никакого отношения к арифметике.
Любую побитовую логическую операцию можно рассматривать как набор побитовых операций булевой алгебры между соответствующими разрядами двух операндов.
Грубо говоря двухбйтная переменная в этом случае это не short или unsigned short, а упорядоченный набор 16-ти переменных булевого типа.
Поэтому для бинарных операций разрядное равенство двух операндов строго необходимо, в отличие, теоретически, от команд арифметики.
И тут уже расширение вполне логично с заявленным типом операнда , в противном случае его можно скорректировать явным преобразованием ДО выполнения операции.

А вот унарный оператор ~ стоит особняком: его операнд самодостаточен и совершенно не требует проведения расширения.
Но в отличие от бинарных операций результат работы ~ нельзя скорректировать явным преобразованием ДО выполнения операций - только лишь после.

Предлагаю участникам сосредоточиться на главном вопросе и не уклоняться в сторону питона.
Модератор.

Если обобщить пункты в стандарте, то приводится к первому из списка (int, unsigned int, long int, unsigned long int, long long int, or unsigned long long int) типу,
который в состоянии представить все допустимые значения расширяемого (продвигаемого) типа.
char, short и unsigned short расширяются до знакового int.

Почему? Ведь это оператор дополнения до единицы, который по совместительству можно использовать для побитовой инверсии.

За исключением платформ, на которых int 16-разрядный. Там unsigned short должен превратиться в unsigned int. Впрочем, там эти типы отличаются только названием

В Питоне класс - это динамическое пространство имён. Во всеми вытекающими. Т.е. это никакой не тип, как в плюсах. А все эти наследования и прочее - это средства для управления этими динамическими пространствами имён. Поэтому и семантика классов и взаимоотношения их членов с окружением совершенно иное, чем в С++. Как тут можно сравнивать вообще, я не понимаю.

P.S. Терпение модератора на исходе, поэтому больше офтопить не буду, прошу прощения за неудобства.

Так это и не исключение. Этот случай оговорен формулировкой "к первому из списка, который в состоянии представить все допустимые значения".
Так как int не может представить значения более 32766, то следующим в списке идет unsigned int, который и будет тем "первым, который в состоянии".



Согласен. Но ведь оператор дополнения до единицы тоже в этом смысле самодостаточен.
Хотя, да, возможные нюансы с дополнением я упустил из виду.

Странно, что везде и всюду этот оператор помечен как побитовый логический, в перекор формальному определению стандарта..

Сообщение отредактировал aiwa - May 11 2016, 08:32

Вы что-то путаете. Вот определение стандарта:

Если в выражении используются разные типы, тогда действует описанное вами продвижение. Типы же char, short продвигаются, повторюсь, автоматически, независимо от одинаковости или нет типов операндов. Всегда.

Все (продвинутые) ссылаются на стандарт по языку C. Надо думать, у каждого второго он имеется. Поделитесь, пожалуйста. А то у меня одни черновики.
И на C11, если можно. И на C++14, заодно.