关于#c##的问题：为什么编译器自动匹配 var 变量的类型有的带有可空类型有的没有

Question

为什么编译器自动匹配 var 变量的实际类型有的带有可空类型有的没有
var string? a = Path.Combine(_contentRoot, "Log");
var string a = Path.Combine(_contentRoot, "Log");

Answer 1

var 关键字在 C# 中是一种类型推断机制，它会自动推断出变量的类型。在 C# 8.0 及以上版本中，var 可以用于声明可空引用类型变量，这是通过在变量名后面添加 ? 来实现的。
你看你的这两行，第一行的 var 声明的变量 a 的类型为可空的字符串类型，而第二行的 var 声明的变量 a 的类型为普通的字符串类型。
对于使用 var 进行类型推断的变量声明，编译器会根据初始化表达式的类型来推断变量的实际类型。
如果初始化表达式的类型是可空类型，那么编译器推断出的变量类型也会是可空类型。如果初始化表达式的类型不是可空类型，那么编译器推断出的变量类型也不会是可空类型。