类与继承

Aria 支持基于类的面向对象编程。采用单继承模型，没有接口、抽象类或访问修饰符。

类声明

使用 class 关键字声明类。类体内使用 var.xxx / val.xxx 声明字段，使用 name = -> { ... } 声明方法：

class Point {
    var.x = 0
    var.y = 0
}

字段声明

类体内的 var.name = value 与 val.name = value 都声明实例字段，两者语义等价 （val 字段同样可以在实例上修改——历史上 val 表示”不可变”，为兼容 Shimmer 语义已不再附带只读约束）。注意这与普通脚本中”val. 写入被静默忽略”不同： 类体内的 val.x 是字段声明语法，正常生效。

字段声明时可以指定默认值：

class Config {
    var.host = 'localhost'
    var.port = 8080
    val.version = '1.0'
}

cfg = Config()
print(cfg.host)       // localhost
print(cfg.version)    // 1.0

构造函数

构造函数使用 new = -> { ... } 语法定义。参数通过 args 数组访问：

class Point {
    var.x = 0
    var.y = 0
    new = -> {
        self.x = args[0]
        self.y = args[1]
    }
}

p = Point(10, 20)
print(p.x + p.y)    // 30.0

方法声明

方法使用 name = -> { ... } 语法定义。方法参数同样通过 args 数组访问：

class Calculator {
    add = -> {
        return args[0] + args[1]
    }
    mul = -> {
        return args[0] * args[1]
    }
}

calc = Calculator()
print(calc.add(3, 4) + calc.mul(5, 6))    // 37.0

self 关键字

在方法和构造函数中，使用 self 引用当前实例。通过 self.fieldName 访问或修改实例字段：

class Counter {
    var.count = 0
    increment = -> {
        self.count = self.count + 1
    }
}

c = Counter()
c.increment()
c.increment()
c.increment()
print(c.count)    // 3.0

实例化

使用 ClassName(args) 创建类的实例：

class Box {
    var.value = 0
    new = -> {
        self.value = args[0]
    }
}

a = Box(10)
b = Box(20)
print(a.value + b.value)    // 30.0

每个实例拥有独立的字段副本，互不影响。

继承

使用 extends 关键字实现单继承。子类继承父类的所有字段和方法：

class Animal {
    var.name = 'unknown'
    new = -> {
        self.name = args[0]
    }
    speak = -> {
        return self.name + ' says hello'
    }
}

class Dog extends Animal {
    var.breed = 'unknown'
    new = -> {
        self.name = args[0]
        self.breed = args[1]
    }
    speak = -> {
        return self.name + ' barks!'
    }
}

dog = Dog('Rex', 'Labrador')
print(dog.speak())     // Rex barks!
print(dog.name)        // Rex
print(dog.breed)       // Labrador

子类可以访问从父类继承的字段：

class Animal {
    var.name = 'unknown'
    new = -> {
        self.name = args[0]
    }
}

class Dog extends Animal {
    var.breed = 'mutt'
    new = -> {
        self.name = args[0]
        self.breed = args[1]
    }
}

dog = Dog('Rex', 'Labrador')
print(dog.name + ' ' + dog.breed)    // Rex Labrador

super 调用

在子类构造函数中，使用 super(args) 调用父类构造函数：

class Animal {
    var.name = 'unknown'
    val.type = 'animal'
    var.age = 0

    new = -> {
        self.name = args[0]
        self.age = args[1]
    }

    speak = -> {
        return self.name + ' says hello'
    }
}

class Dog extends Animal {
    var.breed = 'unknown'

    new = -> {
        super(args[0], args[1])
        self.breed = args[2]
    }

    speak = -> {
        return self.name + ' barks!'
    }
}

dog = Dog('Rex', 3, 'Labrador')
print(dog.speak())    // Rex barks!
print(dog.name)       // Rex

super 方法调用

子类可以通过 super.methodName() 调用父类的方法：

class Animal {
    var.name = 'unknown'
    new = -> { self.name = args[0] }
    describe = -> { return self.name + ' is an animal' }
}

class Dog extends Animal {
    new = -> { self.name = args[0] }
    describe = -> { return super.describe() + ' (dog)' }
}

d = Dog('Rex')
print(d.describe())  // Rex is an animal (dog)

完整示例

// 定义基类
class Shape {
    var.color = 'black'

    new = -> {
        self.color = args[0]
    }

    area = -> {
        return 0
    }

    describe = -> {
        return self.color + ' shape, area = ' + self.area()
    }
}

// 定义子类
class Circle extends Shape {
    var.radius = 0

    new = -> {
        super(args[0])
        self.radius = args[1]
    }

    area = -> {
        return 3.14159 * self.radius * self.radius
    }
}

class Rectangle extends Shape {
    var.width = 0
    var.height = 0

    new = -> {
        super(args[0])
        self.width = args[1]
        self.height = args[2]
    }

    area = -> {
        return self.width * self.height
    }
}

// 使用
c = Circle('red', 5)
r = Rectangle('blue', 4, 6)

print(c.describe())    // red shape, area = 78.53975
print(r.describe())    // blue shape, area = 24.0
print(c.radius)        // 5.0