Scala: in Abhängigkeit vom Typ Argumente Loswerden

Question

Angenommen, ich habe eine Funktion in der folgenden Weise definiert:

def fun[T](somevar: SomeType[T]) = { 
    // some action 
} 

Gibt es eine Möglichkeit [T] loswerden vom Typ Parameter git und es nur als

verwenden

def fun(somevar: SomeType[T]) = { 
    // some action 
} 

Ich meine, die Typinformationen sollten bereits innerhalb someVar, nein verfügbar sein? Warum benutzt du sie nicht irgendwie?

Answer 1

Es sei denn, Sie wollen T einen bestimmten Typ sein, nein, gibt es nicht. Die Methodensignatur wäre ohne sie nicht gültig. Was somevar weiß, ist irrelevant.

Answer 2

Sie können dies nicht tun. Compiler muss wissen, was Typ T ist. Wenn Sie nicht über SomeType Typ Parameter ist es egal, können Sie dieses Formular verwenden:

def fun(somevar: SomeType[_]) = { 
    // some action 
} 

Answer 3

Diese problematisch sein würde, weil, was Sie entfernen nie wirklich überflüssig war. Wenn die Funktion als def fun[T](...) definiert ist, wird T als neue Typvariable definiert. Ansonsten bezieht es sich auf eine Typ- oder Typvariable, die an anderer Stelle definiert wird. Sie scheinen zu glauben, dass

def fun(somevar: SomeType[T]) { ... } 

bedeuten soll, dass T ist eine neue Art Variable. Ist das aber immer so? Nicht in diesem Code:

trait T { ... } 
def fun(somevar: SomeType[T]) { ... } 

Wohin gehen wir dann von dort? Definieren Sie neue Typvariablen immer dann, wenn auf einen Typnamen verwiesen wird, der vorher nicht definiert wurde? Das würde die folgenden Kompilierfehler wirklich komisch machen. (Oder noch schlimmer, manchmal erlauben, sie zu kompilieren?)

def fun(somevar: SomeType[Integr]) { ... } 

class C[Thing] { 
    def g(x: List[Think]) = ... 
} 

Für die Kompilierung-Typ-checking Philosophie der Scala, auf diese Weise liegt Wahnsinn.

Answer 4

Der Zweck Ihrer Frage ist unklar.

Die Benutzer Ihrer Funktion (der Client-Code) müssen sich nicht um den Typparameter kümmern. Sie können einfach anrufen.

Wenn der Typ T auf den Körper von fun() immateriell ist, dann kann es fällt gelassen werden: SomeType[_]

Aber wenn T sinnvoll ist, um die Funktionsweise der Funktion dann der Compiler gesagt werden muss, dass es sich um einen Typ-Parameter ist . Wenn man dies sieht, SomeType[T], kann der Compiler nicht schließen, dass T jetzt ein Typparameter ist. Stattdessen wird nach einer Definition von T außerhalb von fun() gesucht. Wenn Sie sie nicht finden, wird ein Fehler ausgegeben.