C#返回可空泛型类型的函数未返回正确类型的问题分析

你遇到的问题并不是C#可空特性的bug，而是泛型类型推断在无约束情况下的行为导致的。

当你定义无约束泛型方法Test<A>(A val, bool useNull)并返回A?时，编译器无法确定A是值类型还是引用类型：

• 如果A是引用类型，A?表示可空引用类型
• 如果A是值类型，A?表示Nullable<A>（可空值类型）

在你的调用场景中，A被推断为bool（值类型），但编译器在处理条件表达式useNull ? default(A?) : val时，由于缺乏类型约束，会优先将表达式的类型推断为非可空的A（即bool），而非A?（即bool?）。这就导致Test(true, true)的返回类型被解析为bool，自然无法和false一起使用??运算符（该运算符要求左操作数为可空类型或引用类型）。

而非泛型版本中，返回类型明确为bool?，编译器能清晰识别两个分支的类型兼容性，因此可以正常编译。

解决方案1：添加值类型约束 #

给泛型方法添加where A : struct约束，明确A是值类型，编译器会直接将A?解析为Nullable<A>，条件表达式的类型也会正确推断为可空值类型：

using System;

#nullable enable

public class Program
{
    public static void Main()
    {
        Console.WriteLine(Test(true, true) ?? false);
    }
    
    public static A? Test<A>(A val, bool useNull) where A : struct =>
        useNull ? default(A?) : val;
}

解决方案2：显式转换val为可空类型 #

将val显式转换为A?，确保条件表达式的两个分支类型一致，编译器就能正确推断返回类型为A?：

using System;

#nullable enable

public class Program
{
    public static void Main()
    {
        Console.WriteLine(Test(true, true) ?? false);
    }
    
    public static A? Test<A>(A val, bool useNull) =>
        useNull ? default(A?) : (A?)val;
}

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