Как точно работает ключевое слово «params»?

Question

В следующем примере кода печатает:

T 
T[] 
T[] 

Хотя первые две строки, как и ожидалось, почему компилятор выбран массив парам для обычного массива?

public class A 
{ 
    public void Print<T>(T t) 
    { 
     Console.WriteLine("T"); 
    } 

    public void Print<T>(params T[] t) 
    { 
     Console.WriteLine("T[]"); 
    } 
} 

class Program 
{ 
    static void Main(string[] args) 
    { 
     A a = new A(); 
     a.Print("string"); 
     a.Print("string","string"); 
     a.Print(new string[] {"a","b"}); 
    } 
} 

Answer 1

Под капотом

a.Print("string","string"); 

это просто синтаксический сахар для

a.Print(new string[]{"string","string"}); 

EDIT: Как я уже сказал, params ключевого слова только автомагически создает массив для вас, компилятора : либо принять массив из T напрямую, либо использовать входные параметры X для построения этого массива.

Answer 2

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

Answer 3

Я думаю, что это на самом деле больше связано с типом вывода, чем с ключевым словом params. Механизм вывода предполагает на третьей строке, что тип T является строкой [] и, следовательно, передает его первому методу.

попытка Console.WriteLine (TypeOf (T)), если вы не верите мне

Answer 4

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

Формальное объявление функции:

Под капотом, IL будут переведены, по существу, такой же, как

public void Print<T>(T[] array); 

Кроме этого, при компиляции, фактический вызов функция будет проверен на синтаксис перевода , Значение,

a.Print("string1", "string2"); 

становится такой же IL код, как

a.Print(new string[]{"string1", "string2"}); 

Вот почему линия 2 и 3 имеют тот же результат, потому что под капотом, они получили переведены на точно такой же IL.

Вопрос о том, почему строка 3 не печатается «Т», потому что .NET-компилятор всегда будет пытаться найти наилучшее перегруженное соответствие, поэтому обе строки 2 и 3 вызываются в версию T [] вместо простой T .

Answer 5

Точно, как сказал арул. Если вы откроете проект отражателем, вы увидите следующее:

a.Print<string>(new string[] { "string", "string" }); 

Answer 6

Это дополнение к тому, что другие сказали, что PARAMS ключевое слово также вызывает ParamArrayAttribute к генерируемый для параметра массива. Итак, это ...

public void Print<T>(params T[] t) { } 

Генерируется компилятором как ...

public void Print<T>([ParamArray] T[] t); { } 

Это тот атрибут, который указывает на компилятор и IDE, что метод может быть вызван с помощью простого синтаксиса ...

a.Print("string", "string"); 

, а не ...

a.Print(new string[] { "string", "string" });