Unklare Scala Manifest Syntax

Question

Ich sah ein Stück Scala-Code mit Manifest-Syntax wie folgt. Ich weiß nicht, was Wireformat hier bedeutet. Welche Einschränkung fügt es dem Manifest A hinzu? Bedeutet das, dass der Typ A das Merkmal WireFormat erweitern muss?

Ich konnte kein Dokument über solche Syntax finden.

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

class DList[A : Manifest : WireFormat] 

Answer 1

Es ist ein context bound. Bei zwei durch Doppelpunkte getrennten Typen bedeutet dies, dass zwei implizite Parameter vorhanden sind.

Mit anderen Worten ist es das gleiche wie:

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