C#泛型可空引用类型参数：CS8620警告成因与解决方法

代码定义 #

只读结构体定义 #

public readonly struct Quantity<T> {
    public readonly T value;

    public Quantity(T value) {
        this.value = value;
    }
}

目标方法签名 #

void Foo(Quantity<string?> quantity) { ... }

触发警告的调用代码 #

Quantity<string> strQuantity = new Quantity<string>("Hello world");
Foo(strQuantity);

为什么会触发CS8620警告？ #

C#的可空引用类型（NRT）是编译期静态分析机制：虽然string和string?在CLR底层是同一类型，但编译器会将它们标记为不同的可空性状态。

对于泛型结构体Quantity<T>，编译器会把Quantity<string>和Quantity<string?>视为两种不同的类型：前者的value被标记为「非空」，后者的value被标记为「可空」。当你试图将Quantity<string>传递给期望Quantity<string?>的参数时，编译器认为这是可空性不匹配——因为Quantity<string>保证value非空，而Foo接收的Quantity<string?>允许value为null，编译器默认不会自动完成「非空泛型实例」到「可空泛型实例」的转换，因此抛出CS8620警告。

规避警告的可行方案 #

方案1：用Unsafe.As实现无损耗类型转换 #

因为Quantity<T>是只读值类型，且string和string?底层类型一致，可通过System.Runtime.CompilerServices.Unsafe.As直接让编译器转换类型，无需创建新实例，完全无性能开销：

Foo(Unsafe.As<Quantity<string>, Quantity<string?>>(ref strQuantity));

该方法本质是告诉编译器：直接将strQuantity的内存视为Quantity<string?>类型——两者内存布局完全一致（仅包含一个string字段），不存在运行时风险。

方案2：通过协变接口实现安全转换 #

定义协变接口IQuantity<out T>，让Quantity<T>实现它：

public interface IQuantity<out T> {
    T Value { get; }
}

public readonly struct Quantity<T> : IQuantity<T> {
    public readonly T value;
    public T Value => value;

    public Quantity(T value) {
        this.value = value;
    }
}

修改Foo的参数类型为协变接口：

void Foo(IQuantity<string?> quantity) { ... }

此时Quantity<string>可隐式转换为IQuantity<string?>——协变的out T标记告诉编译器，接口中的T仅作为输出类型，「非空→可空」的向上转换是安全的，不会触发警告，且无额外运行时开销。

方案3：临时禁用警告（不推荐） #

如果仅需临时解决，可在调用处添加警告抑制，但会关闭该位置的可空性检查，可能隐藏潜在问题：

#pragma warning disable CS8620
Foo(strQuantity);
#pragma warning restore CS8620

对相关思考的解答 #

1. 新建实例的弊端与转换限制：new Quantity<string?>(strQuantity.value)确实会产生冗余的结构体实例（虽值类型开销小，但没必要）。C#禁止为只读结构体定义自定义隐式/显式转换，是因为只读结构体的内存布局和构造逻辑有严格限制，此类转换可能破坏可空性语义或引发内存问题。
2. 改为类的解决办法：若将Quantity<T>改为类，直接赋值Quantity<string>到Quantity<string?>仍会触发警告——类泛型默认是不变的。但同样通过实现协变接口IQuantity<out T>，可让Quantity<string>隐式转换为IQuantity<string?>，效果和结构体方案2一致。此外类允许定义自定义转换，但不推荐，会破坏可空性检查的语义。
3. 协变接口IQuantity<out T>是否有效：完全有效。协变接口允许IQuantity<string>转换为IQuantity<string?>，因为在可空引用类型语义下，string是string?的子类型，out T标记确保T仅作为输出，向上转换安全。只要Foo参数改为协变接口类型，就能实现无开销的安全调用。

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