Почему в scala нельзя переопределить изменяемую переменную?

Question

Почему в scala нельзя переопределить изменяемую переменную?

class Abs(var name: String){ 
} 

class AbsImpl(override var name: String) extends Abs(name){ 
} 

Приведенный выше код дает следующие компиляции ошибки времени: -

variable name cannot override a mutable variable

Если имя объявляется вал, то выше код работает отлично.

Answer 1

Если вы можете переопределить var с помощью var, то переопределяющий элемент может иметь более узкий тип. (Вот как определяется переопределение.)

Затем вы можете присвоить значение более широкого типа, а затем прочитать его, ожидая более узкого типа, и сбой.

Иллюстрация сеттер вовлеченного:

scala> class A ; class B extends A 
defined class A 
defined class B 

scala> abstract class C { var x: A } ; class D extends C { var x: B = _ } 
<console>:13: error: class D needs to be abstract, since variable x in class C of type A is not defined 
(Note that an abstract var requires a setter in addition to the getter) 
     abstract class C { var x: A } ; class D extends C { var x: B = _ } 
              ^

scala> abstract class C { var x: A } 
defined class C 

scala> class D extends C { var x: B = _ ; def x_=(a: A) = ??? } 
defined class D 

Answer 2

Это происходит, когда var вы пытаетесь переопределить уже есть задание. Я не уверен почему это запрещено, но и это мало смысла.

См. Также this question.

Определение name, как абстрактную вместо

trait Abs { 
    var name: String 
} 

class AbsImpl(name0: String) extends Abs { 
    var name = name0 
} 

или

trait Abs { 
    var name: String 
} 

class AbsImpl(private var name0: String) extends Abs { 
    def name = { 
    println("getter") 
    name0 
    } 

    def name_=(value: String) = { 
    println("setter") 
    name0 = value 
    } 
} 

Answer 3

Я считаю, что намерение было просто установить значение наследственного var name. Это может быть достигнуто таким образом (без override var):

class Abs(var name: String){ 
} 

class AbsImpl(name: String) extends Abs(name){ 
} 

Неоднозначность возникает из локальной вар name: String в AbsImpl, который назван в честь унаследованный var name: String от Abs. Аналогичный код, менее синтаксически неоднозначным, но и менее элегантно будет:

class Abs(var name: String){ 
} 

class AbsImpl(name_value: String) extends Abs(name_value){ 
} 

Answer 4

Короткий ответ: вам нужно передать -Yoverride-vars компилятору Scala.

Согласно спецификации, var является как получателем, так и сеттером, и для этих методов применяются нормальные правила переопределения. Однако это показало, что некоторые нежелательные последствия w.r.t. к ключевому слову final и inlining. Код в компиляторе упоминает необходимо будет некоторые спецификации уточнений:

// TODO: this is not covered by the spec. We need to resolve this either by changing the spec or removing the test here. 
if (!settings.overrideVars) 
    overrideError("cannot override a mutable variable") 

Связанная билет: SI-3770

Answer 5

Если вы хотите, чтобы переопределение Var его эквивалент пытается переопределить поля в Java, который не возможно ,