模糊扩展方法调用

Question

此代码无法编译：

using System;
using System.Runtime.CompilerServices;

static class Extensions {
    public static void Foo(this A a, Exception e = null, string memberName = "") {
    }

    public static void Foo<T>(this A a, T t, Exception e = null, string memberName = "")
        where T : class, IB {
    }
}

interface IB { }

class A { }

class Program {
    public static void Main() {
        var a = new A();
        var e = new Exception();

        a.Foo(e); //<- Compile error "ambiguous call"
    }
}

但如果我删除最后一个 string 参数一切都很好：

    public static void Foo(this A a, Exception e = null) {
    }

    public static void Foo<T>(this A a, T t, Exception e = null)
        where T : class, IB {
    }

问题是 - 为什么这些可选的string 参数会破坏编译器对方法调用的选择？

添加： 澄清的问题：我不明白为什么编译器在第一种情况下不能选择正确的重载，而在第二种情况下可以这样做？

已编辑： [CallerMemberName] 属性在这里不是问题的原因，所以我已将其从问题中删除。

Answer 1

@PetSerAl 已经指出了 cmets 中的规范，但让我将其翻译成简单的英语：

C# 语言有一条规则，即不带省略默认参数的重载优先于带省略默认参数的重载。此规则使Foo(this A a, Exception e = null) 比Foo(this A a, T t, Exception e = null) 更匹配。

C# 语言没有规定优先使用一个省略的默认参数的重载优于具有两个省略的默认参数的重载。因为它没有这样的规则，所以Foo(this A a, Exception e = null, string s = "")不优于Foo<T>(this A a, T t, Exception e = null, string s = "")。

避免此问题的最简单方法通常是提供额外的重载，而不是使用默认参数值。您需要CallerMemberName 的默认参数值才能工作，但您可以提供省略Exception 的额外重载，并为此传递null 转发到实际实现。

注意：确保Foo<T>(this A a, T t, string s = "") 在Foo(this A a, Exception e, string s = "") 可用时不会被选中，无论如何这将是一个棘手的问题。如果您的变量静态类型为Exception，那么非泛型方法将是首选，但如果它是静态类型的，例如ArgumentException，那么T=ArgumentException 是比基类Exception 更好的匹配，T=ArgumentException 中的错误将被检测到来不及选择你要调用的方法。或许将T 放在Exception 之后 是最安全的，并且在使用泛型方法时总是需要传入一个异常（可能是null）。