属性是仓颉颉中一种强大的机制，它允许你封装对类（或接口interface、结构体struct、枚举enum、扩展extend）内部状态的访问。它看起来像一个普通的成员变量（字段），但在其背后，它通过 getter 和可选的 setter 方法来控制如何读取和修改实际的数据。

语法结构

class ClassName {
    [modifiers] [mut] prop propertyName: PropertyType {
        get() {
            // ... 计算或返回值的代码 ...
            return expression
        }
        [set(valueParameterName) { // 'mut' 属性必须包含 setter
            // ... 处理赋值 (通常是更新内部存储) 的代码 ...
        }]
    }
}

• prop: 关键字，声明这是一个属性。
• propertyName: 属性的名称。
• PropertyType: 属性的数据类型 (如 Int64, String)。
• get() { ... }: 必需。定义属性的读取器（getter）。函数体返回类型为 PropertyType 的值。
• set(value) { ... }: 可选。定义属性的设置器（setter）。value 形参接收赋值操作 (=) 右边的值，类型也是 PropertyType。
• mut: 修饰符。表示该属性是可变的 (mutable)。只有声明了 mut 的属性才能（也必须）定义 setter。 没有 mut 的属性是只读的，只能定义 getter。

访问行为

• 读取 (obj.propertyName): 触发 getter 函数的执行。getter 的返回值就是该表达式的值。
• 写入 (obj.propertyName = newValue): 触发 setter 函数的执行。newValue 作为实参传递给 setter 的形参 (value 或自定义名称)。这要求属性必须声明为 mut 且有对应的 setter。

内部实现

• 属性本身不存储值。它通过 getter 和 setter 操作类内部真正的存储变量（通常是 private var）。
• getter 的函数签名是 () -> PropertyType。当使用该属性作为表达式时会执行 getter 函数。
• setter 的函数签名是 (PropertyType) -> Unit (不返回有效值)。形参名需要显式指定，当对该属性赋值时会执行 setter 函数。
• 重要警告： 在 getter 或 setter 内部直接访问该属性本身 (propertyName)，会再次触发相应的 getter 或 setter，导致递归调用，通常会造成栈溢出错误 (Stack Overflow)。务必访问内部存储变量（如 a 或 j），而不是属性名 (b 或 i)。

修饰符(可以应用在 prop 前面的修饰符)

• 访问控制： public, protected, private (控制属性可见性)。
• 面向对象： open (允许被子类覆盖)， override (覆盖父类属性)， redef (重定义父类属性)。
• 静态： static (定义静态属性，通过类名访问)。
• 覆盖规则： 子类覆盖父类属性时，如果父类属性有 mut，子类属性也必须有 mut，且类型必须一致。

抽象属性

• 可以在 interface 和 abstract class 中声明没有实现的属性 (prop a: Type; / mut prop b: Type;)。
• 实现接口的非抽象类或继承抽象类的非抽象子类，必须提供这些属性的具体实现（包含 getter，如果是 mut 属性还需 setter）。
• 优势：接口/抽象类可以约定实现类必须提供某种“数据”的访问方式，语法比约定 getX()/setX() 方法更简洁直观。