c#编译器在编译时推断var变量的真实类型。产生的IL没有差异。

以下方法:

   private static void StringVsVarILOutput()
    {
        var string1 = new String(new char[9]);

        string string2 = new String(new char[9]);
    }

IL输出是这样的:

        {
          .method private hidebysig static void  StringVsVarILOutput() cil managed
          // Code size       28 (0x1c)
          .maxstack  2
          .locals init ([0] string string1,
                   [1] string string2)
          IL_0000:  nop
          IL_0001:  ldc.i4.s   9
          IL_0003:  newarr     [mscorlib]System.Char
          IL_0008:  newobj     instance void [mscorlib]System.String::.ctor(char[])
          IL_000d:  stloc.0
          IL_000e:  ldc.i4.s   9
          IL_0010:  newarr     [mscorlib]System.Char
          IL_0015:  newobj     instance void [mscorlib]System.String::.ctor(char[])
          IL_001a:  stloc.1
          IL_001b:  ret
        } // end of method Program::StringVsVarILOutput

我认为你没有正确理解你所读的内容。如果它被编译为正确的类型，则没有区别。当我这样做的时候:

var i = 42;

编译器知道它是一个int型，并生成代码，就像我写的一样

int i = 42;

正如你链接到的帖子所说，它被编译为相同的类型。它不是运行时检查或任何需要额外代码的东西。编译器只是找出类型必须是什么，然后使用它。

就像Joel说的，编译器在编译时计算出var应该是什么类型，实际上这只是编译器用来节省击键的一个技巧，举个例子

var s = "hi";

被替换为

string s = "hi";

在生成任何IL之前，编译器会调用。生成的IL将完全相同，如果你键入字符串。

c#编译器在编译时推断var变量的真实类型。产生的IL没有差异。

var关键字没有额外的中间语言(IL)代码:结果IL对于非匿名类型应该是相同的。如果编译器不能创建那个IL，因为它不能找出你想要使用的类型，你就会得到一个编译器错误。

唯一的技巧是，如果您手动设置类型，var将推断出您可能已经选择了一个Interface或父类型的确切类型。