多個類型參數-約束到相同的基類？

Question

假設我們有這樣的類結構：

interface A { }
interface A1 : A { }
interface A2 : A { }
class B : A1 { }
class C : A1 { }
class D : A2 { }
class E : A2 { }

我想用此標頭聲明一個方法：

public void DoSomething<T, U>()
    where T : A
    where U : A
    <and also where U inherits/implements same parent as T>

它需要允許DoSomething<B, C>() ：

• where T : A滿足B實現A
• where U : A滿足C實現A
• <and also where U inherits/implements same parent as T>因為B和C實現了A1
• 也允許DoSomething<D, E>()因為D和E都實現A2

但是它不需要允許DoSomething<B, D>() ：

• where T : A滿足B實現A
• where U : A滿足C實現A
• <and also where U inherits/implements same thing as T> 不能滿足，因為B實現了A1而D沒有實現。

這可能嗎？

（我認為我在那兒已在使用“父母”一詞，但希望它仍然很清楚）

Answer 1

您唯一可以做的就是提供第三個通用類型參數，該參數可讓您指定T和U必須實現的接口：

public void DoSomething<T, U, V>()
    where T : V
    where U : V
    where V : A

現在，您可以執行DoSomething<D, E, A1>()但不能執行DoSomething<B, D, A1>() 。