Неоднозначность расширения вызова метода

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 указал на спецификацию в уже комментариях, но позвольте мне перевести это на простой английском языке:

языка С # есть правило, которое говорит перегрузка без опущенных дефолтных аргументов предпочтительнее перегрузки с опущено дефолтом аргументы. Это правило делает 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 = "") is не предпочитает более 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) при использовании общего метода.