perl - 通用运算符重载

Question

我对 perl 有一个想法，并且正在尝试找出实现它的最佳方法。

这个想法是为每个运算符提供新版本，将未定义的值视为该操作的标识。例如：

$a = undef + 5;     # undef treated as 0, so $a = 5
$a = undef . "foo"; # undef treated as '', so $a = foo
$a = undef && 1;    # undef treated as false, $a = true

等等。

理想情况下，这将在语言中作为编译指示或其他东西。

use operators::awesome;

然而，如果我可以自己实现这个特殊的逻辑，然后在需要的地方调用它，我会很满意：

use My::Operators;

问题是，如果我在 My::Operators 中说“使用重载”，只会影响祝福到 My::Operators 中的对象。

所以问题是：有没有一种方法（使用“使用过载”或其他方式）来执行“通用运算符重载”——所有操作都会调用它，而不仅仅是对祝福标量的操作。

如果不是——谁会认为这是个好主意！？它会为我节省大量此类代码

if($object && $object{value} && $object{value} == 15)

replace with

if($object{value} == 15)  ## the special "is-equal-to" operator

Answer 1

这是可能。这需要做很多工作，但您可以编写一个“操作检查器”，用自定义操作替换 && 的操作，这是您对 && 的重新实现>。

但这将是一个非常糟糕的主意。对于初学者来说，

if ($a && $b) {
   ...
}

将不再等同于

if ($a) {
   if ($b) {
      ...
   }
}

以您自己的示例为例，

if ($object && $object{value} && $object{value} == 15) {
   ...
}

对于您所请求的模型，必须将其写为

if ($object{value}) { if ($object{value} == 15) {
   ...
}}

您实际上想要与您所要求的完全相反的内容。您实际上想要当前的行为。没有你的模块，你可以写：

if ($object{value} && $object{value} == 15) {
   ...
}

或

no warnings 'uninitialized';
if ($object{value} == 15) {
   ...
}

或

if (($object{value} // 0) == 15) {
   ...
}

Answer 2

正如暴民所说，你的编译指示已经存在。它的拼写是no warnings 'uninitialized';。 Perl 已经将 undef 视为 0 或空字符串（取决于上下文）。这只会抑制您通常收到的警告（假设您打开了警告，这是您应该打开的）。

如果您想创建一个自动执行此操作的包，您可以：

package operators::awesome;

use strict;
use warnings;

sub import {
  warnings->unimport('uninitialized');
}

现在 use Operator::awesome; 将关闭有关未初始化值的警告。

这是 import 的一个更高级的版本，它打开严格和警告，但关闭有关未初始化值的警告：

sub import {
  strict->import;
  warnings->import;
  warnings->unimport('uninitialized');
}

Answer 3

所有这些操作都已按照您期望的方式工作：

• 在数字上下文中，undef 是 0。
• 在字符串上下文中，undef 是空字符串 ''。
• 在布尔值上下文中，undef 是 0。

如果您使用警告，那么 Perl 会让您知道该值尚未初始化，但它仍然可以正常工作。