SModel

SModel（语义建模）为Rust提供了一种使用动态分派和层次定义（通过允许循环引用的内存池）来描述语言语义符号的便捷方式。

定义顺序

定义顺序很重要。使用 struct 关键字在继承的数据类型之后定义子类型。

如果您以任何顺序定义 struct，则可能会导致宏终止的错误，提示未找到。

示例

最基本的数据类型是最先出现的。您可以根据个人喜好命名它。通常可以称为 symbol 或 thingy（根据Microsoft Roslyn的一位工程师，symbol 应该被称为 thingy）。

use hydroperfox_smodel::smodel;

smodel! {
    type Arena = Arena;

    struct Thingy {
        let x: f64 = 0.0;
        let ref y: String = "".into();

        pub fn Thingy() {
            super();
            println!("{}", self.m());
        }

        pub fn m(&self) -> String {
            "".into()
        }

        pub fn m1(&self) {
            println!("base");
        }
    }

    struct Foo: Thingy {
        pub fn Foo() {
            super();
        }

        pub override fn m(&self) -> String {
            "Foo".into()
        }

        pub override fn m1(&self) {
            if true {
                super.m1();
            }
        }
    }
}

fn main() {
    let arena = Arena::new();
    let thingy = Foo::new(&arena);
    println!("{}", thingy.m());
}

内存池

内存池的名称定义为第一个 type Arena = ArenaName1; 指令的右侧。

#[inheritdoc]
pub override fn m(&self) {
    // Action
}