Wie verwenden von Scala singleton-Objekt-Typen?

Ich Schreibe eine Klasse dient als Basisklasse für eine Reihe von singleton-Objekten. In jeder singleton-Objekte, es wird vals repräsentieren bestimmte Eigenschaften, und ich will schreiben Sie eine Methode, die für jede singleton-Objekt, akzeptiert nur Objekte, die von ihm erstellt.

Also ich habe Folgendes:

class Obj[M <: Maker]

class Maker {
  implicit val me: this.type = this
  def make[M <: Maker](implicit maker: M) = new Obj[M]
  def accept(obj: Obj[this.type]) = {...}
}

So weit, So gut. Dann möchte ich erklären, einer dieser singleton-Objekte:

object M extends Maker {
  val a = make
}

Aber dann, wenn ich es versuchen:

M.accept(M.a)

dann bekomme ich einen compile-Zeit-Fehler:

type mismatch; found : com.test.Obj[object com.test.M] required: com.test.Obj[com.test.M.type]

Meine Fragen:

Was ist der Typ object com.test.M, und wie unterscheidet es sich von com.test.M.type?
Wie kann ich dies in einer INTELLIGENTEREN Weg?

für Punkt 2: es gibt immer die Möglichkeit, um Obj eine geschachtelte Klasse Maker und entfernen Sie den type-parameter, aber ich möchte das nicht, da muss ich vorbei um Obj-Instanzen auf Objekte außerhalb der Klassen in meinem Beispiel, und ich brauche, um filter auf den Typ-parameter.
Könnten Sie bitte geben Sie eine kompilierbare Beispiel? Etwas, was ich kann kopieren&einfügen in eine REPL?
Gute Frage: ich lief in das gleiche problem bei der Umsetzung einer HList und die Art der HNil abgeleitet wurde als Objekt HNil und nicht HNil.Typ. Upgrade auf 2.9 nightly-build und alles ist in Ordnung jetzt.

InformationsquelleAutor Jean-Philippe Pellet | 2010-11-30

16

Bekommen mit der Zeit, mein guter Mann! Ich reparierte diese über 24 Stunden. Weiter erwarte ich, um zu sehen, Velociraptoren jagen dodos, wütend knacken den buggy Peitschen, während sich Börsenkurse auf Ihre pointcast Bildschirmschoner.

Den commit in Frage: http://lampsvn.epfl.ch/trac/scala/changeset/23622
```
//1130.scala
class Obj[M <: Maker]

class Maker {
  implicit val me: this.type = this
  def make[M <: Maker](implicit maker: M) = new Obj[M]
  def accept(obj: Obj[this.type]) = ()
}

object M extends Maker {
  val a = make
}

object Test {
  def main(args: Array[String]): Unit = {
    M.accept(M.a)
  }
}

//too old
% /scala/inst/scala-2.9.0.r23619/bin/scalac ./1130.scala 
./1130.scala:15: error: type mismatch;
 found   : Obj[object M]
 required: Obj[M.type]
    M.accept(M.a)
               ^
one error found

//fresh enough
% /scala/inst/scala-2.9.0.r23624/bin/scalac ./1130.scala 
%
```
- Schön! Also ich nehme an, es war definitiv ein compiler-Fehler eher als ein problem mit meinen mentalen Repräsentation der Typen im Spiel.
- Naja, niemand hat gesagt, dass es ein Fehler war. Es wurde ein unerwünschtes Verhalten, aber es war, als angegeben.
- Fair genug, aber in diesem Fall, können Sie mir erklären, den Unterschied zwischen Typ object M und geben M.type?
- Nicht in einer Weise, die Sinn, außerhalb der Umsetzung. Als der r23624 ich weiß nicht, wo du bist auch gehen, um Begegnung "Objekt M" mehr: es ist nicht die Art, die Sie äußern können, also, wenn es nicht abgeleitet, dann hat sich der Typ hinter dem Vorhang.
- Gut, ich bin glücklich mit, dass.
InformationsquelleAutor psp
8

Verwenden this.type statt M. Dieses vereinfachte Beispiel sollte funktionieren:
```
class Obj[M <: Maker]

class Maker {
  def make() = new Obj[this.type]
  def accept(obj: Obj[this.type]) = println(obj)
}

object M extends Maker

object N extends Maker

M.accept(M.make()) //works!
M.accept(N.make()) //error! type mismatch!
```
- Danke, das funktioniert einwandfrei. Aber warum nicht, mein Beispiel funktioniert, was ist falsch mit meiner Argumentation? Was ist genau der Unterschied zwischen object com.text.M und com.text.M.type?
InformationsquelleAutor Michel Krämer
3

Ihre erste Frage, "Was ist der Typ object com.test.M, und wie unterscheidet es sich von com.test.M.type?", noch nicht beantwortet wurde. Ich habe es nicht gefunden, dokumentiert in der spec, aber es scheint, dass die object M Typ ist der interne Typ repräsentiert die Klasse, die implizit erstellt, wenn Sie ein Objekt definieren M. Natürlich M ist die einzige Instanz der Klasse, so würde man erwarten, dass die object M Typ äquivalent zu M.type, aber der compiler anscheinend nicht so sehen.

Des Problems, das Sie laufen in, als @retronym erklärt, ist, dass die singleton-Typ M.type ist nicht abgeleitet, für den type-parameter beim aufrufen Ihrer make Methode. Dies ist aus dem gleichen Grund, dass String abgeleitet, anstatt v.type in der Sitzung unter:
```
scala> val v = "asdf"                      
v: java.lang.String = asdf

scala> identity(v)
res0: java.lang.String  = asdf
```
wo identity ist definiert als
```
def identity[T](v: T) = v
```
- Macht Sinn. Aber es sieht so extempore fest dieses Verhalten in 2,9, also entweder object M ist wirklich M.type und es war ein Fehler, oder die Typ-Inferenz hat sich etwas geändert.
- Was auch verwundert mich, wenn Sie, wenn Sie schreiben val v = "string", v als Typ "String" und wenn Sie schreiben val singleton = M, dann singleton-Typ M.type und nicht object M, so erwartete ich meine erste Beispiel funktioniert. Froh, dass es in 2.9
InformationsquelleAutor Aaron Novstrup
2

Dies funktioniert:
```
class Obj[M <: Maker]

class Maker {
  implicit val me: this.type = this
  def make[M <: Maker](implicit maker: M) = new Obj[M]
  def accept(obj: Obj[this.type]) = ()
}

object M extends Maker {
  val a = make[M.type]
}

M.accept(M.a)
```
Den geheimen "Soße" ist mit make[M.type] innerhalb der singleton-Objekt.

@retronym verdient den Kredit für die Erklärung diese: Wie man richtig geben-kommentieren dieser HList?
- Die implizite redundant ist hier: es wird immer nur Kraft M, dies zu sein.geben ... in dem Fall können wir auch diesen verwenden.geben direkt, dass wir Michel Krämer Lösung.
- Eigentlich bin ich stark versucht zu vermeiden die explizite [M.type] beim Aufruf make aus M...
- Ich bin einfach davon ausgegangen, dass er verharmlost seine echten Fall für den Beitrag aber, dass in der code, den er benötigt es
InformationsquelleAutor IttayD

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.