Явная ошибка компилятора в параметрах C # (C # 5.0)

Спецификация C # 4.0 является довольно ясно в том, как все это разыгрывается. В 7.5.3.1 говорится, что если функция с params может применяться либо в нормальной форме (игнорируя ключевое слово params), либо в развернутой форме (с использованием ключевого слова params), тогда нормальная форма выигрывает.

Предполагая, что Foo был объявлен как Foo(params object[] args), тогда вызов Foo(new Foobar[] {new Foobar(1), new Foobar(2), new Foobar(3)) }); применим в нормальной форме, поскольку Foobar[] неявно конвертируется в object[] (6.1.6, пункт 5). Поэтому используется нормальная форма, а развернутая игнорируется.

(Я предполагаю, что C # 5.0 не изменил эту часть языка.)

См. Раздел 7.5.3.1 спецификации C #:

7.5.3.1 Применимый функциональный член

Функциональный член считается применимым функциональным членом по отношению к списку аргументов A, если выполняются все следующие условия:

• Каждый аргумент в A соответствует параметру в объявлении члена функции, как описано в §7.5.1.1, и любой параметр, которому не соответствует ни один аргумент, является необязательным параметром.
• For each argument in A, the parameter passing mode of the argument (i.e., value, ref, or out) is identical to the parameter passing mode of the corresponding parameter, and
  • for a value parameter or a parameter array, an implicit conversion (§6.1) exists from the argument to the type of the corresponding parameter, or
  • [... некоторый не относящийся к делу материал, касающийся параметров ref и out ...]

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

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

В дополнение к обходному пути, описанному Крисом Шейном, вы также можете изменить Bar с класса на структуру; что делает массив больше не конвертируемым в object[] неявно, поэтому вы получите желаемое поведение.

Я считаю, что вы ошибаетесь, Кен. Это потому, что int [] не относится к типу object [], поэтому компилятор предполагает, что int [] является лишь одним из аргументов, переданных методу.

вот как:

new Foobar[] { } is object[]; // true
new int[] { } is object[]; // false

update: вы можете сделать метод универсальным, чтобы компилятор знал, что тип структуры / объекта передается как параметры:

void Foo<T>(params T[] objs)
{
    foreach (T o in objs)
        Console.WriteLine(o.GetType());
}

Итак, я собираюсь предположить, что лучший ответ - я прав и что это действительно ошибка компилятора. Хотя я прекрасно понимаю суть дела, ваше объяснение игнорирует ключевое слово "params". Фактически, чтобы использовать ковариацию таким образом, ДОЛЖНО игнорировать ключевое слово params, как будто оно неважно. Я постулирую, что просто не существует правдоподобного объяснения компиляции кода таким образом с Params, присутствующим в качестве ключевого слова в сигнатуре типа Foo: чтобы вызвать ваше объяснение, вам нужно убедить меня, что myClass [] должен соответствовать типу object [] , но мы не должны даже задавать этот вопрос, учитывая конструкцию params. Фактически, чем больше вы думаете об этом, тем яснее, что это настоящая ошибка компилятора C # 5.0: компилятор не применяет ключевое слово params. Спецификация языка на самом деле вообще не нуждается в изменении. Я должен получить какой-то странный значок, имхо!