如何让C#编译器识别FooWith返回非空元组以消除警告？

当启用**nullable引用类型（NRT）**时，编译器无法静态推断出你FooWith方法返回的元组元素必然非空，因此会将left和right标记为T?并触发警告。你可以通过以下几种方式显式传递非空信息：

方法一：在元组返回类型中使用空值抑制符! #

直接在方法返回的元组类型里给每个元素添加!，明确告知编译器该元素不会为null：

public class T {
    // ...
    public (T left!, T right!) FooWith(T other)
    {
        T left = new(GetInfoFrom(this, other));
        T right = new(GetMoreInfoFrom(this, other));
        return (left, right);
    }
}

这种方式简单直接，无需额外引用命名空间，适合快速解决问题。

方法二：使用NotNullAttribute标记元组元素 #

通过System.Diagnostics.CodeAnalysis.NotNullAttribute标记元组的每个返回元素，从语义上明确元素非空：

using System.Diagnostics.CodeAnalysis;

public class T {
    // ...
    public ([NotNull] T left, [NotNull] T right) FooWith(T other)
    {
        T left = new(GetInfoFrom(this, other));
        T right = new(GetMoreInfoFrom(this, other));
        return (left, right);
    }
}

这种方式更具语义性，适合需要明确代码契约的场景。

方法三：在调用处使用空值抑制符（临时方案） #

如果不想修改方法定义，可以在解构元组时给变量添加!，抑制当前调用处的警告：

var (left!, right!) = A.FooWith(B);

不过这种方式仅作用于当前调用点，无法让其他调用者受益，建议优先修改方法定义。

补充说明 #

出现这个问题的核心原因是：启用NRT后，编译器对引用类型的默认推断会倾向于保守（假设可能为null），除非你通过代码契约或显式标记告诉它某个值必然非空。你已经通过逻辑保证了元组元素非空，只需用上述方式把这个信息传递给编译器即可。

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