Разве компилятор оптимизирует любые умножения на 1? То есть, подумайте:
int a = 1;
int b = 5 * a;
Будет ли оптимизировано выражение 5 * a в 5? Если нет, будет ли он, если a определен как:
const int a = 1;
Разве компилятор оптимизирует любые умножения на 1? То есть, подумайте:
int a = 1;
int b = 5 * a;
Будет ли оптимизировано выражение 5 * a в 5? Если нет, будет ли он, если a определен как:
const int a = 1;
Он будет предварительно вычислять любые константные выражения при компиляции, включая конкатенацию строк. Без const
он останется в покое.
Ваш первый пример компилируется в этот IL:
.maxstack 2
.locals init ([0] int32, [1] int32)
ldc.i4.1 //load 1
stloc.0 //store in 1st local variable
ldc.i4.5 //load 5
ldloc.0 //load 1st variable
mul // 1 * 5
stloc.1 // store in 2nd local variable
Второй пример компилируется:
.maxstack 1
.locals init ( [0] int32 )
ldc.i4.5 //load 5
stloc.0 //store in local variable
Постоянное распространение - одна из самых распространенных и простых оптимизаций.
Глядя на код, сгенерированный монокомпилятором, версия с не-const a выполняет умножение во время выполнения. То есть умножение не оптимизировано. Если вы создаете константу, то умножение будет оптимизировано.
У компилятора Microsoft может быть более агрессивный компилятор, лучшим решением является просмотр кода, сгенерированного компилятором, чтобы посмотреть, что он делает.
Что бы оптимизировать здесь компилятор, это не умножение на 1 per-se, а скорее арифметическое со значениями, известными во время компиляции. Так что да, компилятор оптимизировал бы все математики в вашем примере с помощью или без const
.
Изменить: Я должен сказать, компетентный компилятор.