8. 表达式与绑定

表达式描述计算并产生值。let 将表达式结果绑定到局部名称，后续表达式可以使用这个结果。

8.1 表达式形式

本文语法包含以下表达式：

具体名称和成员必须存在并符合类型要求。调用的参数和返回规则见函数与调用。

从高到低的组合顺序为：

同级二元算术运算在本文草案中按从左到右组合。100 - 10 * 2 先做乘法，结果为 80；(100 - 10) * 2 的结果为 180。

数值采用统一类别，不按固定机器位宽定义溢出；精度、除法、舍入、隐式转换和其他运算符的规则见规范状态。

函数体片段：

let amount = 100 - 10
let payable = amount - 5

第一行将结果 90 绑定到 amount，第二行使用它得到 85。每个绑定包含关键字 let、局部名称、等号和表达式。

let 是结果绑定，不是 namespace 声明。变量可以改变引用目标的模型见 8.6；本节 let 示例只展示初始绑定，不据此决定 let 是否允许重绑、重新赋值的源码形式或顶层绑定规则。

值.成员名 访问该值的字段或其他可用成员。类型检查决定访问是否合法。

product.price 使用 Product 的字段。Product.get(...) 则在形式上是先找到类成员，再调用；成员调用的形式不会自动为 Product 创建 get 方法，详见数据读取。

当一个表达式使用前一个调用的结果时，存在数据依赖：

第一次调用 → 结果绑定 → 使用该结果的第二次调用

inflight 必须在结果可用后使用它，不能将未就绪状态替换为伪造成功值。Preflight 检查表达式结构与类型，不能据此保证所有实际调用成功。

表达式是否带有业务修改效果，以及失败、等待与取消的表示方式，由调用语义定义。算术的组合顺序不自动确定所有调用参数的求值顺序。

变量保存对资源的引用，并可以在类型和作用域规则允许时改变引用目标。它可以引用数值、文本或媒体等基础常量，也可以引用函数、class、agent 及其可用实例。引用声明不会自动调用函数或创建实例。

下面是语义示意，不是赋值语法：

价格变量 → 数值常量 100
改变引用目标
价格变量 → 数值常量 90

图片变量 → 原图片资源
改变引用目标
图片变量 → 处理后产生的新图片资源

这里变化的是变量的目标，原数值和原图片内容没有被原地修改。多个变量引用同一常量时，一个变量改指新值不要求其他变量同时改变目标。

高级结构可以通过成员变量组织资源引用；实例状态的变化与基础内容的不可变性可以同时成立。实例整体的可变性、字段更新、引用别名和相等性仍需明确规则，不由“变量类似指针”推导出裸地址或指针算术。

变量的创建、使用和引用更新属于 inflight。类型与作用域的准备属于 Preflight；变量或实例不再需要时的回收，以及保存后如何删除，见生命周期。

可变变量的声明关键字、重新赋值、引用类型和 let 的可重绑性，见规范状态。本节确定引用模型，不补写尚未确认的赋值产生式。