Ce qui ne l `#` opérateur de moyenne en Scala?

Je vois ce code dans ce blog: Au Niveau du Type de Programmation en Scala:

//define the abstract types and bounds
trait Recurse {
  type Next <: Recurse
  //this is the recursive function definition
  type X[R <: Recurse] <: Int
}
//implementation
trait RecurseA extends Recurse {
  type Next = RecurseA
  //this is the implementation
  type X[R <: Recurse] = R#X[R#Next]
}
object Recurse {
  //infinite loop
  type C = RecurseA#X[RecurseA]
}

Il est un opérateur # dans le code R#X[R#Next] qui je n'ai jamais vu. Puisqu'il est difficile de le chercher(ignoré par les moteurs de recherche), qui peut me dire ce que cela signifie?

InformationsquelleAutor Freewind | 2012-02-25
  1. 230

    Pour expliquer cela, nous devons d'abord expliquer classes imbriquées en Scala. Considérons cet exemple simple:

    class A {
  class B

  def f(b: B) = println("Got my B!")
}

    Maintenant, nous allons essayer quelque chose avec elle:

    scala> val a1 = new A
a1: A = A@2fa8ecf4

scala> val a2 = new A
a2: A = A@4bed4c8

scala> a2.f(new a1.B)
<console>:11: error: type mismatch;
 found   : a1.B
 required: a2.B
              a2.f(new a1.B)
                   ^

    Lorsque vous déclarez une classe à l'intérieur d'une autre classe dans Scala, vous dites que chaque instance de cette classe a une sous-classe. En d'autres termes, il n'y a pas A.B classe, mais il y a a1.B et a2.B classes, et ils sont différents classes, comme le message d'erreur nous dit ci-dessus.

    Si vous ne comprenez pas que, de rechercher chemin des types dépendants.

    Maintenant, # rend possible pour vous de se référer à de telles classes imbriquées sans la restreindre à une instance particulière. En d'autres termes, il n'y a pas A.B, mais il y a A#B, ce qui signifie un B classe imbriquée de tout instance de A.

    Nous pouvons le voir dans le travail, en changeant le code ci-dessus:

    class A {
  class B

  def f(b: B) = println("Got my B!")
  def g(b: A#B) = println("Got a B.")
}

    Et de l'essayer:

    scala> val a1 = new A
a1: A = A@1497b7b1

scala> val a2 = new A
a2: A = A@2607c28c

scala> a2.f(new a1.B)
<console>:11: error: type mismatch;
 found   : a1.B
 required: a2.B
              a2.f(new a1.B)
                   ^

scala> a2.g(new a1.B)
Got a B.
    • Excellent exemple. Je suis totalement d'accepter qu'il fonctionne de cette façon, mais difficile à comprendre ceci: scala> classOf[A#B] res7: la Classe[A#B] = classe A,$B scala> classOf[une.B] res8: la Classe[a.B] = classe A,$B . ce qui signifie, qu'ils ont le même type de réalité?
    • Leurs valeurs ont la même représentation de chaîne -- et ils pourraient même être égaux. Class est un moteur d'exécution de la représentation des classes Java, et c'est limité, même en Java. Par exemple, List<String> et List<Integer> ont le même runtime Class. Si Class n'est pas assez riche pour représenter Java types, il est presque inutile de représentant de Scala types. Encore une fois, res7: Class[A#B] = class A$B, à gauche du signe égal est un type de, droite du signe égal, type si une valeur qui est la Java exécution représentation d'une classe.
    InformationsquelleAutor Daniel C. Sobral
  2. 11

    Il est connu comme le type de projection, et est utilisé pour l'accès des membres du type.

    scala> trait R {
     |   type A = Int
     | }
defined trait R

scala> val x = null.asInstanceOf[R#A]
x: Int = 0
    • C'est une non-réponse. Il présente le même code que la question, juste légèrement raccourcie. Qu'est-ce que, par exemple, la différence de point de notation? Où pourrais-je utiliser cette # dans le code réel?
    • c'est peut-être une non-réponse à ce que tu voulais dire. Mais ce que vous avez demandé est "... que je n'ai jamais vu. Puisqu'il est difficile de le chercher(ignoré par les moteurs de recherche), qui peut me dire ce que cela signifie?"
    InformationsquelleAutor missingfaktor
  3. 7

    Fondamentalement, c'est une façon de se référer à des classes dans d'autres classes.

    http://jim-mcbeath.blogspot.com/2008/09/scala-syntax-primer.html (de la recherche pour "livre")

    InformationsquelleAutor moveaway00
  4. 2

    Voici une ressource pour la recherche sur la "symbolique des opérateurs" (qui sont vraiment des méthodes), mais je n'ai pas compris comment échapper "#" pour effectuer une recherche dans scalex)

    http://www.artima.com/pins1ed/book-index.html#indexanchor

    InformationsquelleAutor Gene T