rakulang, dartlang, nimlang, golang, rustlang, lang lang no see

Raku 中的 Role

焉知非鱼

Roles in Raku

  • Composition and mix-ins
  • Sigils
  • Typed data structures
  • Traits

所以到底什么是 role 呢? role 是零个或多个方法和属性的集合。

role 不像 class,它不能被实例化(如果你尝试了,会生成一个 class)。Raku 中 Classes 是可变的,而 roles 是不可变的。

申明 Roles 就像申明 Class 一样 #

使用关键字 role 来引入 role, 在 role 中声明属性和方法就像在 Raku 的类中声明属性和方法那样。

role DebugLog {
    has @.log_lines;
    has $.log_size is rw = 100;

    method log_message($message) {
        @!log_lines.shift if
        @!log_lines.elems >= $!log_size;
        @!log_lines.push($message);
    }
}

Role Composition #

  • 使用 does trait 将 role 组合到 Class 中:
class WebCrawler does DebugLog {
    ...
}
  • 这会把方法和属性添加到 class WebCrawler 里面去。
  • 结果就像它们起初被写到 class 中一样。

Mix-ins #

  • 允许 role 的功能被添加到每个对象的根上
  • 不影响其它的类实例
  • role 中的方法总是覆盖对象中已经存在的方法

Mix-ins Example #

  • 假设我们想跟踪某个对象发生了什么
  • Mix in the DebugLog role
$acount does DebugLog;
  • 然后, 我们可以输出被登记的行
$account.log_lines».say;
  • 现在我们只需给 log_message 方法添加调用
  • 我们可以使用 .? 操作符, 这会调用某个方法, 如果方法存在的话
class Account {
    method change_password($new) {
        self.?log_message(
            "changing password to $new";
        )
        ...
    }
}

Sigil = 接口协定 #

  • 在 Raku 中, 符号表明接口协定
  • 这个接口协定由 role 定义
  • 你可以只把东西放在带有符号的变量中, 如果该变量遵守(does)了要求的 role 的话
  • 例外: 带有 $ 的变量可以存储任何东西(如果没有使用类型约束的话)

@ = Positional #

  • @ 符号表明它是一个 Positional role
  • 保证会有一个方法后环缀让你能调用
  • This is that gets called when you do an index positionally into something
say @fact[1];
say @fact.postcircumfix:<[ ]>(1);
  • 注意: 优化器(如果有的话)可能发出更轻量级的东西

% = Associative #

  • % 表明它是一个关联型(Associative)的 role
  • 要有一个方法后环缀 postcircumfix:<{}> 让你调用
  • This is that gets called when you do an index associatively into something
say %price<Cheese>;
say %price.postcircumfix:<{ }>('Cheese');

& = Callable #

  • & 表明它是一个 Callable 的 role
  • 东西要能被调用
  • 这个 role 被诸如 BlockSubMethod之类的东西遵守
  • 要求实现后环缀 postcircumfix:<()>

使用带有 block 的 class 关键字引入一个类:

class Puppy {
    ...
}

或使用

class Puppy;
...

1;

把类相关的东西单独写进一个文件

Role 也可以被初始化 #

role BarChart {
    has Int @.bar-values;
    has $.b is rw;

    method plot {
        say @.bar-values;
    }
}

my $chart = BarChart.new(bar-values => [1,2,3], b => "Camelia");

say $chart.b;
say $chart.bar-values;
$chart.b = "Rakudo";
say $chart.b;
say BarChart.^methods;

如果你初始化了 role, 那么它就变为类了。