属性 get/let

本章导读

字段是"存什么"，方法是"做什么"，属性站在中间：语法上像字段（c.area、p.hp = 42），执行上像方法（读取跑 get、写入跑 let）。它的两个经典用途：计算属性——面积、模长这类"从其他字段推出、不值得存"的值；受控写入——血量不能为负、年龄不能倒退这类"写之前先校验"的约束。xlang 的属性还支持维度参数（m.value[1]、g.at[2, 4]）和 virtual/override 多态，本章把声明形态、读写组合、索引回退规则逐一实测，并给出字段/属性/方法的选型准则。

23.1 计算属性 get

get 名字() as 类型 声明一个只读计算属性，访问时不加括号：

class Circle
  float r = 2.0
  get area() as float
    return 3.14159 * self.r * self.r
  end
end
auto c = Circle()
println(c.area)   // 12.56636：像读字段，实际跑了一遍计算
c.r = 3.0
println(c.area)   // 28.27431：每次访问重新求值

每次访问都执行 get 体——没有缓存。用副作用探针实测：get 里给计数字段 +1，读两次 c.tick，计数变成 2。这意味着 get 里写重逻辑要掂量成本；也意味着 get 永远返回最新值，不存在"存下来的面积忘了更新"的问题。

23.2 可写属性 let

let 名字(类型 v) 给属性加写入通道，校验逻辑就放在这里：

class Player
  private int hpValue = 100
  get hp() as int
    return self.hpValue
  end
  let hp(int v)
    if v < 0 then
      self.hpValue = 0      // 写入校验：血量不为负
    else
      self.hpValue = v
    end
  end
end
auto p = Player()
println(p.hp)   // 100
p.hp = 42
println(p.hp)   // 42
p.hp = -5
println(p.hp)   // 0：被 let 拦下修正

三种组合与对应诊断（实测）：

• 只读（只有 get）：写入报 [sem] class property assignment requires matching let。
• 只写（只有 let）：读取报 [sem] unknown class/union field——与 private 方法同款"查无此名"文案。
• 读写（get + let）：同签名下 let 的末参类型须与 get 返回类型兼容。

private 字段 + public 属性是封装的进阶版：第 21 章用 reveal()/check() 方法做的事，属性用字段语法就做到了，还多了一层写入校验。

23.3 带维度参数的属性

get/let 可以带维度参数，访问形态从点号变成方括号——属性就此变成"索引外观"：

class Matrix
  array<int> cells = [10, 20, 30]
  get value(int idx) as int
    return self.cells[idx]
  end
  let value(int idx, int v)   // let 末参固定是写入值
    self.cells[idx] = v
  end
end
auto m = Matrix()
println(m.value[1])   // 20：方括号形态
m.value[1] = 99
println(m.value[1])   // 99

注意访问语法是 m.value[1] 而非 m.value(1)——维度属性不是方法，圆括号调用报 [sem] unknown class/union field（坑 3）。同一名字的零维属性与维度属性可以共存（23.7 的回退规则由此展开）。

23.4 多维属性

维度可以不止一个，let 的最后一个参数固定是写入值，前面都是维度：

class Grid
  int base = 10
  get at(int x, int y) as int
    return self.base + x * 10 + y
  end
  let at(int x, int y, int v)   // x、y 是维度，v 是写入值
    self.base = v + x * 10 + y
  end
end
auto g = Grid()
println(g.at[2, 4])   // 34：10 + 20 + 4
g.at[2, 4] = 5
println(g.base)      // 29：5 + 20 + 4

约束（设计文档明确、实测印证）：维度参数只支持位置参数；.../*** 可变参数报 [sem] property parameters cannot be vararg；同名不同维度数的属性算重载（get at(x) 与 get at(x, y) 可共存）。

23.5 virtual 属性与多态

属性和方法一样参与 virtual/override 体系，读写两侧独立派发：

class Entity
  int baseValue = 1
  virtual get prop() as int
    return 10
  end
  virtual let prop(int value)
    self.baseValue = value
  end
end
class Player extends Entity
  int bonus = 5
  override get prop() as int
    return 70
  end
  override let prop(int value)
    self.bonus = value
  end
end
Entity e = Player()
println(e.prop)   // 70：读派发到 Player 的 get
e.prop = 9          // 写派发到 Player 的 let
Player p = e as Player
println(p.bonus)  // 9

第 22 章的规则原样适用：覆盖必须 override、目标必须 virtual、签名必须精确。属性因此可以进入类的"契约"——父类定义"每个实体都有 prop"，子类各自实现存储方式。

23.6 复合赋值与求值次数

读写双全的属性支持 +=、-= 等复合赋值，语义是"get 一次、let 一次"：

auto p = Player()
p.hp = 10
p.hp += 5     // 等价 p.hp = p.hp + 5：先 get 后 let
println(p.hp)  // 15
p.hp -= 3
println(p.hp)  // 12

维度属性的复合赋值有一个关键保证（官方测试用例锁定）：索引表达式只求值一次——p.hp[propertyIndex(2)] += 5 里 propertyIndex 只被调用一次，不会像朴素展开那样求值两遍。用计数函数验证过：一次复合赋值，调用计数恰好 +1。

23.7 索引歧义与回退

obj.prop[i] 有两种可能的含义，解析顺序实测如下：

• 维度属性优先——存在 get prop(int) 时，obj.prop[1] 走维度属性。
• 否则回退——只有零维属性且它返回 array/list/dict/class 时，obj.prop[1] 等价 (obj.prop)[1]，索引的是属性的返回值。

class Team
  array<string> data = ["a", "b"]
  get names() as array<string>
    return self.data
  end
end
auto t = Team()
println(t.names[1])   // b：无维度属性，回退为 (t.names)[1]

设计文档还给了 (obj.prop)[i] 强制索引返回值的写法，但实测在维度属性存在时它仍走维度属性（应索引返回值却返回了维度结果）——这条强制通道 RC0 尚未生效，记为待修空白；需要索引返回值时，先把属性赋给局部变量再取下标即可。

23.8 字段/属性/方法选型

三者的边界由两个问题决定：要不要逻辑？要不要参数？

经验法则：名词用属性，动词用方法——area、length、hp 是名词（对象的某种"值"），draw、save、attack 是动词（对象做的"事"）。计算昂贵又无参数时，宁可在 get 里缓存到字段（自己管失效），也别让每次访问跑重活。

深入细节

⚠️ 常见错误

以下报错全部来自真实编译器输出（文件路径已缩短）。

本章小结

复习题

编程练习