C# 泛型约束传播

Question

这个例子是对实际问题的简化，但我怎样才能让它编译呢？我希望泛型约束能够传播。

既然 T 是一个 TClass 而 TClass 是一个类，为什么 T 不是一个类？

public class MyClass<TClass> where TClass : class 
{
    public void FuncA<Ta>() where Ta : class
    {
    }

    public void FuncB<Tb>() where Tb : TClass
    {
    }

    public void Func<T>()
        where T : TClass
    {
        FuncA<T>();
        FuncB<T>();
    }
}

编辑：

这确实有效。 Eric Lippert 让我思考，谢谢。

由于 T 是一个 TClass，而 TClass 是一个 TAnotherType，所以 T 实际上是 TAnotherType。

public class MyClass<TClass, TAnotherType> where TClass : TAnotherType
{
    public void FuncA<Ta>() where Ta : TClass
    {
    }

    public void FuncB<Tb>() where Tb : TAnotherType
    {
    }

    public void Func<T>()
        where T : TClass
    {
        FuncA<T>();
        FuncB<T>();
    }
}

Answer 1

既然T 是TClass 而TClass 是一个类，为什么T 不是一个类？

前提 1：“Bob Smith”是一个专有名称。

前提2：“一个专有名词”是一个三字句子片段。

结论：因此“Bob Smith”是一个三字的句子片段。

这个逻辑显然是不正确的。

前提 1：T 是 TClass

前提 2：TClass 是一个类

结论：因此T是一个类。

出于同样的原因，该逻辑是不正确的。

在这两种情况下，我们都使用“is”来表示两个前提中的两个完全不同的事物。在第一个前提中，“is”用来表示“这两个事物之间具有is-a-kind-of的关系”。在第二个前提中，“是”用于表示“这一事物具有特定的特征”。

你可以通过简单地替换T和TClass来更直接地看出你的逻辑是错误的：

前提1：int是System.ValueType

('is' 表示'有子类关系')

前提2：System.ValueType是一个类

('is'表示'具有特定的属性，即被引用复制)

结论：因此int是一个类。

再一次，我们得出了一个错误的结论，因为“是”以两种不一致的方式使用。

另一个例子：

前提 1：一个汉堡总比没有好。

前提 2：没有什么比一块好牛排更好的了。

结论：从传递性来看，汉堡比好牛排要好。

最后，有关此主题的更多想法，请参阅我最近的文章：

http://ericlippert.com/2011/09/19/inheritance-and-representation/

Answer 2

问题在于T 不一定是引用类型。考虑：

MyClass<IFormattable> foo = new MyClass<IFormattable>();
MyClass.Func<int>();

这会尝试调用FuncA<int>，但int 不遵守: class 约束。

所以基本上你还需要将: class 约束添加到Func<T>：

public void Func<T>() where T : class, TClass

Answer 3

为了编译这个做；

public void Func<T>()
    where T :class, TClass
{
    FuncA<T>();
    FuncB<T>();
}

因为 FunA 的输入只是一个类而不是特殊类。

Answer 4

我不确定以下是否是您的代码或复制/粘贴更改中的拼写错误（为简化起见）：

public void FuncA<Ta>() where Ta : class //TClass instead of class?
{
}

Answer 5

看起来你只是好奇为什么你不能这样做。而且您对这样的工作示例不感兴趣：

public class MyClass<TClass> where TClass : class
{
    public void FuncA<Ta>() where Ta : class
    {
    }

    public void FuncB<Tb>() where Tb : TClass
    {
    }

    public void Func()
    {
        FuncA<TClass>();
        FuncB<TClass>();
    }
}

Answer 6

你们都说 T : TClass 和 TClass : class 并不意味着 T : class。 好的，如果我给你：

public MyClass<TClass> where TClass : class
{
     public void MyFunc<T>() where T : TClass
     {
         // who cares ?
     }
}

您能否提供一个示例，其中您使用 T 的类型不是一个类，因为我真的不明白 T : TClass 和 TClass : class 不意味着 T : 类。请不要试图解释奇怪的事情，只用一个例子就可以证明这一点。