Grund zu spezifizieren ersten generischen Typ

Question

Ich habe eine Frage zu generischen Funktionen in Scala. Angenommen, ich habe eine einfache Funktion wie dieses (erfundenes Beispiel):

def subList[A](list:List[A], start:Int, elementCap:Int): List[A] ={ 

warum erforderlich macht es die ersten [A]? wie in warum nicht kann ich die Signatur

def subList(list:List[A], start:Int, elementCap:Int): List[A] ={ 

Answer 1

Da jederzeit in einer Programmiersprache haben, dass Sie eine Variable welcher Art auch immer zu verweisen, müssen Sie es irgendwo definieren. Ein ist ein parametrischer Typ, dh es ist wie eine Variable, aber es bezieht sich auf einen Typ. A ist keine Konstante, das heißt für einen anderen Kontext bekannt, also braucht es eine Definition.

Der tatsächliche Wert wird konkret angegeben, wenn die Methode tatsächlich aufgerufen wird.