En passant de la fonction en tant que bloc de code entre accolades

Quelques fois, j'ai vu un Scala code comme ça:

object Doer{
   def doStuff(op: => Unit) {
      op
   }
}

Invoquée de cette façon:

Doer.doStuff{
      println("Done")
}

Ce qui est étrange pour moi, c'est la façon dont une fonction est passé à une autre fonction que seulement un bloc de code entre accolades. Et il n'y a pas de parenthèses, qui normalement marquer le début et la fin de la liste d'arguments.

Quel est le nom de Scala syntaxe/fonction? Dans ce cas, je peux l'utiliser? Où est-il documenté?

  • Je pense que c'est juste un sucre syntaxique. La ronde des parens ne sont pas ici, parce que vous pouvez omettre ronde parens si la fonction n'a qu'un seul argument. Et le morceau de code à l'intérieur d'accolades est la façon de fournir une fonction anonyme.
  • Pas de. Vous pouvez appeler f(args) ou f {block} mais vous ne pouvez pas omettre le signe de ponctuation à l'exception comme infixe x op y. Le bloc est un anon amuser comme { case x => }.
InformationsquelleAutor Piotr Sobczyk | 2014-03-26
  1. 46

    Cela s'appelle un nullary fonction ou un thunk, et est un exemple de en appel par le nom de l'évaluation: http://www.scala-lang.org/old/node/138

    Vous pouvez utiliser nullaries peu près n'importe où vous avez une liste de paramètres. Ils sont tout simplement de sucre syntaxique autour de zéro argument des fonctions qui les font ressembler à des valeurs ordinaires, et sont appelés à chaque fois qu'ils sont référencés.

    Donc

    def doSomething(op: => Unit) {
  op
}
doSomething {
  println("Hello!")
}

    est exactement la même chose que:

    def doSomething(op: () => Unit) {
  op()
}
doSomething(() => println("Hello!"))

    La seule chose à garder à l'esprit nullaries, c'est qu'ils sont invoqués à chaque fois qu'ils sont référencés, donc quelque chose comme:

    def foo(op: => Int) = op + op
foo {
  println("foo")
  5
}

    affiche "foo" deux fois.

    Modifier: Pour se développer sur de Randall commentaire, l'un des grands moyens qu'un nullary fonction est différente de zéro la fonction arg, c'est que nullaries ne sont pas des valeurs de première classe. Par exemple, vous pouvez avoir un List[() => Int] mais vous ne pouvez pas avoir un List[=> Int]. Et si vous aviez quelque chose comme:

    def foo(i: => Int) = List(i)

    vous n'êtes pas d'ajouter le nullary fonction de la liste, uniquement de sa valeur de retour.

    • Il est préférable de ne pas penser thunks comme des fonctions. Vous ne pouvez absolument pas travailler avec un thunk comme si c'est une fonction dans la mesure où vous ne pouvez pas choisir de le traiter comme Function de la valeur à être stockées ou échangées. Vous ne pouvez déclencher des évaluations de l'argument réel de l'expression (n'importe quel nombre d'entre eux).
    • bon point, j'ai fait qu'un peu plus clair dans ma réponse.
    • Afin de clarifier le commentaire, vous pouvez le faire: def f(op: =>Int) = op _ et aussi def g(op: =>Int) = f(op), donc g(8) n'a pas d'eval. D'autres mots: un appel par nom param est une méthode sans paramètre de type, comme def x.
    • Je ne pense pas vraiment comme une bonne façon de penser par-paramètres de nom, soit. Je suis opposé à essayer de comprendre Un concept comme une variation sur le concept de B quand il est vraiment juste une vague, accessoires de similarité entre eux...
    • En fait, ce n'est pas une métaphore, c'est la manière précise la spécification définit =>A dans 3.3.1 une expr est eval avais à chaque fois qu'il est référencé, même en tant que sous-nom du param. (Pour moi, qui m'a aidé à ne pas penser à la façon dont il est mis en œuvre ou codés.)
    • Et pourquoi est-il si difficile de trouver toute la documentation officielle sur qui?!
    • J'ai trouvé quelques informations sur l'appel par nom ici: scala-lang.org/old/node/138. Je vais ajouter le lien de ma réponse ainsi.
    • pourriez-vous citer une référence sur nullary vs zero-arg? Wikipédia suggère qu'ils sont la même chose.

    InformationsquelleAutor Dan Simon