Czy kompilator zoptymalizuje wszelkie multiplikacje o 1? To jest, rozważ:Optymalizacja mnożenia .NET
int a = 1;
int b = 5 * a;
Czy wyrażenie 5 * zostanie zoptymalizowane do zaledwie 5? Jeśli nie, to czy jest zdefiniowana jako:
const int a = 1;
To będzie wstępnie obliczyć żadnych przejawów stale podczas kompilacji, w tym ciąg konkatenacji. Bez niego zostanie on pozostawiony samemu sobie.
Twój pierwszy przykład kompiluje do tej 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
Drugi przykład kompiluje do tego:
.maxstack 1
.locals init ([0] int32)
ldc.i4.5 //load 5
stloc.0 //store in local variable
Stała propagacji jest jednym z najczęstszych i najprostszych optymalizacji.
To, co optymalizowałby kompilator, nie jest mnożeniem przez 1 per se, ale raczej arytmetyczne z wartościami znanymi podczas kompilacji. Więc tak, kompilator zoptymalizuje wszystkie matematyki w twoim przykładzie, z lub bez const.
Edytuj: Kompilator kompetentny , powiem.
I skompilowałem i zdemontowałem go i nie zoptymalizował on nie wyrażenia const. –
Czy jest możliwe, że JIT zoptymalizuje go w czasie wykonywania? –
@Neil Williams: Miałabyś taką nadzieję, ale JIT naprawdę nie jest miejscem, w którym można odkryć rzeczy, które mogłeś wymyślić podczas kompilacji. –
Patrząc na kod wygenerowany przez kompilator mono, wersja z niestanowiącą a wykonuje mnożenie w czasie wykonywania. Oznacza to, że mnożenie nie jest zoptymalizowane. Jeśli utworzysz const, multiplikacja zostanie zoptymalizowana.
Kompilator Microsoft może mieć bardziej agresywny kompilator, najlepszym rozwiązaniem jest spojrzenie na kod wygenerowany przez kompilator, aby zobaczyć, co robi.
Nawet bez const, kompetentny kompilator będzie wiedział, że "a" nie zmienia się między przypisaniem a użyciem. –
Właściwy kompilator może to przyjąć, ale nie może wiedzieć, czy z jakiegoś powodu naciśnięcie klawisza int na stos uniemożliwi mu załadowanie go do zmiennej lokalnej. –
Czy to z optymalizacją czy bez niej? –