Jak korzystać z typów singleton-object Scala?

Question

Piszę klasy, która służy jako klasa bazowa dla serii obiektów singleton. W każdym obiekcie singleton będą vals reprezentujące pewne właściwości i chcę napisać metodę, która dla każdego obiektu singleton akceptuje tylko obiekty przez nią utworzone.

Więc mam następujące:

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]) = {...} 
} 

Tak daleko, tak dobrze. Następnie chcę zadeklarować jeden z tych pojedynczych obiektów:

object M extends Maker { 
    val a = make 
} 

ale wtedy, gdy próbuję to:

M.accept(M.a) 

następnie pojawia się błąd kompilacji:

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

My pytania:

1. Jaki jest typ object com.test.M i czym się różni od com.test.M.type?
2. Jak mogę to zrobić w bardziej inteligentny sposób?

Answer 1

Get z duchem czasu, mój dobry człowieku! Naprawiłem to ponad 24 godziny temu. Następnie spodziewam się zobaczyć velociraptorów ścigających dodo, wściekle łamiących ich baty buggy, przeglądając notowania giełdowe na swoich ekranowych wygaszaczach ekranu.

popełnić w pytaniu: 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 
% 

Answer 2

Użyj this.type zamiast M. Ten uproszczony przykład powinien działać:

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! 

Answer 3

To działa:

Sekret "sos" używa make[M.type] wewnątrz obiektu singleton.

@retronym zasługuje na kredyt dla wyjaśnienia to: How to correctly type-annotate this HList?

Answer 4

Twoje pierwsze pytanie: „Jaki jest typ object com.test.M i czym różni się od com.test.M.type?”, Nadal nie zostało odebrane. Nie znalazłem tego udokumentowanego w specyfikacji, ale wygląda na to, że typ object M jest typem wewnętrznym reprezentującym klasę, która jest niejawnie tworzona podczas definiowania obiektu M. Oczywiście, M jest jedynym wystąpieniem tej klasy, więc można oczekiwać, że typ object M będzie równoważny z , ale kompilator najwyraźniej tego nie widzi.

Problem, który napotykamy, jako @retronym explained, polega na tym, że pojedynczy singleton typu M.type nie jest wywnioskowany dla parametru type podczas wywoływania metody make. To z tego samego powodu, że String jest wywnioskować zamiast v.type w poniższej sesji:

scala> val v = "asdf"      
v: java.lang.String = asdf 

scala> identity(v) 
res0: java.lang.String = asdf 

gdzie identity jest zdefiniowany jako

def identity[T](v: T) = v