¿Puedo anular un método de clase scala con un método de un rasgo?

Question

class PasswordCaseClass(val password:String) 
trait PasswordTrait { self:PasswordCaseClass => 
    override def password = "blue" 
} 

val o = new PasswordCaseClass("flowers") with PasswordTrait 

¿Es posible anular PasswordCaseClass 's password con lo dispuesto en PasswordTrait? En este momento, recibo este error:

e.scala:6: error: overriding value password in class PasswordCase 
Class of type String; 
method password in trait PasswordTrait of type => java.lang.String needs to be a stable, 
immutable value 
val o = new PasswordCaseClass("flowers") with PasswordTrait 
      ^
one error found 

Me gustaría ser capaz de tener algo como esto:

class User(val password:String) { 
} 

trait EncryptedPassword { u:User => 
    def password = SomeCriptographyLibrary.encrypt(u.password) 
} 

val u = new User("random_password") with EncryptedPassword 
println(u.password) // see the encrypted version here 

Answer 1

Puede anular def con val, pero no puede hacerlo al revés. Un val implica una garantía, que su valor es estable e inmutable, que un def no lo garantiza.

Answer 2

Esto funcionó para mí (con algunas modificaciones):

trait PasswordLike { 
val password: String 
} 

class PasswordCaseClass(val password:String) extends PasswordLike 

trait PasswordTrait extends PasswordLike { 
override val password: String = "blue" 
} 

y luego:

scala> val o = new PasswordCaseClass("flowers") with PasswordTrait 
o: PasswordCaseClass with PasswordTrait = $anon$1@c2ccac 

scala> o.password 
res1: String = blue 

Answer 3

Está intentando anular el valor con la definición del método. Simplemente no tiene sentido, tienen una semántica diferente. Los valores que se supone que se calculan una vez por ciclo de vida del objeto (y se almacenan dentro de un atributo de clase final) y los métodos se pueden calcular varias veces. Entonces, lo que estás tratando de hacer es frenar el contrato de la clase de varias maneras.

De todos modos, también hay un error del compilador: la explicación del error no está del todo clara.