C# 8.0泛型中如何让T?兼容引用类型与值类型？

嘿，这个问题挺常见的！其实完全不用写两个分开的实现，C#提供了几种方式让你的泛型类同时兼容值类型和引用类型，还能正确处理可空修饰符的问题，解决那个CS8627错误。

下面两种方法可以帮你搞定：

方法1：使用notnull约束（推荐，类型安全） #

C# 8.0及以上支持notnull约束，它限定泛型参数T必须是非空引用类型或者值类型。配合T?修饰符，编译器就能正确识别：当T是引用类型时，T?表示可空引用；当T是值类型时，T?就是可空值类型（比如int?）。

代码示例：

public class Foo<T> where T : notnull
{
    // 完全合法，编译器会根据T的类型做正确的空检查
    public T? Bar { get; set; }
}

优点 #

• 完全利用C#的可空类型系统，编译器会帮你做严格的空引用/空值检查，避免潜在的NullReferenceException。
• 写法简洁，语义清晰。

局限性 #

• 泛型参数T不能是可空值类型（比如int?），因为notnull约束不允许这类类型作为参数。如果你的场景不需要支持可空值类型作为T，这就是最优解。

方法2：使用可空属性（灵活支持所有T类型） #

如果你需要T可以是任意类型（包括可空值类型、无约束的引用类型），可以借助System.Diagnostics.CodeAnalysis命名空间下的[AllowNull]和[MaybeNull]属性来告诉编译器如何处理空值：

代码示例：

using System.Diagnostics.CodeAnalysis;

public class Foo<T>
{
    // 允许给Bar赋值null（即使T是值类型）
    [AllowNull]
    public T Bar { get; set; } = default!;
}

或者如果你需要更精细的控制，比如标记返回值可能为null：

using System.Diagnostics.CodeAnalysis;

public class Foo<T>
{
    private T? _bar;

    // 告诉编译器这个属性的返回值可能为null
    [MaybeNull]
    public T Bar
    {
        get => _bar ?? default!;
        set => _bar = value;
    }
}

优点 #

• 完全没有泛型约束，T可以是任何类型（包括int?、string、DateTime等）。
• 灵活适配各种复杂场景。

局限性 #

• 需要手动添加代码分析属性，写法稍繁琐。
• 编译器的空检查强度会略低于第一种方法，需要自己注意空值处理逻辑。

总结 #

根据你的业务场景选就行：

• 优先选方法1，类型安全且简洁，适合大多数不需要支持可空值类型作为泛型参数的场景。
• 如果必须支持任意T类型，再用方法2。

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