c# - 通用接口(interface)的嵌套契约

Question

我可以为非通用接口(interface)设置嵌套契约类型:

[ContractClass(typeof(Foo.FooContracts))]
public interface IFoo
{
    string Bar(object obj);
}

但是当我尝试使用通用接口(interface)做同样的事情时它会提示:

[ContractClass(typeof(Foo.FooContracts<>))]
public interface IFoo<T>
{
    string Bar(T obj);
}

警告是:

The contract class Foo+FooContracts`1 and the type IFoo`1 must have the same declaring type if any.

如果我从 Foo 类中获取 FooContracts，它会在没有警告的情况下编译。

• 为什么通用接口(interface)存在这种限制？
• 为什么非通用的不存在这种限制？

Answer 1

存在限制的原因是我们需要将合​​约从声明点复制到插入点，如果有通用的周围类，这会变得更加复杂。确实没有必要将契约类嵌套在我看到的其他类型中。