如何基于布尔值选择Perl 6方法/子方法？哪种实现更优？

在Perl 6类中，我们需要定义可被子类重写的哈希返回方法，同时支持测试场景下的替代哈希。要求实例化时test选项默认值为False，非测试场景无需显式指定。现有通过BUILD中三元判断的实现可满足需求，但尝试用多分派移除显式判断时遇到问题，同时对初始化顺序存在疑问。

1. 基于布尔值的多方法候选匹配实现 #

之前的写法无效，核心问题是where ! *的语法错误：这里的*是Whatever类型，!*等价于False，导致第二个候选永远无法匹配。正确的实现方式有两种：

方式一：直接匹配参数字面量 #

利用Perl 6多分派对字面量的原生匹配能力，直接指定test参数的布尔值：

class A {
  has %.tmps;
  submethod BUILD( :$test = False ) {
    %!tmps = self.get-tmps( :$test );
  }
  multi method get-tmps( :test(True) ) {
    # 返回测试用哈希
    return { key => 'test-value' };
  }
  multi method get-tmps( :test(False) ) {
    # 返回默认哈希
    return { key => 'default-value' };
  }
}

方式二：使用where从句判断参数值 #

通过where从句绑定参数值并进行布尔判断，$_代表当前参数的值：

class A {
  has %.tmps;
  submethod BUILD( :$test = False ) {
    %!tmps = self.get-tmps( :$test );
  }
  multi method get-tmps( :$test where { $_ } ) {
    # test为True时触发
    return { key => 'test-value' };
  }
  multi method get-tmps( :$test where { !$_ } ) {
    # test为False时触发
    return { key => 'default-value' };
  }
}

两种写法均能实现需求，第一种更直观简洁，第二种适合需要复杂判断的扩展场景。

2. 显式检查与多分派的优劣对比 #

显式检查（BUILD中三元判断）的优势 #

• 逻辑直观易懂：代码直接展现分支逻辑，可读性强，维护成本低
• 性能表现更优：避免多分派的候选匹配开销，在大量实例化对象时运行效率更高
• 编译时验证直接：分支逻辑在编译阶段即可被验证，减少运行时潜在错误

多分派的优势 #

• 扩展性更强：后续若需新增状态（如除True/False外的其他分支），只需添加新的多方法候选，无需修改原有分支逻辑
• 符合Perl 6惯用风格：利用语言特性简化代码结构，写法更优雅
• 子类重写更灵活：子类可针对性重写特定条件下的get-tmps实现，无需修改父类的分支逻辑

3. 属性初始化顺序写法的有效性分析 #

你提供的写法无效，根源在于Perl 6的属性初始化顺序规则：

1. 对象创建后，优先初始化所有属性的默认值（包括%.tmps）
2. 完成属性默认值初始化后，才会调用BUILD方法设置$!test

因此，当%.tmps = self.get-tmps( :$!test )执行时，$!test尚未被BUILD赋值，初始值为Any（而非False）。Any在布尔上下文中会触发类型错误，导致多分派候选无法匹配，最终抛出异常。

必须在BUILD中初始化%.tmps，才能确保$!test已被正确设置为默认值或传入的参数。

内容的提问来源于stack exchange，提问作者Richard Hainsworth