爲什麼允許指向構造函數參數？

Question

此代碼

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

將被編譯到

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); 
    } 
} 

但這個代碼

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

將被編譯到

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); 
    } 
} 

爲什麼沒有私人Foo班的成員？

private final String str; 

它是某種優化嗎？

爲什麼允許指向構造函數的參數。 爲什麼「def getStr = str」行沒有編譯時錯誤？

Answer 1

那麼，根據Odersky的書，構造函數是唯一可以將字段與構造函數參數進行匹配的地方。如果你不這樣做，那麼在構造函數之外將不會看到變量。

Answer 2

在Scala中，構造函數參數在類中任何地方都可見，我更像是「對象參數」。在你的第二個代碼片段中，它沒有被編譯爲爲它創建一個類屬性，只是因爲你沒有在構造函數之外引用它 - 這是不需要的。