scala/ハマりどころ

ドキュメントにコンパイラオプションが網羅されていないがち

objectではvalのforward referenceができてしまう

以下のようなコードについて考える。

code:scala

def f =

val x = y // y is a forward reference extending over the definition of x

val y = 42

println(x)

code:scala

object O:

val x = y

val y = 42

O.x // => 0

Note that the value defined by an object definition is instantiated lazily. The new m$cls constructor is evaluated not at the point of the object definition, but is instead evaluated the first time m is dereferenced during execution of the program (which might be never at all). An attempt to dereference m again during evaluation of the constructor will lead to an infinite loop or run-time error. Other threads trying to dereference m while the constructor is being evaluated block until evaluation is complete.

(機械翻訳)

オブジェクト定義によって定義された値は、遅延初期化される点に注意してください。新しい m$cls コンストラクタは、オブジェクト定義の時点では評価されず、プログラム実行時に m が初めて参照された時点で初めて評価されます（場合によっては全く評価されないこともあります）。コンストラクタ評価中に再度 m を参照しようとすると、無限ループや実行時エラーが発生します。コンストラクタ評価中に、他のスレッドが m を参照しようとした場合、評価が完了するまで待機状態になります。

disasmした結果を見るとわかるが、

初期状態では、プリミティブ型は0やfalseで初期化される

これはJavaの仕様

回避策

code:scala

----

このコードをdisasmすると:

code:java

public final class O {

public static int x();

6: ireturn

public final class O$ implements java.io.Serializable {

private static final int x;

private static final int y;

public static final O$ MODULE$;

private O$();

0: aload_0

4: return

LocalVariableTable:

Start Length Slot Name Signature

0 5 0 this LO$;

public static {};

3: dup

19: bipush 42

24: return

private java.lang.Object writeReplace();

3: dup

9: areturn

LocalVariableTable:

Start Length Slot Name Signature

0 10 0 this LO$;

public int x();

3: ireturn

LocalVariableTable:

Start Length Slot Name Signature

0 4 0 this LO$;

public int y();

3: ireturn

LocalVariableTable:

Start Length Slot Name Signature

0 4 0 this LO$;

}