Question

如果我有这样的方法：

public void Foo<T1, T2>(T1 list)
    where T1 : IList<T2>
    where T2 : class
{
    // Do stuff
}

现在，如果我有：

IList<string> stringList = new List<string>();
List<object> objectList = new List<object>();
IList<IEnumerable> enumerableList = new List<IEnumerable>();

然后编译器无法解析要选择的泛型，这会失败：

Foo(stringList);
Foo(objectList);
Foo(enumerableList);

您必须明确指定要使用的泛型：

Foo<IList<string>, string>(stringList);
Foo<IList<object>, object>(objectList);
Foo<List<object>, object>(objectList);
Foo<IList<IEnumerable>, IEnumerable>(enumerableList);

Answer 1

通用方法类型推断故意不从约束中进行任何推断。相反，从参数和形式参数中进行推导，然后根据约束检查推导出的类型参数。

有关约束和方法签名的一些设计问题的详细讨论，包括几十个人告诉我，我认为现有的设计是明智的是错误的，请参阅我关于这个主题的文章：

http://blogs.msdn.com/b/ericlippert/archive/2009/12/10/constraints-are-not-part-of-the-signature.aspx

_{这是Eric Lippert's answer to a similar question的精确副本
我决定复制它，因为这个问题更简洁明了。}

为什么编译器无法解析这些泛型类型

1 个答案: