如何区分C#中的string类型与可空string?类型？

我需要实现一个参数检查器，确保所有参数都正确配置，但无法区分字符串变量是否被不必要地声明为可空类型（string?）——其他类型的可空我都能正常区分，试了以下几种判断条件都无效：

• 条件：Nullable.GetUnderlyingType(ParameterType) != null
  结果：

  string = false; string? = false;

• 条件：!p.ParameterType.IsValueType
  结果：

  string = false; string? = false;

• 条件：p.ParameterType.IsGenericType
  结果：

  string = false; string? = false;

求区分二者的方法，谢谢！

核心原因 #

可空引用类型（如string?）是C# 8.0引入的编译时静态检查特性，运行时反射获取的ParameterType仍然是string，和非可空string的类型信息完全一致——这就是常规类型判断失效的根本原因。要区分二者，必须读取编译器生成的可空元数据标记。

解决方案1：运行时反射读取可空特性 #

可空引用类型的参数会被编译器标记NullableAttribute，同时所在方法/类可能带有NullableContextAttribute定义默认可空上下文，通过解析这些特性可以判断参数是否为string?：

using System.Reflection;
using System.Runtime.CompilerServices;

public static bool IsNullableStringParameter(ParameterInfo param)
{
    if (param.ParameterType != typeof(string))
        return false;

    // 优先检查参数自身的NullableAttribute
    var nullableAttr = param.GetCustomAttribute<NullableAttribute>();
    if (nullableAttr != null)
    {
        // NullableFlags数组对应参数的可空标记：2表示可空引用类型
        return nullableAttr.NullableFlags.Length > 0 && nullableAttr.NullableFlags[0] == 2;
    }

    // 没有参数级标记时，检查所在成员/类型的默认可空上下文
    var contextAttr = param.Member.GetCustomAttribute<NullableContextAttribute>() 
                      ?? param.Member.DeclaringType?.GetCustomAttribute<NullableContextAttribute>();
    return contextAttr?.Flags == 1; // 1表示默认可空上下文
}

解决方案2：静态代码分析（Roslyn API） #

如果你的参数检查器是静态代码工具（而非运行时反射），可以直接用Roslyn读取语法树中的可空修饰符：

using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CSharp;
using Microsoft.CodeAnalysis.CSharp.Syntax;

public static bool IsNullableStringParameter(ParameterSyntax paramSyntax, SemanticModel semanticModel)
{
    var typeInfo = semanticModel.GetTypeInfo(paramSyntax.Type);
    if (typeInfo.Type?.SpecialType != SpecialType.System_String)
        return false;

    // 直接判断语法节点是否带有?修饰符
    return paramSyntax.Type is NullableTypeSyntax;
}

注意事项 #

• 仅当项目启用<Nullable>enable</Nullable>编译选项时，编译器才会生成可空元数据标记；未启用该选项时，string?和string编译后完全一致，无法区分。
• 运行时反射的方式依赖于编译生成的特性，若代码被混淆或特性被移除，将无法区分二者。

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