Warum kann System.Array keine Typbeschränkung sein?

Question

Ich arbeite an einem kleinen Projekt mit ein paar verschiedenen Arten von Arrays (zB double[], float[], int[]). Für die Verifizierung/Test/Vernunft, Drucke ich einige dieser Arrays auf der Konsole, wie ich mitfahre. Also habe ich mehrere Funktionen haben, die unten wie diese aussehen (für dieses Beispiel vereinfacht - davon ausgehen, ich bin nur mit Single-Dimension-Arrays zu tun):

void Print(float[] a) // prints an array of floats 
{ 
    for (int i = 0; i < a.Length; i++) 
    { 
     Console.Write(a[i]); 
    } 
} 

void Print(double[] a) // prints an array of doubles 
{ 
    for (int i = 0; i < a.Length; i++) 
    { 
     Console.Write(a[i]); 
    } 
} 

ich in meiner unendlichen Weisheit, dachte ich einige der verringern könnte Code-Duplizierung durch einfaches Erstellen einer generischen Version dieser Funktionen.So habe ich es versucht:

void Print<T>(T t) where T : Array 
{ 
    for (int i = 0; i < t.Length; i++) 
    { 
     Console.Write(t.GetValue(i)); 
    } 
} 

Intellisense ist nicht beschweren, aber der Compiler nicht mit einem sehr interessanten Fehler:

Constraint cannot be special class 'System.Array'

Ich habe nach einer Erklärung (ähnlich Object oder versiegelte Klassen sieht, habe aber nicht viel gefunden, nicht nur ein Erwähnen Sie on msdn. Kann mir jemand erklären warum das ist der Fall? Warum kann ich keine Typbeschränkung von System.Array angeben?

ps: Während dies aus der Eingabe, erkannte ich, dass ich erreichen kann, was ich wollte, leichter, ursprünglich mit einer einfachen Funktion wie folgt aus:

void Print(System.Array a) 
{ 
    for (int i = 0; i < a.Length; i++) 
    { 
     Console.Write(a.GetValue(i)); 
    } 
} 

Aus diesem Grund für Arrays in den Compiler eine spezielle Regel gibt es ?

Answer 1

Die entsprechende Syntax zu tun, was Sie wollen, ist dies:

void Print<T>(T[] array) 
{ 
    for (int i = 0; i < array.Length; i++) 
    { 
     Console.Write(array[i]); 
    } 
} 

Answer 2

Wenn die Frage wörtlich genommen, es sinnlos wäre, einen Array Zwang zu haben. Es ist das Gleiche wie es nutzlos ist, eine ValueType-Einschränkung zu haben, da es nicht überprüft, ob Sie einen Werttyp als generisches Argument verwenden, sondern ob der Typ, den Sie übergeben, ValueType zuweisbar ist.
So können Sie auch Array als das allgemeine Argument übergeben und es ist OK.

Was tatsächlich nützlich ist, ist ein Array contraint haben jede Art ermöglicht, die von Array leitet, aber nicht Array selbst:

void Print<TArr>(TArr t) where TArr : array //or [*] or other fancy syntax 

Wo T kann [] sein, [,], [,,], [,,,], und so auf. Der einzige nicht-generische Array Parameter ist, dass wir den Elementtyp des Arrays kennen.

Ein anderer Weg, dies zu lösen, ist eine benutzerdefinierte Array<T> Klasse mit impliziter Operator Überlastungen von T[], T[,], T[,,] usw.

bearbeiten zu erstellen:
Es gibt keine Möglichkeit, dies zu erreichen, auch in CIL (derzeit), weil sich int[,] und Array nicht in irgendwelchen Schnittstellen oder Konstruktoren unterscheiden. Wir brauchen where T : Array but not Array itself contraint.