C＃泛型类型约束

Question

这不应该是有效的C＃代码吗？

class A<T> where T : class {

    public void DoWork<K>() where K : T {

        var b = new B<K>(); // <- compile time error
    }
}

class B<U> where U : class {

}

编译器吐出此错误：

错误CS0452：类型“K”必须是引用类型，以便在泛型类型或方法“ConsoleApplication1.B”中将其用作参数“U”

编译器是否应该能够确定K是约束为T类型还是从T派生，因此它显然应该是引用类型（T被约束为引用类型）？

Answer 1

我之前的回答不正确; 我删除了它。 感谢用户配置器指出我的错误。

编译器是否应该能够确定K是约束为T类型还是从T派生，因此它显然应该是引用类型（T被约束为引用类型）？

没有。

K被约束为T型或从T派生的类型.T被约束为参考类型。 这并不意味着K是参考类型。 Viz：object是引用类型，int是从object派生的类型。 如果T是对象，则K可以是int，这不是引用类型。

Answer 2

指定type参数时将应用约束。 虽然为U指定了K，但尚未为K指定类型。由于U要求其类型为引用类型，因此编译器希望确认K确实是引用类型，但它不能。 因此，您需要明确说明它将是。

规范在4.4.4节中说明：

对于每个where子句，将针对每个约束检查与命名的类型参数对应的类型参数A.

然后：

如果给定类型参数不满足一个或多个类型参数的约束，则会发生编译时错误。

由于不继承类型参数，因此也不会继承约束。

最后一点表明K不会继承T的约束。

更新
虽然我的结论看起来是正确的，但我的证据有点不稳定，正如Eric Lippert回应中现在删除的回复中所阐明的那样。 在那里，Eric表示规范的正确部分是：

如果类型参数具有引用类型约束或其有效基类不是对象或System.ValueType则已知类型参数是引用类型。

Answer 3

约束不以这种方式级联。 每个通用签名都有自己独特的约束，这些约束独立于可能隐含的任何子约束进行评估。 你需要在K以及T和U上进行类声明，即使它已经暗示了T.

Answer 4

尝试这个：

class A<T> where T : class
{
    public void DoWork<K>() where K : class, T 
    {
        var b = new B<K>(); // <- compile time error
    }
}

class B<U> where U : class
{
}

不幸的是，看起来编译器不够亮，不足以推断。 但是，如果你为K添加更多约束，你应该好好去。

Answer 5

我想你需要指定K：class和T.

class A<T> where T : class {

    public void DoWork<K>() where K : class, T {

        var b = new B<K>(); // <- compile time error
    }
}

class B<U> where U : class {

}

Answer 6

你应该做这个 ：

class A<T> where T : class
{

    public void DoWork<K>() where K: class, T
    {

        var b = new B<K>(); // <- compile time error
    }
}

class B<U> where U : class
{

}

编辑：如果您没有将K指定为类并且具有无参数构造函数，那么您将编译时错误：类型U必须是ref类型，并且需要具有无参数构造函数