Ce n'param: _* moyenne en Scala?

Être de nouveau à la Scala (2.9.1), j'ai un List[Event] et voudrais le copier dans un Queue[Event], mais la Syntaxe suivante donne un Queue[List[Event]] à la place:

val eventQueue = Queue(events)

Pour une raison quelconque, les ouvrages suivants:

val eventQueue = Queue(events : _*)

Mais je voudrais comprendre ce qu'il fait, et pourquoi ça marche? J'ai déjà regardé à la signature de la Queue.apply fonction:

def apply[A](elems: A*)

Et je comprends pourquoi la première tentative ne fonctionne pas, mais quel est le sens de la seconde? Qu'est-ce que :, et _* dans ce cas, et pourquoi ne pas le apply fonction il suffit de prendre un Iterable[A] ?

InformationsquelleAutor Chris | 2011-10-29
  1. 73

    a: A est de type nom; voir Quel est le but de type ascriptions en Scala?

    : _* est un cas spécial de type nom qui indique au compilateur de traiter un seul argument d'un type de séquence comme une variable de séquence d'argument, c'est à dire varargs.

    Il est tout à fait valable, pour créer un Queue à l'aide de Queue.apply qui a un seul élément qui est une séquence ou itératif, c'est exactement ce qui se passe quand vous donnez un seul Iterable[A].

    • Merci de m'indiquer le type de nom!
    InformationsquelleAutor Ben James
  2. 69

    C'est une notation spéciale, qui indique au compilateur de passer chaque élément de son propre raisonnement, plutôt que de tous comme un seul argument. Voir ici.

    C'est un type d'annotation qui indique un séquence argument et est mentionné comme une "exception" à la règle générale de la section 4.6.2 de la langue spec", a Répété Paramètres".

    Il est utile si une fonction prend un nombre variable d'arguments, par exemple, une fonction telle que def sum(args: Int*), qui peut être invoquée comme sum(1), sum(1,2) etc. Si vous avez une liste comme xs = List(1,2,3), vous ne pouvez pas passer xs lui-même, parce que c'est un List plutôt qu'un Int, mais vous pouvez passer d'un de ses éléments à l'aide de sum(xs: _*).

    • def sum(xs: _*) jette 'error: unbound générique de type"
    • Votre réponse est claire , mais c'est en fait de créer plus de confusion pour moi , habituellement en scala xs: int signifie le type de x est de type int , en passant par qui est au-dessus d'une syntaxe en scala, où xs: _* signifie xs est coulé à chacun de ses membres.
    • Suivre le lien ci-dessus ressemble, c'est ce qu'il est , le type de nom est un scala terminologie java pour la conversion de type. Veuillez me corriger si mal.
    InformationsquelleAutor Luigi a.k.a. Rhys
  3. 2

    Pour Python gens:

    Scala _* opérateur est plus ou moins l'équivalent de Python *-opérateur.

    Exemple

    La conversion de la scala exemple de la lien fournis par Luigi Plinge:

    def echo(args: String*) = 
    for (arg <- args) println(arg)

val arr = Array("What's", "up", "doc?")
echo(arr: _*)

    Python pourrait ressembler à:

    def echo(*args):
    for arg in args:
        print "%s" % arg

arr = ["What's", "up", "doc?"]
echo(*arr)

    et à la fois donner le résultat suivant:

    Ce qu'

    jusqu'

    doc?

    La Différence: le déballage des paramètres positionnels

    Tout en Python *-opérateur peut également traiter avec le déballage de position paramètres/paramètres pour les fonctions d'arité:

    def multiply (x, y):
    return x * y

operands = (2, 4)
multiply(*operands)

    8

    Faire la même chose avec Scala:

    def multiply(x:Int, y:Int) = {
    x * y;
}

val operands = (2, 4)
multiply (operands : _*)

    échouera:

    pas assez d'arguments pour la méthode de se multiplier: (x: Int, y: Int)Int.

    Valeur quelconque paramètre y.

    Mais il est possible de réaliser la même chose avec scala:

    def multiply(x:Int, y:Int) = {
    x*y;
}

val operands = (2, 4)
multiply _ tupled operands

    Selon Lorrin Nelson voilà comment cela fonctionne:

    La première partie, f _, est la syntaxe pour une application partielle de la fonction dans laquelle aucun des arguments ont été spécifiés. Cela fonctionne comme un mécanisme d'obtenir une prise de la fonction de l'objet. tupled retourne une nouvelle fonction d'arité-1 qui prend un seul arité-n n-uplet.

    Plus lecture:

    InformationsquelleAutor Murmel