C# 多个类型参数-约束到同一基类？_C#_Generics_Type Parameter

C# 多个类型参数-约束到同一基类？

c# generics

C# 多个类型参数-约束到同一基类？,c#,generics,type-parameter,C#,Generics,Type Parameter,假设我们有这样的类结构： 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

假设我们有这样的类结构：

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>

public void DoSomething（）
T:A在哪里
你在哪里

它需要允许

DoSomething（）

：

```
其中T:A
```
满足-
```
B
```
实现
```
A
```
```
其中满足U:A
```
-
```
C
```
实现
```
A
```
满意，因为
```
B
```
和
```
C
```
都实现了
```
A1
```
```
DoSomething（）
```
也是允许的，因为
```
D
```
和
```
E
```
都实现了
```
A2
```

但它需要不允许

DoSomething（）

：

```
其中T:A
```
满足-
```
B
```
实现
```
A
```
```
其中满足U:A
```
-
```
C
```
实现
```
A
```
不满意，因为
```
B
```
实现了
```
A1
```
，而D没有

这可能吗

（我想我已经彻底改变了“parent”一词的用法，但希望它仍然很清楚）

您唯一能做的就是提供第三个泛型类型参数，让您指定

和

必须实现的接口：

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

public void DoSomething（）
T:V在哪里
U:V在哪里
其中V:A

现在您可以执行

DoSomething（）

但不能执行

DoSomething（）

唯一可以执行的是提供第三个泛型类型参数，该参数将允许您指定

和

必须实现的接口：

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

public void DoSomething（）
T:V在哪里
U:V在哪里
其中V:A

现在你可以做

DoSomething（）

但不能做

DoSomething（）

如果需要允许

B，C

而不是

B，D

为什么不

在哪里T:A1在哪里U:A1

？@YuvalItzchakov稍微编辑了一点问题，以清楚-它还需要允许

DoSomething（）

因为

和

都实现了

A2

您可以创建该方法的两个重载。一旦接受

A1

和一个接受

A2

。为什么不做

where T:A

和

where U:T

？@Luaan他不想允许像

A1

和

A2

这样的配对

太大了。如果它需要允许

B，C

而不是

B，D