'Classname <T>,T:Classname <T>'的作用是什么？

Question

我正在阅读关于原型模式的德国维基百科文章.示例部分包含使用以下内容的通用C#实现:

abstract class Prototype<T> where T : Prototype<T> { ... }
...
class ConcretePrototype : Prototype<ConcretePrototype> { ... }

这是如何运作的？如何将T限制为相同的泛型类？如何使用类从使用自身的泛型类型派生？

我不是在编程C#,但这个看起来很有趣.

来源:原型模式

Answer 1

ProtoType<T>有一个Clone方法,以类型安全的方式返回具体原型,因此T必须定义为类型参数.由于类型T必须只是派生自的类Prototype,所以行:

abstract class Prototype<T> where T : Prototype<T> { ... }

需要约束T只是一个子类Prototype.由于Prototype是通用的,Prototype<T>必须在约束中指定.

理论上,宣言ConcretePrototype应该是:

class ConcretePrototype : Prototype<> { ... }

(或类似的语法).但是C#编译器不支持以这种方式推断类型参数.如果你把这样的东西:

class ConcretePrototype : Prototype<string> { ... }

Prototype<ConcretePrototype>由于方式Prototype有限,你会得到一个编译错误,因为它知道它必须是.编译器需要明确声明这一点,因此:

class ConcretePrototype : Prototype<ConcretePrototype> { ... }

我注意到Damien_The_Unbeliever打败了我找到参考,但我会提到Eric Lippert关于这个话题的优秀帖子.绝对值得一读,既可以帮助理解它,也可以理解它为什么会导致问题.