为何对可空类型进行模式匹配会出现语法错误？

这个问题的核心是C# 7.2的模式匹配语法对可空值类型的T?语法糖支持有限，导致编译器无法正确解析你写的is int? i。

问题原因 #

当你写tobj is int? i时，编译器会把?当成C#7引入的空值模式（比如if (x is null)）的一部分，而不是可空值类型的标记。这就造成了语法歧义：编译器会认为你想写类似三元表达式的结构，自然就会报出语法错误。

而你测试的两种正常情况：

• tobj is int?：这只是单纯的类型检查，没有变量绑定，编译器能正确识别int?是可空值类型，所以没问题。
• tobj is string s：string是引用类型，没有T?语法糖的歧义问题，模式匹配可以正常绑定变量。

解决方法 #

有几种可行的方案，根据你的需求选择：

1. 使用Nullable<T>的完整写法代替T?

直接用可空值类型的完整名称Nullable<int>，编译器就能正确识别这是一个类型模式，从而完成变量绑定：

int t = 42;
object tobj = t;
if (tobj is Nullable<int> i) {
    System.Console.WriteLine($"It is a nullable int of value {i}");
}

2. 先匹配非可空值类型，再转换为可空类型

因为装箱的int可以被直接匹配为int类型，之后你可以隐式转换为int?：

int t = 42;
object tobj = t;
if (tobj is int j) {
    int? i = j;
    System.Console.WriteLine($"It is a nullable int of value {i}");
}

3. 升级到C# 8.0及以上版本

C# 8.0改进了模式匹配的语法解析，修复了这个歧义问题，允许直接使用T?进行类型模式的变量绑定。如果你的项目可以升级语言版本，这是最优雅的解决方案，升级后你原来的代码就能正常编译运行。

内容的提问来源于stack exchange，提问作者Kasper van den Berg