Inferenza di tipo diverso per `def` e` val` in Scala

Question

Ho osservato una differenza nell'inferenza di tipo Scala quando applicata a def e val.

Utilizzando def, è possibile definire un metodo nullario astratto const restituendo un valore di tipo Int => Int. Quando si implementa const con una funzione letterale, non devono fornire un tipo di parametro, come si può dedurre dal compilatore:

trait D { 
    def const: Int => Int 
} 
object D extends D { 
    def const = i => i + 1 
} 

Questo va bene. (Il lato negativo, viene creata una nuova istanza funzione per ogni accesso al D.const.)

consideri ora una costruzione analoga utilizzando val:

trait V { 
    val const: Int => Int 
} 
object V extends V { 
    val const = i => i + 1 
} 

Questo non verrà compilato, avendo con

error: missing parameter type 
    val const = i => i + 1 
      ^

Perché?

Answer 1

Come di Scala 2.9.1, questo è “come speced”. Citando Martin Odersky dal SI-2742:

Per i metodi, i tipi di restituzione nei metodi astratti ereditati vengono presi come previsto sul lato destro. Per i valori non esiste una regola del genere. Quindi questa sarebbe una richiesta di miglioramento delle specifiche, come la vedo io.

Il ticket ha priorità bassa ed è rimasto invariato dalla sua prima discussione a fine 2009, quindi sembra improbabile che cambi presto.

Answer 2

Se si crea questo codice con l'opzione -Xprint tutto, si vedrà che:

abstract trait V extends scala.AnyRef { 
<stable> <accessor> def const: Int => Int 
}; 

final object V extends java.lang.Object with V with ScalaObject { 

def this(): object V = { 
    V.super.this(); 
() 
}; 

private[this] val const: <error> => <error> = ((i: <error>) => i.+(1)); 
<stable> <accessor> def const: <error> => <error> = V.this.const 
} 

Quindi l'errore si verifica al momento della creazione della val privato e di accesso. Il compilatore tenta di valutare il valore interessato alla val const prima di creare l'accessor def const.

se si guarda al valore val const definito in tratto, si vede che la creazione di VAL privata è stata disabilitata perché è solo una definizione per l'accesso def cost.

Penso che il tipo di inferenza con definizione precedente (in tratto o superclasse) si sia verificato solo quando ha tentato di creare l'accessor, non per valutare un valore.

E per l'ultima const DEF, il tipo si basa solo sul privato [questo] val tipo const: error => errore