Scala : 'implizit' und type-parameter

Bin ich ein wenig Schwierigkeiten zu verstehen, das folgende Phänomen:

trait Trait[A] {
  def traitType: String
}

object Trait {
  implicit val stringTrait: Trait[String] = new Trait[String] {
    def traitType: String = "string"
  }

  implicit val intTrait: Trait[Int] = new Trait[Int] {
    def traitType: String = "int"
  }
}

class Media[A] {
  //works
  def mediaType(implicit t: Trait[A]): String = t.traitType
  //does not compile
  def mediaType: String = implicitly[Trait[A]].traitType
}

object Main {
  def main(args: Array[String]) {
    val a = new Media[String]
    val b = new Media[Int]

    println(a.mediaType)
    println(b.mediaType)
  }
}

In der obigen snippet zeige ich 2 verschiedene Implementierungen mediaType Methode (ich habe einen Kommentar von Ihnen beim kompilieren des Codes). Allerdings die version mit den implizit nicht kompilieren? Ich bekomme folgende Fehlermeldung:

impl.scala:19: error: could not find implicit value for parameter e: Trait[A]
  def mediaType: String = implicitly[Trait[A]].traitType
                                    ^
one error found

Ich verstehe, dass es gibt keine implizite Wert der Eigenschaft[A] verfügbar. Ich verstehe nicht, warum Ein nicht aufgelöst werden, um die Art von Medien wird instanziiert mit. Ich glaube, ich bin zu viel denken, in Bezug auf die C++ - Vorlagen hier und ich wäre sehr dankbar wenn jemand könnte mir einen Zeiger in die richtige Richtung.

Grüße,
raichoo

InformationsquelleAutor raichoo | 2011-05-20
  1. 9

    Compiler muss beweisen, dass es existiert implizite Trait Instanz für die A. Im ersten mediaType Umsetzung erklären Sie diese Anforderung. Aber in der zweiten Durchführung, aus der compiler-Sicht es gibt keine solche Garantie. So, damit es funktioniert, sollten Sie Fragen den Nutzer Media Klasse zu geben. Sie können diese mit Kontext gebunden:

    class Media[A : Trait] {
  def mediaType: String = implicitly[Trait[A]].traitType
}

    Dies kann auch geschrieben werden mehr explizit: 

    class Media[A](implicit val evidence: Trait[A]) {
  def mediaType: String = implicitly[Trait[A]].traitType
}

    So, in anderen Worten default-Konstruktor erfordert implizite evidence und Benutzer nicht in der Lage wäre zu instanziieren Media Klasse ohne Sie (explizit oder implizit).

    • Also die Klasse nimmt das Merkmal[A] - Wert von den impliziten Kontext, in dem es instanziiert?
    • (im Gegensatz zu der mediaType-Methode mit impliziter parameter, die abholen würde der Wert vom Kontext in dem Sie aufgerufen wird)
    InformationsquelleAutor tenshi
  2. 2

    Wenn Sie möchten, diese version zu kompilieren:

    def mediaType: String = implicitly[Trait[A]].traitType

    dann die implizite Instanz von Trait[A] muss übergeben werden, z.B. wenn eine neue Instanz von Media erstellt. Versuchen Sie zu definieren Media wie folgt statt:

    class Media[A](implicit private val t: Trait[A]) {
  def mediaType: String = t.traitType
}

    Eine fast gleichwertige definition mit einem Kontext-gebunden ist:

    class Media[A: Trait] {
  def mediaType: String = implicitly[Trait[A]].traitType
}

    Dass gesagt wird, wenn das, was Sie versuchen zu tun ist, halten Sie weitere Informationen über den Typ-parameter eines parametrisierten Typs, die Sie verwenden möchten, können Manifests anstelle Ihres eigenen Mechanismus. Sie würden Sie mit voller Art von Informationen auf A zur Laufzeit, auch wenn A selbst einen parametrisierten Typ:

    scala> class Media[A](implicit val aManifest: Manifest[A])
defined class Media

scala> new Media[Int].aManifest
res0: Manifest[Int] = Int

scala> new Media[Seq[(Int, String)]].aManifest        
res1: Manifest[Seq[(Int, String)]] = scala.collection.Seq[scala.Tuple2[Int, java.lang.String]]
    • Der obige code ist nur ein Beispiel. Ich weiß, über Manifeste, danke 🙂
    • Ja, ich möchte nur vermeiden, dass neue user deine Frage Lesen, fühlen Sie sich "inspiriert", und starten Sie das ableiten Ihrer eigenen Manifest-wie Variante es aus...
    • Guter Punkt, nicht darüber nachdenken.
    InformationsquelleAutor Jean-Philippe Pellet
Schreibe einen Kommentar