C# 重载解析和泛型

Question

我有以下方法

public static EnumerableAssertions<T> AssertThat<T>(IEnumerable<T> collection)
{
    Debug.WriteLine("Enumerable!");
    return new EnumerableAssertions<T>(collection);
}

public static ObjectAssertions<T> AssertThat<T>(T value) where T : class
{
    Debug.WriteLine("Generic fallback!");
    return new ObjectAssertions<T>(value);
}

但是为什么下面的调用解析为通用回退？

List<object> list = null;
AssertThat(list);

根据我的理解，IEnumerable<T> 的重载应该比通用的 T : class 更具体，但 C# 似乎对此有不同的看法。如果我为精确的输入 List<T> 它工作得很好，但我当然不想为每个继承 IEnumerable<T> 的类型添加特定的重载

[编辑] 这个也不起作用：

public static EnumerableAssertions<TCollection> AssertThat<TCollection, T>(TCollection collection) where TCollection : IEnumerable<T>
{
    Debug.WriteLine("Enumerable #2!");
    return new EnumerableAssertions<T>(collection);
}

Answer 1

操作员：

根据我的理解，IEnumerable 的重载应该比泛型 T : 类更具体，但 C# 似乎有不同的看法

苹果和橙子。

这个方法：

public static ObjectAssertions<T> AssertThat<T>(T value) where T : class

...包含显式约束：

where T : class

...同时：

public static EnumerableAssertions<T> AssertThat<T>(IEnumerable<T> collection)

...有完全没有明确的约束.

操作员：

但是为什么下面的调用解析为通用回退？

编码：

List<object> list = null;
AssertThat(list);

...最有可能解析为通用类型（带有 where T : class 的那个），因为 List<> 是一种引用类型，比 where T : class 更符合 where T : class不受限制的IEnumerable<T>.