Почему компилятор не может сделать вывод, что большое число является длинным?

Question

Это компилирует

var fourGb = (long)4*1024*1024*1024;

Но это не удается

var fourGb = 4*1024*1024*1024;

С "Операция переполняется во время компиляции в проверенном режиме".

Так что, если компилятор знаетэто будет переполнение, почему нельзя сделать вывод, что тип переменной должен быть длинным?

Answer 1

См. http://msdn.microsoft.com/en-us/library/ctetwysk%28VS.80%29.aspx

Вы попросили умножить кучу целых чисел, чтобы получить ответ int согласно синтаксису C #Используйте 'L', если хотите длинную.

var fourGb = 4L * 1024 * 1024 * 1024;

Answer 2

Я не думаю, что это хорошая идея, чтобы вывести тип переменной по результату вычисления.

Answer 3

Вообразите шум, который может вызвать.«Но компилятор может понять, что выражение должно вычисляться так долго, почему среда выполнения не может этого сделать?»*

Важно, чтобы компилятор вычислял выражения так же, как и среда выполнения.Если это не так, редактирование константного выражения и замена константы переменной может внезапно вызвать сбой во время выполнения.Трудно диагностировать ошибку, непостоянные выражения по умолчанию не проверяются.

Answer 4

На большинстве языков одинаково:

• типы данных выражения следуют правилам приоритета
• он приводится к типу данных "var" при назначении

Любое другое поведение может привести к непредвиденным последствиям

Возможно, вы:

• пересчитал «почему я получаю ноль» для этого: double varname = 1/2
• продублировал его Вместо ошибки, почему оба операнда не переводятся в плавающие или двойные?