为何C#编译器无法识别Safe扩展方法不会返回null？

问题原因 #

你遇到的编译器警告根本不是因为Safe方法的非空性没被识别，而是空传播运算符?.的右结合特性导致的逻辑问题：
foo?.Text().Safe()的执行逻辑等价于foo?. (Text().Safe())——如果foo是null，整个表达式会直接返回null，根本不会调用Safe方法。这时候编译器自然会认为这个表达式可能为null，从而抛出CS8601警告。

你的Safe方法本身的非空保证是有效的，但它在foo为null的场景下根本没机会执行。

解决方法 #

方案1：添加括号改变优先级（最优） #

通过括号强制先执行foo?.Text()，再对结果调用Safe方法，这样即使foo是null，foo?.Text()返回null后，依然会进入Safe方法处理：

bar.NoNullsHere = (foo?.Text()).Safe();

这个方案保留了你偏好的扩展方法语法，也支持Safe方法的额外参数需求，只是多了一对括号。

方案2：直接调用静态方法 #

如果觉得括号繁琐，也可以直接调用静态方法形式，明确传入foo?.Text()的结果：

bar.NoNullsHere = StringExtensionMethods.Safe(foo?.Text());

方案3：使用空合并运算符 #

如果你的Safe方法只是简单返回空字符串，也可以直接用??替代，但如果Safe有额外逻辑（比如包裹双引号），这个方案就不适用了：

bar.NoNullsHere = foo?.Text() ?? string.Empty;

额外优化：给Safe方法添加非空特性 #

为了让编译器更明确地识别Safe方法的非空返回，可以给方法加上[return: NotNull]特性（需要引用System.Diagnostics.CodeAnalysis命名空间）：

using System.Diagnostics.CodeAnalysis;

public static class StringExtensionMethods
{
    [return: NotNull]
    public static string Safe(this string? obj) => obj is null ? string.Empty : obj!;
}

这个特性可以强化编译器的静态分析，但核心还是要先保证Safe方法能被调用到（比如用括号的方式）。

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