为什么带约束的通用扩展方法不被识别为扩展方法？

Question

可能的重复：
通用扩展方法不进行类型推断

考虑两种方法：

public static IEnumerable<V> Merge<V>
       (this IEnumerable<IEnumerable<V>> coll)

public static IEnumerable<V> Merge<T, V>
       (this IEnumerable<T> coll) 
              where T : IEnumerable<V>

两者都只编译很好，在这两种情况下，泛型类型的类型将在调用者的编译时已知，因此扩展类型的确切类型也是如此。

您可以调用两个都很好，但只能将第一个作为分机。

为什么？

更新 1

要看到它失败，请使用第二种方法和这样的示例：

    var x = new List<List<int>>();
    var y = x.Merge();

更新 - 关闭

你们不认为原始帖子太复杂而无法获得清晰的图片吗？出于教育目的，我认为这篇文章不应该被关闭，即使从技术上讲（即答案）它是重复的。只是我的2分钱。

Answer 1

方法类型推断在进行推断时不考虑约束。

昨天有人问了同样的问题。请参阅我的回答以了解更多详细信息。

通用扩展方法不进行类型推断

Answer 2

我不认为问题在于第二个不能被调用，而是 IntelliSense 不会看到它，因为它无法在没有显式调用的情况下轻松推断出第二个泛型类型参数 V帮助。

例如，给定您的两个扩展方法，以下都是合法的

    // IEnumerable<IEnumerable<int>> definition...
    List<List<int>> x = ...;

    // calls your first method (implicitly)
    x.Merge();

    // also calls your first method (explicitly)
    x.Merge<int>();

    // calls your second method (explicitly)
    x.Merge<List<int>, int>();

所有这三个都编译成功，我只是认为使用两个泛型类型参数，它无法从用法中推断出您的第二个泛型类型参数因此它没有在智能感知中显示，但仍然合法...

更新：根据提问者的说法，这不是这两个方法被声明为重载，而是它们是非此即彼。鉴于这个原因， Merge() 不适用于第二种形式，因为 T 和 V 之间的关系是在类型约束中定义的，因此不用于类型推断，如 Eric 在他的 SO 答案中所述。