Promotion

[ny_quant]

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

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

О чем думали?

Comments

[cema.livejournal.com]

Но ведь очевидно почему, разве нет?

[ny-quant.livejournal.com]

Нет, неочевидно.

[ticklish-frog.livejournal.com]

А я бы и long -> double запретил. На основании того, что long может с прогрессом процессоров так разрастись, что не поместится в мантиссу double.

[ny-quant.livejournal.com]

Тоже правда.

А вот говорят, что я чего-то не понимаю.

[nlothik.livejournal.com]

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

[ny-quant.livejournal.com]

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

[nlothik.livejournal.com]

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

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

[ny-quant.livejournal.com]

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

[blue-slonopotam.livejournal.com]

тогда нельзя конвертировать из целого в плавающее с мантиссой меньше разрядности исходного целого. т.е. лонг в дабл низя.

[ny-quant.livejournal.com]

Да, верно.