Promotion

[ny_quant]

Я щетаю, promotion должен быть либо самоочевидным и безопасным, либо никаким вообще.

int -> long // ok
long -> double // ok
unsigned int -> int // низя
int -> unsigned int // тоже низя

О чем думали?

Comments

[nlothik.livejournal.com]

А мне как-то не понятно, что тут не так. long -> double разве что я бы поостерёгся делать, а что такого в запрете делать из беззнаковой знаковую и наоборот?

[ny-quant.livejournal.com]

Что будет, если значение беззнаковой переменной больше максимума, дозволяемого знаковой? Что будет если знаковую с отрицательным значением присвоить в беззнаковую?

[nlothik.livejournal.com]

Всё правильно -- мне и неясно, что не так с _запретом_ на такое преобразование типов. Правильно запретили.

Или я неправильно понял, и на самом деле так *можно* и предлагается запретить? Тогда справедливо!

[ny-quant.livejournal.com]

На самом деле так можно, но я бы запретил.