满足或静音可为空的泛型类型属性警告

Question

在 C#8.0 中使用可为空的引用类型，给出这个简化的代码，其中 T 可以是任何值类型或引用类型，并且空值是引用类型 T 实例的有效值：

public class C<T>
{
    public T P { get; set; }
}

编译器发出警告CS8618 "Non-nullable property 'P' is uninitialized. Consider declaring the property as nullable."。 我怎样才能满足编译器并消除此警告（不抑制 CS8618）？

是否有我可以应用的属性或类型参数约束？那怎么办？

我想出的最好的是

public T P { get; set; } = default!;

但我希望有一种方法可以在不使用 null-forgiving/"dammit" 运算符 ('!') 的情况下做到这一点。

注意：您不能将属性类型声明为T? - CS8627。此外，这意味着返回的任何值类型都是Nullable<T>，这不是预期的。 (Read more about this e.g. here.)

---

编辑：我注意到这也有效：

public class C<T>
{
    public C()
    {
        P = default;
    }
    [AllowNull]
    public T P { get; set; }
}

但是我更喜欢使用自动属性初始化器。

Answer 1

基本上，class 和 struct 可空性根本不兼容，无法组合。

您的选择包括：

• 保持你的类完全通用；因此，T 和 T? 在您的班级内没有区别。这仍然允许C<int> 和C<int?>，只是不允许T?。

• 限制为 class 或 struct，具体取决于您的要求。

• 编写两个单独的类，一个用于结构，一个用于引用类型。

如果足够简单，编写两个类也不错。您也许可以将非泛型部分推入基类以避免过多重复。

Answer 2

当您实例化您的类时，属性 P 的值将为空，这就是您看到警告的原因。

您需要确保在实例化类时该值不为空，唯一的方法是定义一个构造函数并为P 提供值。由于T 是一个泛型类型，您有两种选择：

1. 将值作为构造函数参数传递或
2. 约束 T 以便能够创建新实例

// Option #1
public class C<T>
{
   C(T p)
   {
       P = p
   }

   public T P { get; set; }
}

// option #2:
public class C<T> where T : new()
{
   C()
   {
       P = new T()
   }

   public T P { get; set; }
}