变量与引用

变量用于为值命名并保存计算结果，引用运算符 & 用于在表达式中读取变量值。本章覆盖赋值、复合赋值、引用与作用域要点。

基本赋值

想复用中间结果时，可以把值赋给变量。使用 = 即可创建或更新变量：

x = 5
message = "hello"
result = 'fail'

要点如下：

不需要 var、let 等关键字，直接写 name = expression 即可创建或更新变量。
对同名变量再次赋值会覆盖先前的值，后一次赋值生效。

除了最基础的 = 赋值外，Fluxon 还支持常见的复合赋值运算符：

counter = 0
counter += 1
total *= 2

其语义与大多数 JVM 语言保持一致，相当于在 原有值 的基础上就地更新。

常量

Fluxon 通过 命名约定 识别常量：全大写标识符（模式 [A-Z][A-Z0-9_]*）在赋值字面量时自动成为常量。

PI = 3.14159        // 常量（全大写 + 字面量）
MAX_SIZE = 1024     // 常量
HTTP_200 = 200      // 常量
GREETING = "Hello"  // 常量

常量具有以下特性：

不可重新赋值：尝试修改常量会在解析期报错
编译时内联：常量引用在解析阶段被替换为字面量值，无运行时查找开销

PI = 3.14159
PI = 6.28        // 错误：Cannot reassign constant: PI

常量 vs 变量

只有「全大写标识符 + 字面量值」的组合才会被识别为常量：

// 常量
MAX = 100           // 全大写 + 字面量 → 常量
PREFIX = "log:"     // 全大写 + 字面量 → 常量

// 变量（不是常量，可重新赋值）
Max = 100           // 混合大小写 → 变量
max = 100           // 全小写 → 变量
RESULT = &x + 1     // 全大写 + 表达式 → 变量
COMPUTED = calc()   // 全大写 + 函数调用 → 变量

常量内联优化

常量在解析阶段被内联，这意味着 &PI 会被直接替换为 3.14159：

PI = 3.14159

def area(r) = &PI * &r * &r   // &PI 被内联为 3.14159

area(10)   // 实际执行：3.14159 * 10 * 10

引用运算符 `&`

在 Fluxon 中，始终显式区分「变量本身」和「变量里的值」。在表达式中读取变量的值时，需要在变量名前添加 &，表示「取出该变量当前绑定的值」：

x = 10
y = &x + 5
result = &result + &i

使用 & 时需要注意：

&name 可以出现在任意表达式的位置，用于取出当前作用域中对应变量的值。
赋值语句左侧始终写作 name = ...，不会出现 &name = ... 这样的形式。
在函数体或控制流结构（如循环、分支）内部使用 &，可以直接访问外层已存在的变量。

一个常见的出错场景是「忘记写 &」：

name = "world"
greeting = "hello " + name   // 这里的 name 会被当作字符串字面量
// 正确写法：
greeting = "hello " + &name

作用域要点

Fluxon 的多种语法结构都会引入新的作用域：

for、when 等控制流结构以及函数体都会形成各自的作用域。
在这些结构内部新建的变量，默认只在本作用域内可见。

如果希望在循环或分支内部计算得到的结果在外层同样可用，通常的写法是：

在外层先声明并初始化变量。
在内部作用域中，通过赋值对该变量进行累积或更新。

sum = 0
for i in 1..3 {
    sum += &i
}
// 退出循环后，sum 仍可在外层使用

如果把累加结果写成循环内部的新变量，那么外层就无法使用它：

for i in 1..3 {
  innerSum = &i    // innerSum 只在循环体内部可见
}
// 这里访问 innerSum 会出错，因为它超出了作用域

条件分支中的作用域

when 或其他分支结构体内定义的变量，默认只在对应分支中可见：

message = ""
when &status {
  "ok" -> {
    message = "success"      // 直接更新外层变量
  }
  "fail" -> {
    message = "failed"       // 同样更新外层变量
  }
}

// 这里可以使用更新后的 message
log = &message + "!"

在分支内部如果使用 localMsg = ... 这样的新变量名，则该变量只在当前分支块内有效，外层无法访问。

函数与嵌套作用域

函数体同样形成自己的作用域，函数参数和在函数内声明的变量不会泄漏到外层：

def add(a, b) = {
    result = &a + &b
    return &result
}

sum = add(1, 2)
// 这里看不到 result，只能看到 sum

在多层嵌套结构中，内层可以通过 & 引用外层变量，但应避免复用相同的变量名，从而遮蔽外层含义：

value = 10

for i in 1..2 {
    // 避免再次使用 value 作为循环内部变量名
    inner = &value + &i
}

如果在内层重新声明了同名变量，就会发生「变量遮蔽」（shadowing）：

value = 10

for i in 1..2 {
  value = 100       // 这里修改的是内层 value，而不是外层的 10
}

核心语法

内置函数

扩展函数

基本赋值

常量

常量 vs 变量

常量内联优化

引用运算符 `&`

作用域要点

条件分支中的作用域

函数与嵌套作用域

相关链接

​基本赋值

​常量

​常量 vs 变量

​常量内联优化

​引用运算符 &

​作用域要点

​条件分支中的作用域

​函数与嵌套作用域

​相关链接

基本赋值

常量

常量 vs 变量

常量内联优化

引用运算符 `&`

作用域要点

条件分支中的作用域

函数与嵌套作用域

相关链接