型

定义类：字段、方法与构造的集合。

型 猫 {
    设 名字
    函 造(名) { 此.名字 = 名 }
    函 叫() { 示("#{此.名字} 在喵喵叫~") }
}

设 c = 造 猫("小花")
c.叫()

你可以……

• 声明带类型标注的字段——可加可空修饰 ?：

型 节点 {
    设 名称: 字
    设 子: 节点?
}

• 定义方法——方法内用 此 访问实例，可标注返回类型：

型 计数器 {
    设 次数 = 0
    函 加一(): 整 {
        此.次数 = 此.次数 + 1
        返 此.次数
    }
}

• 定义泛型类——类名后加 <T>，实例化时传入具体类型：

型 盒子<T> {
    设 内容: T
    函 造(x: T) { 此.内容 = x }
}
设 整盒 = 造 盒子<整>(123)

注意

• 型体只解析成员声明（设/函/弱 设/覆 函）；误写进去的普通语句会被跳过，不会执行。
• 成员默认是 公，要限制访问须显式写 私 或 护。
• 构造方法固定叫 造，其他名字只是普通方法。

相关

造 · 承 · 此 · 口