왜 생성자 매개 변수를 가리키는 것이 허용됩니까? 어떤 개인이 왜

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

스칼라에서 생성자 매개 변수는 클래스 내의 어느 위치에서나 볼 수 있으므로 "객체 매개 변수"와 비슷합니다. 두 번째 스 니펫에서는 생성자 외부에서 참조하지 않기 때문에 클래스 속성을 만들도록 컴파일되지 않았습니다. 필요하지 않습니다.