Литералы и неявное сужение конверсий

Question

a) Не должно ли следующее присваивание вызывать ошибку, поскольку число 100 является литералом типа int и поскольку компилятор не допускает неявных сужений конверсий?

byte b = 100; 

б) Если компилятор не жалуется неявным сужающее преобразованием из междунар буквального к типу байты, то почему не он также позволяет неявное преобразования сужающегося от двойных literal to type float (я понимаю, мы могли бы избежать этой ошибки, указав плавающий литерал с использованием суффикса F/f)?

byte b=16; //OK 
float f1=16.9; //error 

спасибо

Answer 1

Это описано в разделе 6.1.8 на C# языка спецификации. Для постоянных выражений типа int можно преобразовать в sbyte, byte, short, ushort, uint или ulong при условии, что значение находится в пределах целевого типа. Для компилятора C# довольно легко определить, находится ли значение в соответствующем диапазоне и, следовательно, разрешить преобразование.

Что касается двойного футляра, спецификация C# lang специально не указывает, почему это запрещено. Я предполагаю, что это связано с трудностями при определении того, может ли двойное значение вписываться в значение float. Получение точности с плавающей запятой является очень сложной задачей и, вероятно, так много, поэтому она не считалась стоимой (если это было возможно вообще)