结构约束的协方差

Question

我想知道为什么毕竟允许这样的事情？

interface IProducer<out T> where T : struct

如果 struct 是值类型，则协方差不起作用，因为 struct 是值类型。 我在这里错过了什么？

Answer 1

如果您查看 MSDN 的Generic out 修饰符，则声明声明的类型化参数必须满足两个条件：

• 类型参数仅用作接口方法的返回类型，而不用作方法参数的类型。
• 类型参数不用作接口方法的通用约束。

在代码方面，区别如下：

interface ITest<out T1, T2>  
{
    T1 GetValue();
    T2 GetValue2();
    void SetValue(T1 Arg1); //Compile Error, Condition 1
    void SetValue(T2 Arg1);
    void SetValue2<T3>(int Arg) where T3 : T1; //Compile Error, Condition 2
    void SetValue<T3>(int Arg) where T3 : T2;
}

因此，您的 T1 不能用作方法的输入参数，也不能用作另一个通用约束。

由于您有一个约束声明 T 必须是一个结构，因此自动满足条件 2。

所以添加这两个语句意味着：

只能用作返回值 ( out ) 的结构体 ( where T: struct )。

Answer 2

如果你声明接口

interface IProducer<out T> where T : struct

那么您将无法使用协方差是对的，因为它不适用于结构，但这仍然是允许的，因为协方差不是out修饰符的唯一影响。

它还将泛型类型的使用限制为返回类型，因此这意味着您将无法将这样的成员添加到您的界面中

void MyMethod(T t);

这可能不是很有用，但有人可以使用它来强制执行此规则，因此语言没有理由不支持此规则。