C# 8非约束泛型类型可空值处理的替代方案咨询

核心问题分析 #

你当前的泛型Command<T>在C#8启用Nullable标记后出现矛盾：

• 值类型（如int）的result默认值为0，符合预期且不应为null
• 引用类型（如自定义Foo类）的result需要允许为null，但非约束泛型T在C#8中无法直接使用T?修饰符（该特性在C#9才支持）
• 你提出的让客户端实现DefaultResult的方案会导致大量重复代码，冗余度高

可行解决方法 #

方法1：利用Nullable属性标记（C#8原生支持） #

通过System.Diagnostics.CodeAnalysis命名空间下的属性，让编译器正确识别泛型字段的nullable语义，同时保留default(T)的默认行为：

using System.Diagnostics.CodeAnalysis;

public abstract class Command<T>
{
    // 允许引用类型赋值为null
    [AllowNull]
    // 告知编译器：读取该字段时，引用类型可能为null，值类型则不会
    [MaybeNull]
    // 用!抑制编译器对default(T)的nullable警告，确认默认值符合需求
    public T result = default!;

    public abstract void Execute();
}

效果说明

• 对于Command<int>：result默认值为0，编译器识别为非null值，无警告
• 对于Command<Foo>（Foo为引用类型）：result默认值为null，编译器允许赋值null，读取时会提示可能为null的警告（符合Nullable上下文要求）
• 无需修改客户端代码，保持API简洁性

方法2：拆分泛型约束（可选，复杂度较高） #

如果不想使用Nullable属性，可将类拆分为值类型和引用类型两个版本，通过基类共享逻辑：

// 基类定义通用执行逻辑
public abstract class CommandBase
{
    public abstract void Execute();
}

// 值类型专用版本，result非null
public abstract class CommandValue<T> : CommandBase where T : struct
{
    public T result = default;

    public override abstract void Execute();
}

// 引用类型专用版本，result可null
public abstract class CommandReference<T> : CommandBase where T : class
{
    public T? result = null;

    public override abstract void Execute();
}

优缺点

• 优点：完全符合Nullable语义，无编译器警告
• 缺点：客户端需要区分值类型和引用类型的Command实现，增加了API复杂度，仅适合对nullable语义要求极高的场景

对你现有方案的评价 #

让客户端实现DefaultResult的方案虽能解决问题，但违背了default(T)的原生语义，强制客户端重复定义默认值，大幅增加代码冗余，不推荐使用。

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