C#中三种类实例化写法除个人偏好外是否存在实际差异

三种写法在常规同类型实例化场景下没有任何运行时层面的区别，差异全部集中在编译阶段的类型推断规则、语法版本兼容、适用场景约束上，最终生成的执行代码完全一致。

三种写法的标准形式 #

// 写法1：全显式声明（C# 1.0 起支持）
SomeClass SomeInstance = new SomeClass();

// 写法2：目标类型new表达式（C# 9.0 起支持）
SomeClass SomeInstance = new();

// 写法3：var隐式类型声明（C# 3.0 起支持）
var SomeInstance = new SomeClass();

编译逻辑差异 #

• 写法1是C#最基础的实例化语法，编译器不需要执行任何类型推断：左侧已经明确标注变量类型为SomeClass，右侧也明确指定调用SomeClass的构造函数，编译器只需要校验两侧类型兼容、构造函数可访问即可直接生成IL代码，没有任何额外处理逻辑。
• 写法2依赖C# 9新增的目标类型推断能力：编译器会根据赋值位置的预期类型（也就是左侧声明的SomeClass），自动补全new()后面的类型名，最终生成的IL和写法1完全一致。这个推断是强上下文绑定的，如果new()所在的位置没有明确的预期类型——比如写var x = new()、或者把new()作为参数传入时参数类型没有明确标注（比如传入匿名函数、泛型参数需要二次推断的场景），会直接编译失败。
• 写法3依赖C# 3新增的隐式局部变量能力：编译器会根据右侧初始化表达式的返回类型，自动推导左侧var对应的实际类型为SomeClass，最终生成的IL同样和写法1完全一致。要注意var不是动态类型，类型推导在编译阶段就100%完成，变量一旦声明，后续不能赋值类型不兼容的值，和显式声明类型的变量没有运行时区别。

运行性能差异 #

三种写法编译后生成的IL指令完全相同：都是完成内存分配（引用类型在托管堆分配、值类型在当前栈帧分配）、调用对应无参构造函数、将实例引用/值存入局部变量表对应位置。没有任何额外的性能开销，不存在类型转换、装箱拆箱、运行时类型检查的多余成本，运行时执行效率完全一致。

唯一的例外场景：如果SomeClass定义了到其他类型的隐式转换运算符，且左右两侧类型本来就不匹配时会产生额外逻辑，但这已经不属于同类型实例化的讨论范畴。

语法约束差异 #

三种写法的适用场景限制有明显区别：

• 写法1的兼容性最强，所有C#版本都支持，没有任何推断歧义，不管是局部变量、类字段、属性赋值、方法传参都可以使用，不会出现编译歧义。
• 写法2的约束：
  • 要求编译器版本支持C# 9及以上（对应.NET 5+ SDK，旧版本.NET框架只要使用新版本编译器编译也可以用该语法）
  • 必须存在明确的可推断目标类型，不能用var接收new()的返回值，不能在无明确类型标注的场景下使用
  • 如果构造函数存在重载歧义，编译器无法推断参数匹配逻辑时，会直接报错要求显式补全类型名
• 写法3的约束：
  • 要求编译器版本支持C# 3及以上
  • 变量必须在声明时同步初始化，不能先写var SomeInstance;再后续赋值，否则编译器因为没有初始化表达式无法完成类型推断，直接报错
  • C# 10之前不支持用var声明类字段，即便是C# 10之后支持字段推断，也有严格的初始化要求，不能像局部变量一样灵活使用
  • 当右侧表达式的编译时类型和你预期的变量类型不一致时会出现隐式的类型差异：比如IEnumerable<int> instance = new List<int>()里instance的编译时类型是IEnumerable<int>，但var instance = new List<int>()里instance的编译时类型是List<int>，这种差异只存在于编译期的方法重载选择、成员访问校验阶段，运行时持有的实例本身完全相同。

内容的提问来源于stack exchange，提问作者Piglet