スカラ座と前方参照

Question

可能性の重複：
Scala: forward references - why does this code compile?

object Omg { 

    class A 

    class B(val a: A) 

    private val b = new B(a) 

    private val a = new A 

    def main(args: Array[String]) { 
    println(b.a) 
    } 

} 

次のコードを印刷 "ヌル"。 Javaで。無効な前方参照のために同様の構成がコンパイルされません。問題は、なぜそれがScalaでうまくコンパイルされるのでしょうか？ SLSで記述されているのか、それとも2.9.1のバグですか？

Answer 1

これはバグではありませんが、Scalaを学ぶ際の古典的なエラーです。オブジェクトOmgが初期化されると、すべての値が最初にデフォルト値（この場合はnull）に設定され、コンストラクタ（つまりオブジェクト本体）が実行されます。

ちょうどあなたが前方（この場合の値a）を参照している宣言の前にlazyキーワードを追加し、それを動作させるには：

object Omg { 

    class A 

    class B(val a: A) 

    private val b = new B(a) 

    private lazy val a = new A 

    def main(args: Array[String]) { 
    println(b.a) 
    } 
} 

値aは、オンデマンドで初期化されます。

この構成は高速です（値はすべてのアプリケーション実行時に1回しか初期化されず、スレッドセーフです）。

Answer 2

@paradigmatic状態では、実際にはバグではありません。これは宣言の順序に続く初期化順序です。この場合、bが宣言された/ init-edされた場合、aはヌルです。

private val b = new B(a)からprivate lazy val b = new B(a)に変更すると、lazyを使用するとinitが遅れるため、問題が修正されます。 bの最初の使用法です。

この動作はSLSで説明されている可能性があります。

Answer 3

これは私が理解している方法ですが、これはScalaクラスの作成方法と関係があります。 Javaでは、上で定義したクラスは変数をインラインで初期化することになり、aはまだ定義されていないため、コンパイルできませんでした。しかし、Scalaで、それは（も同じシナリオにヌル生成しなければならない）Javaでこれより同等です：

class Omg { 
    private B b = null; 
    private A a = null; 

    Omg(){ 
    b = new B(a); 
    a = new A(); 
    } 
} 

代わりに、あなたはまで値を設定延期することになる、bのあなたの宣言は怠惰作ることができますそれが呼び出されます（その時点でaが設定されます）。

Answer 4

これが問題になる場合は、開発中に-Xcheckinitをコンパイルし、例外がなくなるまで繰り返します。

仕様5.1テンプレート本体のステートメントを順番に実行します。ブロック内の前方参照のための4.0の開始。

Forward References - why does this code compile?