如何使用上下文綁定到一個類

我有一個值和上下文綁定到它的類型在一個case類。在一個函數中，我想在綁定的上下文中使用這個case類及其包含的值。如何使用上下文綁定到一個類

實施例：

object Example { 
    trait ObjectLike[A] { 
    def properties(a: A): Map[String, Any] 
    } 

    case class Person(name: String, age: Int) 

    object Person { 
    implicit val personObjectLike = new ObjectLike[Person] { 
     override def properties(a: Person): Map[String, Any] = Map(
     "name" -> a.name, 
     "age" -> a.age 
    ) 
    } 
    } 

    case class Company(name: String, founded: Int) 
    object Company { 
    implicit val companyObjectLike = new ObjectLike[Company] { 
     override def properties(a: Company): Map[String, Any] = Map(
     "name" -> a.name, 
     "founded" -> a.founded 
    ) 
    } 
    } 

    // I have the case class with the context bound here. 
    case class ObjectStore[Obj : ObjectLike](objs: List[Obj]) 

    // Here is the function where I want to use it 
    def getNames[A](store: ObjectStore[A]): List[String] = { 
    store.objs 
     .map((a) => { 
     implicitly[ObjectLike[A]].properties(a).get("name").map(_.toString) 
     }) 
     .flatten 
    } 
}

然而，這並不編譯。該錯誤消息是

Error:(32, 19) could not find implicit value for parameter e: Example.ObjectLike[A] 
     implicitly[ObjectLike[A]].properties(a).get("name").map(_.toString) 

Error:(32, 19) not enough arguments for method implicitly: (implicit e: Example.ObjectLike[A])Example.ObjectLike[A]. 
Unspecified value parameter e. 
     implicitly[ObjectLike[A]].properties(a).get("name").map(_.toString)

請注意，我不希望有一個隱含的證據來改變getNames簽名，我想以某種方式從類召喚它，因爲它應該已經在那裏了，我認爲。

來源

2017-06-18 Midiparse

你會如何從課堂中召喚它而不添加隱含的證據？你不知道類是什麼，它是一個泛型類型參數。 –

您可以通過ObjectStore中的方法公開證據。您可以使用store.evidence來訪問它。

來源

2017-06-18 13:42:06

如何使用上下文綁定到一個類

回答

相關問題