スカラのマニフェストの構文が不明確

次のようなマニフェスト構文を持つScalaコードを見ました。 WireFormatがここで何を意味するのか分かりません。マニフェストAにはどのような制約が追加されますか？タイプAが特性WireFormatを拡張する必要があることを意味しますか？スカラのマニフェストの構文が不明確

このような構文に関するドキュメントが見つかりませんでした。

trait WireFormat[A] { 
    def toWire(x: A, out: DataOutput) 
    def fromWire(in: DataInput): A 
} 

class DList[A : Manifest : WireFormat]

2012-04-01 zjffdu

'Manifest'とA'_' 'ためWireFormat'コンテキストがありますように' A'が_takesとしてそれを読んでください。 –

context boundです。コロンで区切られた2つの型では、2つの暗黙のパラメータがあることを意味します。

言い換えれば、それは同じです：

class DList[A](implicit x: Manifest[A], y: WireFormat[A])

2012-04-01 02:41:06

[コンテキストの境界とビューの境界]（http://stackoverflow.com/questions/4465948/what-are-scala-context-and-view-bounds）も非常に便利です。 –

答えて