C# 10泛型类中如何混用可空与非可空类型T

环境信息 #

• 开发环境：C# 10、Visual Studio 2022

需求 #

编写存储带多种约束参数的类，满足以下规则：

• 基类型不可为空
• 核心参数（如默认值Value）不可为空
• 其余附加参数（如范围边界Min、Max）支持可空，由业务逻辑在必要时做非空校验
• 可空参数和基类型需要支持直接比较、赋值，不需要额外类型转换

问题复现 #

最初尝试给泛型T加notnull约束，可空属性/参数用T?声明，实现代码如下：

public class Parameter<T> where T : notnull {
    public T Value { get; set;}
    public T? Min { get; set; }

    public void Set(T? value_) 
    {
    }
}

// 调用代码
Parameter<int> parameter = new();
parameter.Set(null);

上述代码编译失败，报错信息：

Argument 1: cannot convert from int? to int

异常现象：类定义内Set方法签名显示为Set(T? value_)，但针对Parameter<int>实例查看方法签名时，显示为Set(int value)，无法传入null。
尝试过将可空参数定义为第二个泛型参数T2并允许为null，但T和T2无法直接比较、赋值，不符合需求。

这是C#泛型可空类型的既定设计规则导致，并非代码编写错误：
当泛型参数T仅添加notnull约束，未额外添加class（引用类型）或struct（值类型）约束时，T?语法在两类场景下语义完全不同：

• 若T为引用类型，T?是编译期可空注解，运行时和T类型一致，支持赋值null
• 若T为值类型，T?不会被编译为Nullable<T>（即对应可空值类型），仍然是不可空的T本身，因此无法接收null值
  类定义层面显示的T?是泛型占位符的显示效果，当T被指定为int这类值类型时，编译器会按照规则将T?替换为不可空的int，因此传入null会触发编译错误。

方案1：拆分泛型类按类型约束匹配（推荐，类型安全无开销） #

利用C#泛型重载规则，分别为引用类型、值类型场景实现对应类，编译器会在调用时根据泛型参数类型自动匹配正确的实现：

// 引用类型参数实现
public class Parameter<T> where T : class
{
    public T Value { get; set; } = default!;
    public T? Min { get; set; }
    public T? Max { get; set; }

    public void Set(T? value_)
    {
        // 业务逻辑自行做非空校验
        if (value_ is not null)
        {
            Value = value_;
        }
    }
}

// 值类型参数实现
public class Parameter<T> where T : struct
{
    public T Value { get; set; }
    public T? Min { get; set; }
    public T? Max { get; set; }

    public void Set(T? value_)
    {
        // 业务逻辑自行校验值是否存在
        if (value_.HasValue)
        {
            Value = value_.Value;
        }
    }
}

使用时不需要手动指定实现类，编译器自动匹配：

// 自动匹配struct约束实现，Set支持传null
Parameter<int> intParam = new();
intParam.Set(null);

// 自动匹配class约束实现，Set支持传null
Parameter<string> strParam = new();
strParam.Set(null);

该方案完全类型安全，无装箱拆箱开销，可空参数在值类型场景下为Nullable<T>，引用类型场景下为可空引用类型，和基类型Value可以直接比较、赋值，不需要额外类型转换，完全匹配需求。

方案2：单类配合可空特性（轻量，适合默认值无业务意义的场景） #

如果不想拆分两个类，可以用[AllowNull]特性标记可空成员，绕过编译器检查，自行维护null语义：

using System.Diagnostics.CodeAnalysis;

public class Parameter<T> where T : notnull
{
    public T Value { get; set; } = default!;
    [AllowNull]
    public T Min { get; set; }
    [AllowNull]
    public T Max { get; set; }

    public void Set([AllowNull] T value_)
    {
        if (value_ is not null)
        {
            Value = value_;
        }
    }
}

注意：该方案在值类型场景下，传入null会被转换为default(T)，如果业务中类型默认值是合法参数，无法区分传入的是默认值还是null，这类场景不要使用该方案。

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