Scala值定义：def和val计算的混乱情况

Question

我引用马丁·奥德斯基的话：

• def表单是“按名称”的，每次使用时都会对其右手边进行评估。
• val定义的右侧是在定义本身处计算的。

null

null

我有点困惑为什么：

• val x=loop//未被计算为false？

Answer 1

如果使用

val y: Boolean = y

在方法体中的语句位置，它根本不计算任何值，因为它会产生编译时错误：

error: forward reference extends over definition of value y

但是，如果将其用作成员变量，则它将编译为一个单独的私有变量，该变量用_、getterdef和一个单独的初始值设定项初始化：

private[this] val y: Boolean = _;
<stable> <accessor> def y(): Boolean = XeqX.this.y;

[...]

def <init>(): WhateverYourClassIsCalled.type = {
  XeqX.super.<init>();
  XeqX.this.y = XeqX.this.y();
  ()
}

def loop: Boolean = loop

val x = loop

下面是类似问题的另一个答案（同样，def和val)。