scala self-type: value не является составной ошибкой

Question

Это продолжение к this question.

Я пытаюсь реализовать векторы в Скале с общим суперкласса, используя само-типа:

trait Vec[V] { self:V => 
    def /(d:Double):Vec[V] 
    def dot(v:V):Double 

    def norm:Double = math.sqrt(this dot this) 
    def normalize = self/norm 
} 

Вот реализация 3D вектора:

class Vec3(val x:Double, val y:Double, val z:Double) extends Vec[Vec3] 
{ 
    def /(d:Double) = new Vec3(x/d, y/d, z/d) 
    def dot(v:Vec3) = x * v.x + y * v.y + z * v.z 
    def cross(v:Vec3):Vec3 = 
    { 
     val (a, b, c) = (v.x, v.y, v.z) 
     new Vec3(c * y - b * z, a * z - c * x, b * x - a * y) 
    } 

    def perpTo(v:Vec3) = (this.normalize).cross(v.normalize) 
} 

К сожалению, это не компиляция:

Vec3.scala:10: error: value cross is not a member of Vec[Vec3] 
    def perpTo(v:Vec3) = (this.normalize).cross(v.normalize) 
             ^

Что происходит не так, и как я могу это исправить?

Кроме того, любые ссылки на типы самонаведения будут оценены, потому что я считаю, что эти ошибки возникают из-за моего непонимания.

Answer 1

Чтобы избавиться от всей гадости, вы должны указать, что параметр типа V является подклассом Vec. Теперь вы можете просто использовать V всюду, потому что ваша черта знает, что V наследует все методы Vec[V].

trait Vec[V <: Vec[V]] { self: V => 
    def -(v:V): V 
    def /(d:Double): V 
    def dot(v:V): Double 

    def norm:Double = math.sqrt(this dot this) 
    def normalize: V = self/norm 
    def dist(v: V) = (self - v).norm 
    def nasty(v: V) = (self/norm).norm 
} 

Обратите внимание на метод nasty, который не будет компилировать с Easy Angel’s approach.

Answer 2

Я думаю, что метод / в Vec должен возвращать V вместо Vec[V]:

trait Vec[V] { self:V => 
    def /(d:Double): V 
    def dot(v:V):Double 

    def norm:Double = math.sqrt(this dot this) 
    def normalize = self/norm 
} 

метод кросс существует в Vec3 (или другими словами в V), но не в Vec[V]