特定の引数を取るコンストラクタを要求する方法はありますか？

Question

私がやろうとしていることは簡単だと思いますが、検索用語の集まりは適切ではありません。私が望むのは、すべての実装クラスに、既知の型のオブジェクトで呼び出せるコンストラクタがあることを保証する特性です。構文は次のようにする必要があります。

trait Message { 
    def this(rdr: msgpack.MsgReader): Message 
} 

しかし、コンパイラは、等号が必要であると私に通知します。どのようにこれを行うにはどのようなアイデア？

Answer 1

代わり型クラスのパターンを使用します。

trait Message[T] { 
    def read(reader: msgpack.MsgReader): T 
    // Example of what would be a normal instance method. 
    // thiz is similar to this, except because we're in another object it must be explicitly taken as parameter. 
    // It's in a separate param list for convention and ease of currying 
    def foo(thiz: T)(param1: Int): Boolean 
} 

// "Implementors" don't actually implement it, the behavior exists as its own singleton 
class Foo { ... } 

implicit object FooMessage extends Message[Foo] { 
    // Note that this is not restricted to just constructors. If you want that then you are really out of luck. (And probably doing it wrong.) 
    override def read(reader: msgpack.MsgReader) = ??? 
    override def foo(thiz: Foo)(param1: Int) = thiz.foo(param1) 
} 

// Usage 
// Use an explicit, named implicit param to avoid implicitly 
def readMsg[T: Message](reader: msgpack.MsgReader) = implicitly[Message[T]].read(reader) 

val foo = readMsg[Foo](???)