Java：定义术语的初始化，声明和赋值

Question

我发现defs循环，主语由其动词定义，但动词未定义！那么如何定义它们呢？

通告定义

初始化：初始化变量。可以在声明时完成。

赋值：为变量赋值。它可以在任何地方完成，只有使用final-identifier一次。

声明：向变量声明值。

[更新，尝试通过lambda calc理解主题]

D(x type) = (λx.x is declared with type) 
A(y D(x type)) = (λy.y is assigned to D(x type))

%Then after some beta reductions we get initialization.
D(x type) me human                  // "me" declared with type "human"
A(y (D(x type) me human)) asking    // "asking" assigned to the last declaration

%if the last two statemets are valid, an initialization exists. Right?

Answer 1

赋值：丢弃变量的旧值并用新值替换

初始化：这是一种特殊的分配：第一种。在初始化对象具有null值之前，原始类型具有默认值，例如0或false。可以与声明一起进行。

声明：声明声明变量的类型及其名称。一个变量只能声明一次。编译器使用它来帮助程序员避免错误，例如将字符串值分配给整数变量。在读取或分配变量之前，必须先声明该变量。