Biến trở về có được tự động tạo bởi trình biên dịch không?

Question

Khi đi qua mã nguồn dự án, tôi tình cờ gặp một phương pháp và tự hỏi về một điều. Hai phương pháp sau đây có giống hệt nhau từ quan điểm hiệu năng/bộ nhớ/trình biên dịch không?

public static string Foo(string inputVar) 
{ 
    string bar = DoSomething(inputVar); 
    return bar; 
} 

public static string Foo(string inputVar) 
{ 
    return DoSomething(inputVar); 
} 

Biến trở về có được tạo tự động bởi trình biên dịch không?

Answer 1

Sử dụng Bộ tách IL (được bao gồm trong .NET SDK/VS), bạn có thể xem IL do trình biên dịch tạo ra. Mã được tạo ra bằng cách sử dụng VS2013 (không phải Roslyn).

Một đầu cung cấp cho các IL sau:

.method public hidebysig static string Foo(string inputVar) cil managed 
{ 
    // Code size  14 (0xe) 
    .maxstack 1 
    .locals init ([0] string bar, 
      [1] string CS$1$0000) 
    IL_0000: nop 
    IL_0001: ldarg.0 
    IL_0002: call  string TestIL.Program::DoSomething(string) 
    IL_0007: stloc.0 
    IL_0008: ldloc.0 
    IL_0009: stloc.1 
    IL_000a: br.s  IL_000c 
    IL_000c: ldloc.1 
    IL_000d: ret 
} // end of method Program::Foo 

Thứ hai:

.method public hidebysig static string Foo(string inputVar) cil managed 
{ 
    // Code size  12 (0xc) 
    .maxstack 1 
    .locals init ([0] string CS$1$0000) 
    IL_0000: nop 
    IL_0001: ldarg.0 
    IL_0002: call  string TestIL.Program::DoSomething(string) 
    IL_0007: stloc.0 
    IL_0008: br.s  IL_000a 
    IL_000a: ldloc.0 
    IL_000b: ret 
} // end of method Program::Foo 

Sự khác biệt dường như là người đầu tiên tạo ra một mục bổ sung trong bảng phương pháp dân địa phương. Nếu điều này được tối ưu hóa bởi trình biên dịch JIT mà tôi không biết.

Để trả lời câu hỏi: Không, trình biên dịch tự động tạo biến cục bộ trong trường hợp này, nhưng trong trường hợp nâng cao hơn có thể làm (như trả về x * (y + z)).

Edit: Nếu bạn bật "Tối ưu hóa mã" thậm chí rõ ràng hơn của nó:

.method public hidebysig static string Foo(string inputVar) cil managed 
{ 
    // Code size  9 (0x9) 
    .maxstack 1 
    .locals init ([0] string bar) 
    IL_0000: ldarg.0 
    IL_0001: call  string TestIL.Program::DoSomething(string) 
    IL_0006: stloc.0 
    IL_0007: ldloc.0 
    IL_0008: ret 
} // end of method Program::Foo 

.method public hidebysig static string Foo(string inputVar) cil managed 
{ 
    // Code size  7 (0x7) 
    .maxstack 8 
    IL_0000: ldarg.0 
    IL_0001: call  string TestIL.Program::DoSomething(string) 
    IL_0006: ret 
} // end of method Program::Foo