Scala'da, bir liste içeren somut bir alanı geçersiz kılabilir ve alt sınıfa bir şey ekleyebilir miyim?

Question

İşte sahip olduğum sınıfların basitleştirilmesi:

trait RequiredThings { 
    val requiredThings: Seq[String] 
} 

class SimpleCalculator with RequiredThings { 
    val requiredThings = List("a", "b") 
} 

class ComplicatedCalculator extends SimpleCalculator with RequiredThings { 
    self: SimpleCalculator => 
    override val requiredThings:List[String] = List("c") ::: self.requiredThings 
} 

Bu versiyonda, benlik tipli bir açıklama kullanıyorum, ama tamamen olumlu değilim. Muhtemelen requiredThings'i bir yönteme çevirerek çalışmayı başarabileceğimi düşünüyorum, ama bunu bir alan olarak denemek isterim.

Son çözüm:

trait RequiredThings { 
    def requiredThings: Seq[String] 
} 

class SimpleCalculator with RequiredThings { 
    def requiredThings = List("a", "b") 
} 

class ComplicatedCalculator extends SimpleCalculator with RequiredThings { 
    override def requiredThings:List[String] = List("c") ::: super.requiredThings 
} 

Answer 1

Evet, kendinden türüyle "devralınan" yöntemlere yapılan süper çağrılar henüz uygulanmadı. Bu yakında değişecek (biraz). Bu arada, onun yerine miras kullanmalısın.

Answer 2

Bu anlamda bir def olarak requiredThings olması için yapar en azından trait yılında - bu size verecektir daha fazla esneklik yeterince

Answer 3

Komik, aynı konuyla ilgili bastı dün.

Kendi türlerinin şu anda uygulanma şekli, bir yöntemi (veya değeri) geçersiz kılarsanız, geçersiz kılınan yönteme başvurmanın bir yolu yoktur.

şu şekilde döngü:

class A { def foo = "a" } 
trait B { self: A => override def foo = self.foo + "b" } 

(not: değil A Eğer super.foo diyemezsin, B üstüdür ScalaObject)

Ben de bir daha dolaylama ile çalıştı

, ancak program hala döngüler.

class A { def foo = "a"; def fooA = A.this.foo } 
trait B { this: A => override def foo = fooA + "b" } 

eser öz tipleri şu anda oluyor yoktur, belki bu değişecektir.