重载 – 在Perl 6中使用自定义散列函数设置/散列

对于像Str和Int这样的值类型,您可以拥有多个实例,这些实例就像它们是完全相同的值一样.因此42和40 2就好像它们是完全相同的实例,即使它们不是.

这样可行：

my %h{Any}; # defaults to Str keys

%h{'abc'} = 42;

my ($a,$b,$c) = 'a','b','c';

say %h{"$a $b $c"}; # 42

%h{42} = 'The answer';

say %h{"42"}; # (Any)
say %h{42}; # The answer

实际上并没有一种设施可以使几个不同的值假装为Hash的相同值.

'abc' === 'cba'; # False

'abc'.WHICH eq 'cba'.WHICH; # basically how the above works

我认为你要求的是一个不应该添加的功能.

有一种WHICH方法,它只能用于使整个语言中的两个值相同.

say 42.WHICH.perl;       # ValueObjAt.new("Int|42")
say (40 + 2).WHICH.perl; # ValueObjAt.new("Int|42")
42 === (40 + 2);         # True

say Hash.new.WHICH.perl; # ObjAt.new("Hash|94014087733456")
say Hash.new.WHICH.perl; # ObjAt.new("Hash|94014087735232")

请注意,对于Hash.new,它们不匹配,因为它们是可以随时间变化的不同实例.

作为一个例子,这是一件好事.假设你有两个名叫’Bob’的员工.

my $a = Employee.new( name => 'Bob' );
my $b = Employee.new( name => 'Bob' );

my %salary{Employee};

%salary{$a} = 1200; # arbitrary number for an example
%salary{$b} = 2000;

请注意,通过覆盖WHICH方法,您最终可能会意外地给Bob $加注.

基本上,除非你确切地知道自己在做什么,否则你可能不是一个好主意.WHICH你有一个非常好的理由.

所以你不能/不应该这样做.至少不是你想要的方式.

而是创建一个新的Associative类,它以您想要的方式工作.

role Custom-Str-Hasher {
  method hashed ( --> Str:D ){…}
}

class Custom-SetHash is SetHash {
  multi method AT-KEY ( Custom-Str-Hasher:D $key ) is rw {
    self.AT-KEY( $key.hashed() ); # call base class's method
  }
}


class Foo does Custom-Str-Hasher {
  has Str:D $.Str is required;

  # required by the Custom-Str-Hasher role
  method hashed ( --> Str:D ){
    $!Str.comb(/w/).unique.sort.join;
    # 'b cb a' → 'abc' and 'aaababcccba' → 'abc'
  }
}

my $a = Foo.new(:Str('b cb a'));
my $b = Foo.new(:Str('aaababcccba'));

my %h is Custom-SetHash; # use a different class than the default

%h{$a} = True;
say %h{$b}; # True;

put $a; # b cb a
put $b; # aaababcccba

请注意,上面只是一个简单的例子,我会为一个真实的例子改变一些东西.首先,％h {‘abc’}也会返回True,因为我实现了AT-KEY方法.它也缺少像ASSIGN-KEY和DELETE-KEY这样的方法.