为何隐式变量赋值null报错，带(double?)null的三元表达式却合法？

先聊第一段代码：var foo = null;，编译器直接报错其实逻辑很直白——var是隐式类型变量，它的类型完全依赖右边的初始化表达式来推断。但null本身没有具体的类型，它只是一个“空引用标记”，编译器根本不知道你想把foo推断成什么类型（是string?？int?？还是别的可空类型？），所以直接抛出“无法将null分配给隐式类型变量”的错误，完全合理。

再看第二段能正常编译的代码：var foo = false ? (double?)null : null;，核心原因在于三元运算符?:的类型统一规则。

三元运算符要求它的两个分支（true分支和false分支）必须能统一成一个共同的类型，编译器会自动做类型转换或推断。这里true分支的(double?)null是一个明确的Nullable<double>（即double?）类型的空值，而false分支的null虽然本身无类型，但编译器会自动把它隐式转换成和true分支一致的double?类型，这样整个三元表达式的结果类型就确定为double?了。

既然右边的表达式有了明确的double?类型，var就能顺利推断出foo的类型是double?，自然可以正常编译。这里的(double?)null确实直接影响了else分支的null——正是它提供了一个明确的可空值类型，让编译器知道要把另一个null也转换成该类型，给整个表达式赋予了确定的类型，最终让var完成了类型推断。

简单提炼一下关键点：

• var必须能从初始化表达式推断出明确的类型，纯null无法满足这个要求
• 三元运算符会强制两个分支统一类型，当其中一个分支有明确的可空值类型时，另一个null会被转换成该类型，让整个表达式有确定类型，var就能正常工作

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