使用泛型類型參數還是使用其類型約束？

Question

假設我有一個這樣的類結構，其中Foo類是Base ， Derived1等類層次結構上的泛型。

abstract class Base {...}

class Derived1 : Base {...}

.
.
.

class Derivedn : Base {...}


class Foo<T> where T : Base
{
   /// XXX is a placeholder - see below
   void DoBar(XXX arg) {...}
   ...
}

希望DoBar()在Base派生的東西上進行操作， 如果XXX是Base或T有所不同嗎？

約束意味着T必須是Base或其子Base之一； 但在DoBar()的范圍內， DoBar()以任何一種方式將其視為Base類型的對象-因此，從表面上看，這似乎沒有任何區別。 但是我可能忽略了一些更微妙的東西。

Answer 1

如果將xxx設置為Base ，則方法參數可以是Base或從Base派生的任何類。 如果將xxx設置為T ，則方法參數可以是T類或從T派生的任何類。

因此，例如，如果使用通用類型Derived1實例化Foo類，則在第一種情況下，您可以使用Base或從Base派生的類，在第二種情況下，您只能使用Derived1或從Derived1派生的類