各种逻辑运算符不返回空字符串,它们在所有三种简单的标量类型中都返回 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 内部结构的人来说,aPVNV
是一个标量结构,它包含所有三种简单的标量类型(整数IV
、双精度浮点数NV
和字符串PV
)。标志IOK
、NOK
和POK
表示整数、双精度和字符串值都是同步的(对于同步的某些定义),因此可以使用它们中的任何一个(即,如果将其用作整数,则无需进行转换、双精度或字符串)。
我假设为假字符串选择了空字符串,因为它比"0"
. 忽略我关于它更小的说法,两者""
大小"1"
相同:16 个字符。它在转储中这么说。Perl 5 为字符串增加了额外的空间以允许它们快速增长。
哦,我恨你。在研究这个问题时,我发现我撒了谎,perlopquick
现在必须找到一种方法来解决它。如果您像所有其他羊一样,只是接受 Perl 5 表面上的怪异作为事实,我要做的工作就会更少。
编辑部分中问题的答案:
使用真字符串(例如“假”)作为假值的字符串表示会如何改变现有代码的含义?
关于 PL_sv_yes 和 PL_sv_no(比较运算符返回的规范真假值)的唯一特殊之处在于它们是只读的,并且perl
不是由正在运行的程序创建的。如果您更改它们,它不会更改真实性测试,因此设置为的 PL_sv_no"false"
将被视为 true。您甚至可以使用以下未记录的功能自己执行此操作(此代码在 Perl 5.18 和最新 Perl 之间的某个时间点停止工作)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 中如此普遍,导致语义健全的唯一选择是布尔值是否在往返于字符串之间保持其值......
是的。