实施两次相同的通用接口，具有类型参数的约束

Question

有

public interface IGeneric<T>{} 

public class Student{} 

public class Teacher{} 

这是可能的

public class ConcreateClass : IGeneric<Student>, IGeneric<Teacher>{} 

这是不可能的

public class GenericClass<T1, T2> : IGeneric<T1>, IGeneric<T2> {} 

因为GenericClass<String, String> instance;会引起歧义的两个接口的实现。但为什么这是不可能的

public class GenericClassWithTypeConstraints<T1, T2> : IGeneric<T1>, IGeneric<T2> 
    where T1 : Student 
    where T2 : Teacher 
{} 

由于T1和T2不能是同一类？ （编译器误差是相同的情况下，而不类型约束）

编辑
“Soner格尼尔”在Why does this result in CS0695提出了workarround，使用类继承的两个级别，这样的：

public interface IGeneric<T> { String Name { get; } } 

public class Student{} 

public class Teacher{} 

public class GenericClassBase<T1> : IGeneric<T1> 
    where T1 : Student 
{ String IGeneric<T1>.Name { get { return "Generic class of Student"; } } } 

public class GenericClassDerived<T1, T2> : GenericClassBase<T1>, IGeneric<T2> 
    where T1 : Student 
    where T2 : Teacher 
{ String IGeneric<T2>.Name { get { return "Generic class of Teacher"; } } } 

这样的代码然后产生预期的结果

GenericClassDerived<Student, Teacher> X = new GenericClassDerived<Student, Teacher>(); 
Console.WriteLine(((IGeneric<Student>)X).Name); //outputs "Generic class of Student" 
Console.WriteLine(((IGeneric<Teacher>)X).Name); //outputs "Generic class of Teacher" 

Answer 1

为T1和T2不能成为同一班？

是的，他们可以是同一个班级。约束不能是sealed类因此Teacher可以从Student导出，反之亦然。这不合逻辑，但编译器不知道它。

例如，

using System; 

public class Student{} 

public class Teacher : Student{} 

public class GenericClassWithTypeConstraints<T1, T2> 
    where T1 : Student 
    where T2 : Teacher 
{} 

class Test { 
    static void Main() { 
     var obj = new GenericClassWithTypeConstraints<Teacher, Teacher>(); 
    } 
} 

将编译没有任何问题。 Demo

---

1. Docs：

   约束也可以是类的类型，诸如抽象基类。 但是，约束不能是值类型或密封类。