Зачем добавлять метод добавить неоднозначный вызов, если он не будет участвовать в неоднозначности

какая часть спецификации говорит, что это должно быть так?

раздел 7.5.3 (разрешение перегрузки), наряду с разделами 7.4 (поиск членов) и 7.5.2 (вывод типа).

обратите особое внимание на раздел 7.5.3.2 (better function member), в котором частично говорится: "дополнительные параметры без соответствующих аргументов удаляются из списка параметров" и "если M(p) является неродовым методом amd M(q) является общим методом, то M (p) лучше, чем M (q)."

однако я недостаточно хорошо понимаю эти части спецификации, чтобы знать, какие части спецификации контролируют это поведение, не говоря уже о том, чтобы судить, соответствует ли оно.

вы можете избежать этой двусмысленности, изменив имя первого параметра в некоторых методах и с указанием параметра, который вы хотите назначить

такой :

public class Overloaded
{
    public void ComplexOverloadResolution(params string[] somethings)
    {
        Console.WriteLine("Normal Winner");
    }

    public void ComplexOverloadResolution<M>(M something)
    {
        Console.WriteLine("Confused");
    }

    public void ComplexOverloadResolution(string something, object somethingElse = null)
    {
        Console.WriteLine("Added Later");
    }
}

class Program
{
    static void Main(string[] args)
    {
        Overloaded a = new Overloaded();
        a.ComplexOverloadResolution(something:"asd");
    }
}

если убрать params с вашего первого метода этого не произойдет. Вы первый и третий метод имеют оба допустимых вызова ComplexOverloadResolution(string), но если ваш первый метод public void ComplexOverloadResolution(string[] something) не будет никакой двусмысленности.

предоставление значения для параметра object somethingElse = null делает его необязательным параметром, и поэтому его не нужно указывать при вызове этой перегрузки.

Edit: компилятор делает некоторые сумасшедшие вещи здесь. Если вы переместите свой третий метод в коде после первого, он будет доклад правильно. Так что, похоже, он берет первые две перегрузки и сообщает о них, не проверяя правильность.

'.Программа.ComplexOverloadResolution (params string []) ' и 'ConsoleApplication1.Программа.ComplexOverloadResolution(строка, объект)'

Edit2: новая находка. Удаление любого метода из вышеуказанных трех не приведет к двусмысленности между ними. Поэтому кажется, что конфликт появляется только в том случае, если есть три метода присутствует, независимо от порядка.

1. если вы пишите

   var blah = new Overloaded();
   blah.ComplexOverloadResolution("Which wins?");
   

   или просто написать

   var blah = new Overloaded();
   blah.ComplexOverloadResolution();
   

   он заканчивается в тот же метод метод

   public void ComplexOverloadResolution(params string[] something
   

   это params ключевое слово, которое делает из него это лучше всего подходит также для случая, когда параметр не указан

2. если вы попытаетесь добавить yuor новый метод, как это

   public void ComplexOverloadResolution(string something)
   {
       Console.WriteLine("Added Later");
   }
   

   он будет прекрасно компилировать и называть это метод, как это идеальный матч для вашего звонка с . Гораздо сильнее, чем params string[] something.

3. вы объявляете второй метод, как вы сделали

   public void ComplexOverloadResolution(string something, object something=null);
   

   компилятор, прыгает в полной путанице между первым методом и этим, просто добавил один. Потому что он не знает, какую функцию он должен все теперь по вашему вызову

   var blah = new Overloaded();
   blah.ComplexOverloadResolution("Which wins?");
   

   Infact, если вы удалите строковый параметр из вызова, например, следующий код, все компилируется правильно и работает как раньше

   var blah = new Overloaded();
   blah.ComplexOverloadResolution(); // will be ComplexOverloadResolution(params string[] something) function called here, like a best match.