如何编写可统一处理可空值与引用类型的通用泛型？

AI 小北

2026-8-8

问题描述

public sealed class MyClass<T>
{
    private T? myField;
}

上述代码可正常编译，但当T为引用类型（如string）时，myField是可空引用类型（符合预期）；但当T为值类型（如int）时，myField实际是不可空的值类型，这和预期不符却不会触发编译错误。

请问能否编写一种通用类型，同时支持存储可空值类型与可空引用类型？

解决方案

可以实现，核心是解决无约束泛型中T?语义模糊的问题，这里有两种实用的实现方式：

方式一：按类型约束拆分泛型类（推荐）

通过为引用类型和值类型分别定义带约束的泛型类，让编译器明确T?的语义：

// 处理引用类型：T? 表示可空引用类型
public sealed class MyClass<T> where T : class
{
    private T? myField;
}

// 处理值类型：T? 等价于 Nullable<T>，即可空值类型
public sealed class MyClass<T> where T : struct
{
    private T? myField;
}

调用时无需手动区分类型，编译器会根据T的类型自动匹配对应的泛型类版本，确保myField的可空语义完全符合预期，同时避免了额外的性能开销。

方式二：统一使用对象存储（兼容旧版本）

如果需要兼容C# 8.0以下版本，或者希望用单一类实现，可以通过object字段间接存储值，借助类型转换实现通用可空：

public sealed class MyClass<T>
{
    private object? _storage;

    public T? Value
    {
        get => (T?)_storage;
        set => _storage = value;
    }
}

这种方式会带来值类型装箱/拆箱的性能损耗，且类型安全性略低，仅适合对性能要求不高的场景。