C＃泛型-泛型類型約束

Question

我具有以下通用類型層次結構：

interface IGenericInterface<TId, TValue>
{…}

class A : IGenericInterface<long, string>

我想設計一個以IGenericInterface作為類型的通用類型。 編譯器允許的解決方案是：

class SomeType<TType, TId, TValue> where TType : IGenericInterface<TId, TValue>

當我需要繼承這樣的類型時，我需要指定：

class Derived : SomeType<A, long, string>

由於第二個類已經是IGenericInterface<long, string> ，因此這似乎是指定第二和第三類型參數的冗余。

有沒有一種方法可以實現我想要的-優雅的派生類？

Answer 1

您可以添加一個中間接口，並SomeType約束。 就像是：

interface IA : IGenericInterface<long,string> { }

class A : IA {}

class SomeType<TType> where TType : IA { }

class Derived : SomeType<A> { }

Answer 2

您說得對，您的觀點很明智，很遺憾， 目前尚不支持。 您所追求的就是被稱為高級種類的參數多態性 ，這是函數式編程愛好者急切想要的功能。

羅斯林功能

Answer 3

這樣的幫助嗎？ （我認為IEnumerable做類似的事情）

internal interface IGenericInterface
interface IGenericInterface <TId, TValue> : IGenericInterface
class SomeType<TType> where TType : IGenericInterface