Ogni metodo "setter" richiede un metodo "getter" in Scala?

Question

programmatore

Scala avrebbe dovuto sapere che questo tipo di scrittura:

class Person{ 
    var id = 0 
} 
var p = new Person 
p.id 
p.id = 2  

equivale a

class Person{ 
private var _id = 0 
def id = _id 
def id_=(i: Int) = _id = i 
} 
val p = new Person 
p.id // be equal to invoke id method of class Person 
p.id = 2 // be equal to p.id_=(2) 

a tutti gli effetti. Ma se si commento il metodo getter def id = _id, p.id = 2 causerà un errore di compilazione, dicendo

error: value key is not a member of Person 

Qualcuno potrebbe spiegare perché?

Answer 1

Il compilatore è così perché le specifiche lo dicono.

Vedere Scala Reference, p. 86, §6.15 Assegnazioni.

Nota che nulla vi impedisce di:

• rendendo il getter private
• rendendo il ritorno getter un altro tipo
• rendendo il getter “uncallable”, ad esempio, così: def id(implicit no: Nothing)