Неверное деление (3/2=1)

[Smitt&Wesson]

Сообщение от pproger

и совсем не поэтому. 3.0/2.0 даст тип double. 3.0f/2.0f даст тип float. переменная, к которой присваивается результат может быть объявлена как угодно, хоть char, просто к ней неявно приведется полученный результат (если неявное приведение возможно).

К char он не приведётся. В этом случае нужно явно его привести к типу, иначе компиль выдаст ошибку.

[pproger]

2Smitt&Wesson
приведется. хотя и выдастся предупреждение об усечении типа и возможной потере данных. предупреждение не ошибка. да и char я в качестве примера привел. основной тезис - результат выражения не зависит от типа переменной, к которой оно присваивается, зависит лишь от типов операндов и правил продвижения типов в выражениях.

[waleri]

rvalue приводится к наибольшему типу в выражении.
lvalue не играет роли, если lvalue не хватит то просто выдаст warning и (возможно, зависит от компилятора) runtime ошибку при переполнении.

[pproger]

Сообщение от waleri

rvalue приводится к наибольшему типу в выражении.

а вот и нифига. это всего лишь частный случай. по твоему заявлению, результат выражения

short x = 10;
char y = 20;
cout << x + y << endl;

будет соответствовать типу short. а это не так. поэтому я и говорю, что тип выражения зависит от типов операндов и правил продвижения типов (кстати, в языках С и С++ эти правила слегка отличаются)

[waleri]

10 и 20 - int, так что привидется к int

а вот
short lv = char(10) + short(20) будет short // по вашей логике ето int и будет warning

Я думаю, что если у cout есть оператор << для short тогда он и выполнится, другое дело какой будет автоматический cast.

[pproger]

2waleri

10 и 20 - int, так что привидется к int

в выражении мы работаем с переменными x и y, а не с литералами 10 и 20. x и y это соответственно short и char.

short lv = char(10) + short(20) будет short // по вашей логике ето int и будет warning

да, по нашей логике это int
http://codepad.org/kC0kudXo

если тебе больше литералы нравятся - пожалуйста
http://codepad.org/V7uPYS1f

short-ом он станет уже после присваивания к lvalue. а будет варнинг или нет, зависит от компилятора и ключей компиляции

[waleri]

Хорошо, согласен со следуущей пооправкой: "rvalue приводится к наибольшему типу в выражении, но не меньше чем int"