verwirrt, warum diese C# Code kompiliert, während ähnlichen Code nicht

Question

Lassen Sie uns die folgende Erweiterung Methode nehmen:

static class Extensions 
{ 
    public static bool In<T>(this T t, params T[] values) 
    { 
     return false; 
    } 
} 

Ich bin neugierig, warum diese Code kompiliert und ausgeführt:

var x = new Object(); 
IEnumerable<int> p = new List<int> { 1, 2, 3 }; 
var t2 = x.In(p); 

Innerhalb In, values ist ein Object[], als ob die List<int> im laufenden Betrieb in ein Array konvertiert wird. Für mich scheint es, dass params T[] nicht IEnumerable<int> entspricht, weshalb ich überrascht bin, dass dies sogar läuft.

nun dieser Code:

var x = 5; 
IEnumerable<int> p = new List<int> { 1, 2, 3 }; 
var t2 = x.In(p); 

Does nicht Lauf und gibt den Compiler-Fehler:

Error 2 Argument 2: cannot convert from 'System.Collections.Generic.IEnumerable' to 'int[]'

Dies ist, was ich von dem ersten erwarten würde tatsächlich. Kann mir jemand erklären, was hier vor sich geht? Vielen Dank!

Answer 1

Typ-Inferenz konvertiert Ihren ersten Aufruf von

In<object>(x, p); 

Die Parametern dieses generische Methode geschlossen object, params object[] sind.
Daher übergibt implizit konvertiert es in eine object, die das einzige Element im Array params wird.

Ihr zweiter Anruf wird gefolgert, (wegen der ersten Parameter) zu

In<int>(x, p); 

Hier kann der zweite Parameter entweder eine int[] (vorbei an ein Array direkt) oder eine Reihe von int s (via params) .
Da IEnumerable<int> keiner von denen ist, erhalten Sie einen Fehler.