2016-11-20 48 views
1

所以我的代码如下无法找到内含价值

package typeclasses 

    trait Eq[T]{ 

     def == (t1: T, t2: T) : Boolean 
    } 

    case class MyClass() 

    object MyClass { 

     implicit object EqMyClass extends Eq[MyClass] { 
     override def ==(t1: MyClass, t2: MyClass): Boolean = true 
     } 
    } 

    object App1 extends App{ 

     import Tree._ 
     import MyClass._ 

     def equality[T](t1: T, t2: T)(implicit eq: Eq[T]): Boolean = eq.==(t1, t2) 

     //println(equality(Node(1), Node(2))) 

     println(equality(MyClass, MyClass)) 
    } 

但是我得到的错误编译器无法找到EQ [MyClass的]内含价值。这是我得到的错误。

Error:(38, 19) could not find implicit value for parameter eq: typeclasses.Eq[typeclasses.MyClass.type] 
    println(equality(MyClass, MyClass)) 

难道不应该已经找到EQ [MyClass的],因为我导入MyClass的对象为App1和已EqMyClass在那里定义?我还需要将MyClass对象导入到App1中吗?我的理解是scala会查看arg类型的伴随对象以找到隐式defs?

谢谢!

+0

我会通过'implicit val x = new Eq [MyClass] {...}写出类型类' – Reactormonk

回答

3

您必须编写println(equality(MyClass(), MyClass()),因为MyClass是配对对象(类型为MyClass.type),而不是MyClass的实例。