什么触发了ReSharper的「可能为非可空实体分配空值」警告？

警告出现的原因 #

你遇到的警告和GetField的入参无关，核心触发原因有两个：

1. .NET基础库对Type.GetField(string name)方法的返回值标记了可空契约：不管传入的参数是否合法，只要目标类型不存在对应名称的公共字段，该方法就会返回null，因此方法返回值在可空引用类型上下文下的实际类型是FieldInfo?。
2. 你第一段代码中使用var field接收返回值时，ReSharper的静态分析会在单方法范围内做数据流校验：它识别到你没有对返回值做非空判断就直接赋值给了隐式推断的不可空变量field，且str来自任意object的ToString()结果、内容完全不可控，GetField返回null的概率极高，因此触发了「给非空实体赋值可能为null的值」的警告。

测试现象的解释 #

为什么调用带[NotNull]的Bar方法没有警告？ #

因为object.ToString()方法的官方契约保证不会返回null，你代码中string str = sourceOfString.ToString()得到的str本身就是100%非空的，所以传给Bar的[NotNull]参数完全符合契约，自然不会触发警告，这也直接验证了警告确实不是来自GetField的入参校验。

为什么改写为方法传参后警告消失？ #

ReSharper的静态分析默认遵循「方法调用方保证参数合法性」的契约：
当你把逻辑拆分，单独写一个接收string str参数的Example方法时，ReSharper默认认为你在调用这个方法的时候，已经确认str是真实存在的字段名，GetField返回null的概率极低，因此主动抑制了这个警告。如果你开启了ReSharper的跨方法全链路分析，或者明确标记参数内容不可信，警告会重新出现。

解决方案 #

如果你确定传入的字段名一定存在，可以用两种方式消除警告：

• 显式告诉分析器返回值一定非空：var field = type.GetField(str)!;
• 显式声明变量为可空类型：FieldInfo? field = type.GetField(str);

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