初始化

本文档记录变量、常量和初始化表达式规则。类型推导、默认初始化结果和聚合字面量规则见 type_system.md，结构体初始化见 struct.md。

变量声明

变量声明必须显式写初始化表达式：

let name: type = initializer;
let name = initializer;
let ref name = lvalue_initializer;
let (a, b) = tuple_initializer;
let ref (a, b) = tuple_lvalue_initializer;

规则：

• 显式类型存在时，初始化表达式必须能转换到声明类型。
• 省略类型时，变量类型从初始化表达式推导。
• ref 声明要求初始化表达式是左值，并推导为引用类型。
• 元组解构声明见 type_system.md 的元组操作章节。
• 不支持未初始化局部变量声明。

let count: i32 = 1;
let total = count + 2;

如果需要默认值，必须写默认初始化表达式：

let count = i32{};
let point = vec2{};

裸 {} 不表示默认初始化。它保留给块表达式。

常量声明

常量声明把 let 换成 const：

const name: type = initializer;
const name = initializer;
const ref name = lvalue_initializer;

这里的 const 是 binding const，表示这个名字绑定不可重新赋值：

const limit: i32 = 10;

binding const 和类型里的 target const 相互独立：

const p: i32 const* = value;

上例中：

• const p 表示 p 这个名字不能重新绑定。
• i32 const* 表示 p 最终指向的 i32 不可写。

裸 type const 不是合法类型。类型中的 const 必须跟随 * 或 & 使用，详见 type_system.md。

初始化表达式

初始化表达式可以是：

• 字面量。
• 名字。
• 函数调用。
• 类型转换。
• 数组或元组字面量。
• 结构体初始化。
• 默认初始化 Type{}。
• 块表达式。
• 返回上述值的其他表达式。

默认初始化表达式写作：

let count = i32{};
let ok = bool{};
let title = str{};
let values = [i32; 4]{};
let point = vec2{};

块表达式可以作为初始化表达式：

let value = {
    let base = 1;
    base + 2
};

如果块没有尾表达式，或者尾表达式后带分号，块表达式类型为内部 unit。块表达式规则见 struct.md。

标识符

标识符当前使用 ASCII 规则，整体与 C++ 接近。