Scala Chaîne vs java.lang.Chaîne - l'inférence de type

Dans le REPL, je définir une fonction. Remarque le type de retour.

scala> def next(i: List[String]) =  i.map {"0" + _} ::: i.reverse.map {"1" + _}
next: (i: List[String])List[java.lang.String]

Et si je spécifier le type de retour en tant que Chaîne de

scala> def next(i: List[String]): List[String] = i.map {"0" + _} ::: i.reverse.map {"1" + _}
next: (i: List[String])List[String]

Pourquoi la différence? Je peux aussi préciser le type de retour de Liste en tant que[Tout], donc je suppose que la Chaîne est juste un wrapper supertype de java.lang.Chaîne de caractères. Sera-ce de ont aucune incidence pratique ou puis-je sans risque de ne pas spécifier le type de retour?

InformationsquelleAutor Luigi Plinge | 2011-07-02
  1. 54

    C'est une très bonne question! Tout d'abord, permettez-moi de vous assurer que vous pouvez spécifier le type de retour.

    Maintenant, regardons vers elle... oui, lorsqu'il est laissé à l'inférence, la Scala en déduit java.lang.String, au lieu de simplement String. Donc, si vous cherchez "String" dans le ScalaDoc, vous ne trouverez rien, ce qui semble indiquer qu'il n'est pas un Scala classe. Eh bien, il doit venir de quelque part, si.

    Considérons quelles Scala importations par défaut. Vous pouvez trouver par vous-même sur le REPL:

    scala> :imports
 1) import java.lang._             (155 types, 160 terms)
 2) import scala._                 (801 types, 809 terms)
 3) import scala.Predef._          (16 types, 167 terms, 96 are implicit)

    Les deux premiers sont des packages -- et, en effet, String peut être trouvé sur java.lang! Est qu'il, alors? Nous allons vérifier par l'instanciation d'autre chose que du package:

    scala> val s: StringBuffer = new StringBuffer
s: java.lang.StringBuffer =

scala> val s: String = new String
s: String = ""

    Donc, qui ne semble pas être elle. Maintenant, il ne peut pas être à l'intérieur de la scala paquet, ou il aurait été trouvé lors de la recherche sur la ScalaDoc. Donc, nous allons regarder à l'intérieur de scala.Predef, et ça y est!

    type String = String

    Qui signifie String est un alias pour java.lang.String (qui a été importé précédemment). Qui ressemble à un mouvement cyclique de référence, mais si vous vérifiez les source, vous verrez qu'il est défini avec le chemin d'accès complet:

    type String        = java.lang.String

    Ensuite, vous voudrez peut-être demander pourquoi? Eh bien, je n'ai pas la moindre idée, mais je suppose que c'est pour faire de cette importante classe un peu moins dépendante de la JVM.

    • C'est un peu une curiosité que les littéraux de chaîne sont présumées être de type java.lang.String, quand il semble qu'ils pourraient tout aussi bien être déduit pour être de type String. Mais bien de savoir qu'ils sont exactement la même chose.
    • C'est parce que les littéraux est de type java.lang.Chaîne de caractères. Il n'y a vraiment aucune inférence ici-ils sont des littéraux.
    InformationsquelleAutor Daniel C. Sobral