scalaz在基类中定义的零

Question

我刚刚开始使用Scalaz。我试图在它的超类中为我的类型定义一个Zero。

class Base { 
    implicit def BaseZ: Zero[this.type] = zero(classOf[this.type].newInstance()) 
} 

class Child extends Base 

~Option(null:Child) //trying to make this produce: new Child 

我发现了两个错误：

1）由于是，这产生"error: class type required but Base.this.type found"

2）如果更改的this.type第二次出现至基础（这是没有用的），我得到

类型不匹配;
发现：基本
要求：Base.this.type

谁能帮助我了解与this.type这里回事？我真的不想传递或重写一个类型参数到基地。

Answer 1

this.type与此类的类型不一样。 this.type是这个特定实例的单例类型。换句话说，以下将不起作用：

scala> class X { def x:this.type=new X } 
<console>:7: error: type mismatch; 
found : X 
required: X.this.type 
     class X { def x:this.type=new X } 

在另一方面，这将：

scala> class X { def x:this.type=this } 
defined class X 

作为零点，我想创建一个同伴对象，并把每个零它。