使用类型参数约束实现两次相同的通用接口

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 不能属于同一类？ （编译器错误和没有类型约束的情况一样）

编辑
Why does this result in CS0695 中的“Soner Gönül”提出了一个解决方法，使用两个级别的类继承，如下所示：

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 classes¹ 所以 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:

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