在我的str子类中为“无法修改不可变的”工作？

Question

我有一个子类 Str 的类：

use Vimwiki::File::TextProcessingClasses;
unit class Vimwiki::File::ContentStr is Str;

method new(Str:D $string) {
    self.Str::new(value => $string);
}

# this method fails
method capitalize-headers() {
    self = Vimwiki::File::TextProcessingClasses::HeadlineCapitalizer.new.capitalize-headers(self);
}

问题是 capitalize-headers 方法失败，并出现 Cannot edit an immutable 错误，因为它是一个字符串。我可以避免这个问题的一种方法是简单地不子类化 Str 并为我想使用的 Str 方法编写包装器，如下所示：

unit class Vimwiki::File::ContentStr;

has Str $!content;

method uc() {
   $!content = $!content.uc; 
}

但这让我想知道是否不写对于这些包装器方法，Raku 中可能存在类似于 AUTOLOAD 的功能，因此如果方法不存在，则可能会默认在 $!content 属性上调用该不存在的方法。

这可能吗？或者是否有更干净的方法来解决不可变对象问题？

Answer 1

Str 类型是不可变的。当您编写时：

my $x = "string";
$x = "another string";

它可以工作，因为 $x 是一个 Scalar 容器。您没有更改 Str，只是安排 $x 引用不同的 Str。 Raku 标准库中的所有地方都依赖于 Str 是不可变的，因此即使您要以某种方式创建一个可变子类，您也不会过得很愉快！

除此之外，self 也始终是不可变的。您可以这样做：

class SubStr is Str {
    method capitalize-inplace($self is rw:) {
        $self .= uc
    }
}

并按如下方式使用它：

my $x = SubStr.new(value => "hi");
$x.capitalize-inplace;
say $x

这又是改变 Scalar 容器 $x 并放置一个新的 SubStr 实例将值 HI 写入其中。因此：

SubStr.new(value => "hi").capitalize-inplace

将会消亡：

Parameter '$self' expects a writable container (variable) as an
argument, but got 'hi' (SubStr) as a value without a container.
  in method capitalize-inplace at -e line 1
  in block <unit> at -e line 1

因此，如果您想要一个 Str 周围的可变包装器，您实际上必须使用组合，而不是继承。

但这让我想知道，Raku 中是否可能有类似 AUTOLOAD 之类的东西，而不是编写这些包装方法，这样如果方法不存在，则不存在的方法可能会默认在 $!content 属性上调用。

这就是FALLBACK 方法。 （还有handles特征 ，但这并不完全是你想要的，因为我想你希望保留包装。）

Answer 2

好的，这是完成工作的代码：

use Vimwiki::File::TextProcessingClasses;
unit class Vimwiki::File::ContentStr;

has Str $.content;

method FALLBACK ($name) {
    my $content = $!content;
    $content."$name"();
}

submethod BUILD (:$content) {
    $!content = $content;
};

method new( Str:D $content ) {
    self.bless( :$content );
}

method capitalize-headers() {
    $!content = Vimwiki::File::TextProcessingClasses::HeadlineCapitalizer.new.capitalize-headers($!content);
}