泛型类型参数可空性检测难题及相关技术疑问

我用Nullable.GetUnderlyingType和NullabilityInfo.WriteState判断类型可空性时，在检测Dictionary<string, string?>的泛型参数时遇到了问题：

Type baseType = typeof(Dictionary<string, string?>)!;
Type[] gp = baseType.GetGenericArguments();
Assert.IsNull(Nullable.GetUnderlyingType(gp[0]));// 正常通过
Assert.IsNotNull(Nullable.GetUnderlyingType(gp[1]));// 执行失败

因为手里只有Type对象，没有对应的反射信息对象（比如ParameterInfo），没法用NullabilityInfoContext。我尝试查找编译器生成的NullableAttribute，发现两个泛型参数都带有这个特性，但拿不到有效信息。同时Nullable.GetUnderlyingType对string?返回null，调用ToString()也看不到空性标记。

我目前的认知：

• NullabilityInfo用于判断反射信息对象的可空性
• NullableAttribute的信息没法通过代码有效访问，没什么帮助
• Nullable.GetUnderlyingType在这个场景下不符合预期

由此产生三个疑问：

1. Nullable.GetUnderlyingType的适用场景、有效场景与无效场景分别是什么？
2. 如何判断泛型类型参数的可空性？
3. 可空性是否更多是IDE特性，对CLR无实际影响？

我的需求是通过反射判断代码里用的是string还是string?作为泛型参数，以此切换自身代码逻辑。

更新：试了Stack Overflow上的反射代码，但两个泛型参数的NullableAttribute标记始终是0，NullableContextAttribute的构造参数始终是1。

1. Nullable.GetUnderlyingType的适用场景 #

这个方法的核心作用是提取值类型可空包装Nullable<T>的底层值类型，只有以下场景有效：

• 有效场景：传入的Type是Nullable<T>（比如int?对应的Type是Nullable<int>），此时返回T（比如int）。
• 无效场景：
  • 传入引用类型的可空标记（比如string?）：因为string?在CLR层面和string是同一个Type，不是Nullable<T>结构，所以返回null。
  • 传入非可空的值类型（比如int）、引用类型（比如string），都会返回null。

简单说，它只处理值类型的可空包装，和引用类型的编译时可空标记完全无关。

2. 判断泛型类型参数的可空性 #

你之前误解了NullabilityInfoContext的用法——它不仅支持反射信息对象（比如ParameterInfo），也直接支持Type对象。可以通过以下代码获取泛型实参的可空性：

var context = new NullabilityInfoContext();
var dictType = typeof(Dictionary<string, string?>);
var typeNullability = context.Create(dictType);

// 遍历泛型实参的可空信息
foreach (var argNullability in typeNullability.GenericTypeArguments)
{
    // WriteState为NullabilityState.Nullable表示该参数是可空的
    Console.WriteLine(argNullability.WriteState);
}

对于你说的NullableAttribute标记始终为0的问题，是因为引用类型的可空信息需要结合NullableContextAttribute的上下文解析，直接读特性参数无法得到正确结果，而NullabilityInfoContext已经帮你处理了这些逻辑，不需要手动解析特性。

如果是处理泛型类型定义（比如Dictionary<,>）的参数可空性，同样可以用NullabilityInfoContext传入泛型类型定义的Type，然后获取GenericTypeParameters的可空信息。

3. 可空性对CLR的影响 #

可空性分为两种情况，对CLR的影响不同：

• 值类型可空（Nullable<T>）：这是CLR原生支持的类型，有实际的运行时结构，Nullable<T>和T是完全不同的Type，运行时可以直接区分。
• 引用类型可空（比如string?）：这是C#编译器的静态分析特性，CLR运行时不区分string和string?——它们是同一个Type。但编译器会生成NullableAttribute和NullableContextAttribute将可空信息嵌入程序集，供反射、IDE、静态分析工具读取，所以它不是单纯的IDE特性，只是运行时CLR不会强制执行可空检查。

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