c# - 为什么不允许从 "class A : IX"到通用 "T where T : IX"的转换？

Question

为什么下面会导致编译错误？

interface IX {}
interface IY {}
class XY : IX, IY {}

void Foo<T>() where T : IX, IY
{
    T xy = new XY();
    …   // ^^^^^^^^
}       // error: "Implicit conversion of type 'XY' to 'T' is not possible."

---

注意:如果 class XY : IX 和 where T : IX 也会出现同样的错误。但是，我选择了一个更复杂的示例，因为一个更简单的示例可能会引发规避性的答案，例如，“只需将 xy 的类型从 T 更改为 IX"，它不会回答此转换失败的原因。

Answer 1

因为如果那是合法的，那么您可以这样做:

interface IPet {} 
interface IMammal {} 
class Dog : IPet, IMammal {}  
class Cat : IPet, IMammal {}
T Foo<T>() where T : IPet, IMammal
{     
  return new Dog();
}
...
Cat cat = Foo<Cat>();  // Assigns a Dog to a variable of type Cat.