Pourquoi est-il permis de pointer vers les paramètres constructeurs?

Question

Ce code

class Foo(str: String) { 
    val len = str.length 
    def getLen = len 
    def getStr = str} 

seront compilés à

public class Foo implements ScalaObject 
{ 

    private final int len; 
    private final String str; 
    public Foo(String str) 
    { 
     this.str = str; 
     super(); 
     len = str.length(); 
    } 

    public String getStr() 
    { 
     return str; 
    } 

    public int getLen() 
    { 
     return len(); 
    } 

    public int len() 
    { 
     return len; 
    } 

    public int $tag() 
     throws RemoteException 
    { 
     return scala.ScalaObject.class.$tag(this); 
    } 
} 

Mais ce code

class Foo(str: String) { 
    val len = str.length 
    def getLen = len 
} 

seront compilés à

public class Foo implements ScalaObject 
{ 

    private final int len; 

    public Foo(String str) 
    { 
     len = str.length(); 
    } 

    public int getLen() 
    { 
     return len(); 
    } 

    public int len() 
    { 
     return len; 
    } 

    public int $tag() 
     throws RemoteException 
    { 
     return scala.ScalaObject.class.$tag(this); 
    } 
} 

Pourquoi il n'y a pas un privé membre de la classe Foo?

private final String str; 

Est-ce une sorte d'optimisation? Pourquoi est-il permis de pointer vers les paramètres du constructeur?

Pourquoi? Pourquoi il n'y a pas d'erreur de compilation pour la ligne "def getStr = str"?

Answer 1

Eh bien, selon le livre d'Odersky, le constructeur est le seul endroit où vous pouvez faire correspondre les champs aux arguments du constructeur. Si vous ne le faites pas, il n'y aura pas de variable vue en dehors du constructeur.

Answer 2

Dans Scala, les paramètres du constructeur sont visibles de n'importe où dans la classe, je le vois plutôt comme des "paramètres d'objet". Dans votre deuxième extrait, il n'a pas été compilé pour créer un attribut de classe simplement parce que vous ne le référenciez pas en dehors du constructeur - ce n'est pas nécessaire.