各种逻辑运算符不返回空字符串,它们在所有三种简单的标量类型中都返回 false 或 true 值。它看起来只是返回一个空字符串,因为 print 在其参数上强制使用字符串上下文:
#!/usr/bin/perl
use strict;
use warnings;
use Devel::Peek;
my $t = 5 > 4;
my $f = 5 < 4;
Dump $t;
Dump $f;
输出:
SV = PVNV(0x100802c20) at 0x100827348
REFCNT = 1
FLAGS = (PADMY,IOK,NOK,POK,pIOK,pNOK,pPOK)
IV = 1
NV = 1
PV = 0x100201e60 "1"\0
CUR = 1
LEN = 16
SV = PVNV(0x100802c40) at 0x100827360
REFCNT = 1
FLAGS = (PADMY,IOK,NOK,POK,pIOK,pNOK,pPOK)
IV = 0
NV = 0
PV = 0x100208ca0 ""\0
CUR = 0
LEN = 16
对于那些不熟悉 Perl 5 内部结构的人来说,PVNV 是一个标量结构,它包含所有三种简单的标量类型(整数 IV、双精度浮点 NV 和字符串 PV)。标志IOK、NOK 和POK 表示整数、双精度和字符串值都是同步的(对于同步的某些定义),因此可以使用它们中的任何一个(即不需要转换如果您将其用作整数、双精度或字符串,则发生)。
我假设为假字符串选择了空字符串,因为它更小并且比"0"更符合假字符串的想法。忽略我关于它更小的声明,"" 和 "1" 的大小相同:16 个字符。它在转储中这么说。 Perl 5 为字符串增加了额外的空间以允许它们快速增长。
哦,我讨厌你。在研究这个问题时,我发现我在perlopquick 撒谎,现在必须找到解决方法。如果你能像其他所有的羊一样,接受 Perl 5 表面上的怪异作为事实,我要做的工作就更少了。
编辑部分中问题的答案:
使用为真(例如“假”)的字符串作为假值的字符串表示会如何改变现有代码的含义?
关于 PL_sv_yes 和 PL_sv_no(比较运算符返回的标准真值和假值)的唯一特殊之处在于它们是只读的,并且是由perl 而不是正在运行的程序创建的。如果您更改它们,它不会更改真实性测试,因此设置为 "false" 的 PL_sv_no 将被视为 true。您甚至可以使用 perl 的未记录功能自己执行此操作(此代码在 Perl 5.18 和最新 Perl 之间的某个时间点停止工作):
#!/usr/bin/perl
use strict;
use warnings;
use Scalar::Util qw/dualvar/;
BEGIN {
# use the undocumented SvREADONLY function from Internals to
# modify a reference to PL_sv_no's readonly flag
# note the use of & to make the compiler not use SvREADONLY's
# prototype, yet another reason prototypes are bad and shouldn't
# be used
&Internals::SvREADONLY(\!!0, 0);
# set PL_sv_no to a dualvar containing 0 and "false"
${\!!0} = dualvar 0, "false";
}
if (5 < 4) {
print "oops\n";
}
输出
opps
这是因为真实性测试首先查看字符串。
我们是否可以说在这种更改之后更改语义的代码不如原本的稳健/正确?
它会直接坏掉。即使您将自己限制为将其设置为 int 0 或字符串“0”(两者都是错误的),它也会破坏一些有效的代码。
我猜字符串上下文在 Perl 中非常普遍,导致语义健全的唯一选择是布尔值在往返于字符串之间是否保持其值...
是的。