Большинство программ на любом языке высокого уровня содержат различные арифметические выражения, значения которых подлежат вычислению. А поскольку язык C# строго типизирован, то программист должен следить за возможностью вычисления этого значения и правильно предугадать и объявить его тип, учитывая явные и неявные преобразования типов языка.
К наиболее простой ситуации относится такая, когда операнды, входящие в выражение, одного типа и операция для этого типа определена, то результат выражения будет иметь тот же тип.
Рассмотрим более сложные ситуации.
5.2.1 Присвоение переменной одного типа значения другого типа
При этом будет выполнено автоматическое неявное преобразование типа переменной, стоящей справа от знака присваивания, в тип переменной, стоящей слева от знака присваивания, если тип левой части имеет больший диапазон значений, чем тип правой части. Такое преобразование, называемое расширяющим неявным преобразованием, осуществляет приведение более коротких типов к более длинным типам без потери значимости и точности. Для расширяющих преобразований числовые типы (целые типы, типы с плавающей точкой) совместимы друг с другом.
Например: long h; double z; …..z=h;…. // допустимое преобразование, но может вызвать потерю точности, но не потерю значимости.
Обратное же автоматическое преобразование из double в long недопустимо, потому что оно не является расширяющим.
Невозможны также автоматические преобразования:
- между decimal и float или double;
- числовых типов в char или bool;
- между char и bool.
Преобразование из типов int, uint и long в тип float также может вызвать потерю точности, но не потерю значимости. В процессе других вариантов неявного преобразования никакая информация не теряется.