歧义扩展方法调用

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已经在注释中指出了规范，但让我将其翻译为简单的英语：

C＃语言有一条规则，规定不带默认参数的重载比带默认参数的重载优先。 与Foo(this A a, T t, Exception e = null)相比Foo(this A a, Exception e = null)此规则使Foo(this A a, 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(this A a, Exception e, string s = "")可用时，不会选择Foo<T>(this A a, T t, string s = "")棘手的问题不管。 如果您的变量被静态类型化为Exception ，那么将首选非泛型方法，但是如果它被静态类型化为例如ArgumentException ，则T=ArgumentException比基类Exception更好的匹配，并且T=ArgumentException的错误将被检测到来不及选择您要调用的方法。 也许将T放在Exception 之后是最安全的，并且在打算使用泛型方法时始终要求将异常传入（可能为null ）。