Является ли компилятор С# более умным, чем компилятор VB.NET?

Если я посмотрю на IL, созданный в Linqpad для двух следующих фрагментов кода, мне интересно, что здесь происходит.

В С#

int i = 42;

выводит следующий код IL

IL_0000:  ret

тогда как в VB

Dim i As Integer = 42

это

IL_0000:  ldc.i4.s    2A 
IL_0002:  stloc.0

По-видимому, компилятор С# понимает, что значение никогда не используется и, следовательно, просто ничего не возвращает. В VB.NET выполняется перевод фактического кода.

Это из-за различий в оптимизации компилятора или что-нибудь еще на работе?

Обновление: Просто для того, чтобы уточнить это. Я просто ввел эту строку в LinqPad и посмотрю на созданный ею IL (наиболее определенно, запустив соответствующий компилятор). Нет программы.

ОТВЕТЫ

Ответ 1

Убрав вопрос linqpad, я запустил vbc и csc с помощью /optimize+ /debug- в этих программах:

Module f

Public Sub Main()
    Dim i As Integer = 42
End Sub

End Module

и

public static class f
{

public static void Main()
{
    int i = 42;
}

}

и получил эти результаты CIL от ILDASM:

Для VB:

.method public static void  Main() cil managed
{
  .entrypoint
  .custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 ) 
  // Code size       4 (0x4)
  .maxstack  1
  .locals init (int32 V_0)
  IL_0000:  ldc.i4.s   42
  IL_0002:  stloc.0
  IL_0003:  ret
} // end of method f::Main

Для С#:

.method public hidebysig static void  Main() cil managed
{
  .entrypoint
  // Code size       1 (0x1)
  .maxstack  8
  IL_0000:  ret
} // end of method f::Main

Итак, да, по крайней мере в этом отношении csc является более умным, чем vbc. Но я уверен, JITter удалит любую разницу во время выполнения.

изменить

Я проверил, и на самом деле исполняемый собственный код отличается, по крайней мере, в моей системе. Я ввел Console.ReadLine() звонки в оба, чтобы дать мне возможность подключить отладчик, и я получил эти разборки:

Из VB:

00000000  sub         rsp,38h 
00000004  mov         dword ptr [rsp+20h],0 
0000000c  mov         rax,7FF000434D8h 
00000016  mov         eax,dword ptr [rax] 
00000018  test        eax,eax 
0000001a  je          0000000000000021 
0000001c  call        FFFFFFFFE45BA230 
00000021  mov         dword ptr [rsp+20h],2Ah 
00000029  call        FFFFFFFFE26ABF20 
0000002e  mov         qword ptr [rsp+28h],rax 
00000033  nop 
00000034  jmp         0000000000000036 
00000036  add         rsp,38h 
0000003a  ret

Из С#:

00000000  sub         rsp,38h 
00000004  mov         rax,7FF000534D8h 
0000000e  mov         eax,dword ptr [rax] 
00000010  test        eax,eax 
00000012  je          0000000000000019 
00000014  call        FFFFFFFFE45AA230 
00000019  call        FFFFFFFFE391BF20 
0000001e  mov         qword ptr [rsp+20h],rax 
00000023  nop 
00000024  jmp         0000000000000026 
00000026  add         rsp,38h 
0000002a  ret

Теперь моя сборка практически не существует, но даже я вижу, что

mov         dword ptr [rsp+20h],2Ah

в -VB относится к постоянному значению hex 2A, который равен 42 десятичным. Итак, вы идете, он делает выполняет больше инструкций в конце.

Ответ 2

Я думаю, что в случае С# компилятор делает часть выделения памяти и сохраняет значение int за один шаг, а в операторе VB DIM-оператор - это первый шаг, который просто выделяет память, а затем значение сохраняется на втором шаге. DIM является общим и используется со всеми типами данных, поэтому во всех случаях может быть что-то вроде одного шага. Мысли?