为何NotNullIfNotNullAttribute加return:才生效？用法差异解析

问题背景 #

我编写了两个C#扩展方法：Capitalize用于将字符串首字母大写，输入为空则返回null；NullOrWhiteSpace用于判断字符串是否为空或空白。使用NotNullWhen特性无问题，但将NotNullIfNotNull特性标记在Capitalize方法的参数上时，调用该方法会触发CS8600空值转换警告；而将特性标记在return上时，警告消失。

三个具体疑问：

1. 两种用法存在差异的原因是什么？
2. 无return标记时该特性的作用是什么？
3. 为何允许这种写法？

一、两种用法差异的原因 #

NotNullIfNotNull特性的核心是描述两个成员之间的非空依赖关系：特性的参数是「触发非空保证的源成员名称」，而特性标记的位置是「被保证非空的目标成员」。

• 标记在return上：比如[return: NotNullIfNotNull(nameof(input))]，语义是「当input参数不为null时，方法的返回值一定不为null」。这完全匹配Capitalize的逻辑——输入非空则返回非空字符串，输入空则返回null。编译器能正确识别这个正向依赖，所以调用时会自动推断返回值的非空性，不会触发CS8600警告。
• 标记在参数上：比如把特性加在input参数上[NotNullIfNotNull(nameof(return))]，语义完全反转：「当返回值不为null时，input参数一定不为null」。但你的方法逻辑是输入空返回空、输入非空返回非空，这个特性描述的是反向依赖，编译器无法通过它推断出「输入非空则返回非空」，所以依然会认为返回值可能为null，赋值给非可空字符串时就会触发警告。

二、无return标记时该特性的作用 #

当NotNullIfNotNull标记在方法的参数上时，它的作用是声明：当特性参数指定的那个成员（可以是返回值、out/ref参数或其他输入参数）不为null时，当前被标记的参数一定不为null。

举个实际场景的例子：

public static void ParseValue([NotNullIfNotNull(nameof(parsedResult))] string? input, out string? parsedResult)
{
    parsedResult = string.IsNullOrWhiteSpace(input) ? null : input.Trim();
}

这里特性标记在input参数上，参数是nameof(parsedResult)，意思是「如果parsedResult不为null，那么input肯定也不为null」。这种反向描述适合那些需要从输出反推输入非空性的场景，虽然日常开发中这类场景不多，但确实存在。

回到你的情况，这种标记方式和Capitalize的实际逻辑不匹配，所以无法帮助编译器消除空值警告。

三、为何允许这种写法 #

C#的空值特性体系设计的核心是精准描述代码中的空值依赖关系，而非只局限于「输入→输出」的正向逻辑。NotNullIfNotNull允许标记在返回值、out/ref参数、输入参数上，是为了覆盖更多复杂的空值场景：

• 比如某些方法中，out参数的非空性会保证某个输入参数的非空性；
• 或者多个输入参数之间存在非空依赖（比如参数A非空时，参数B也一定非空）。

虽然反向标记的场景不常见，但语言设计保留了这种灵活性，让开发者可以为编译器提供更准确的空值逻辑信息，从而提升静态分析的精度。

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