類型成員瓦特/隱

Question

考慮：

// type-class 
trait Eq[A] 

class MyInt 
object MyInt { 
    implicit val myIntEq = new Eq[MyInt] {} 
} 

sealed trait Something { 
    type A 
    implicit val x: Eq[A] 
} 

case object SomethingImpl extends Something { 
    override type A = MyInt 
    override implicit val x = MyInt.myIntEq 
} 

然後，我用的類型成員通過的implicit：

scala> def f(s: Something): Eq[s.A] = { 
    | implicit val x: Eq[s.A] = s.x 
    | x 
    | } 
f: (s: Something)Eq[s.A] 

然而，我的直覺告訴我，這是有些笨拙有帶來的隱性通過implicit val ...進入範圍。

也許我應該在Something的伴侶對象中定義f函數？

什麼是定義此f函數的標準方法？

Answer 1

如果你想把某種隱含的東西帶進範圍，你通常是import吧。

def f(s: Something) = { 
    import s.x 
    ??? 
}