返回布尔值的 Perl 函数实际上返回什么

Question

Perl defined 函数（以及许多其他函数）返回“布尔值”。

鉴于 Perl 实际上没有布尔类型（并且使用像 1 这样的值来表示 true，以及 0 或 undef for false) Perl 语言是否准确指定布尔值返回的内容？例如，defined(undef) 会返回 0 还是 undef，是否会发生变化？

Answer 1

在几乎所有情况下（即除非有理由不这样做），Perl 返回两个静态分配的标量之一：&PL_sv_yes（为真）和&PL_sv_no（为假）。这是他们的详细信息：

>perl -MDevel::Peek -e"Dump 1==1"
SV = PVNV(0x749be4) at 0x3180b8
  REFCNT = 2147483644
  FLAGS = (PADTMP,IOK,NOK,POK,READONLY,pIOK,pNOK,pPOK)
  IV = 1
  NV = 1
  PV = 0x742dfc "1"\0
  CUR = 1
  LEN = 12

>perl -MDevel::Peek -e"Dump 1==0"
SV = PVNV(0x7e9bcc) at 0x4980a8
  REFCNT = 2147483647
  FLAGS = (PADTMP,IOK,NOK,POK,READONLY,pIOK,pNOK,pPOK)
  IV = 0
  NV = 0
  PV = 0x7e3f0c ""\0
  CUR = 0
  LEN = 12

yes 是一个三元组（IOK、NOK 和 POK）。它包含一个等于 1 的有符号整数 (IV)、一个等于 1 的浮点数 (NV) 和一个等于 1 的字符串 (PV)。

no 也是一个三元组（IOK、NOK 和 POK）。它包含一个等于 0 的有符号整数 (IV)、一个等于 0 的浮点数 (NV) 和一个空字符串 (PV)。这意味着它字符串化为空字符串，并且它被数字化为0。它既不等同于空字符串

>perl -wE"say 0+(1==0);"
0

>perl -wE"say 0+'';"
Argument "" isn't numeric in addition (+) at -e line 1.
0

也不是0

>perl -wE"say ''.(1==0);"


>perl -wE"say ''.0;"
0

不能保证这种情况会一直存在。而且没有理由依赖这一点。如果你需要特定的值，你可以使用类似的东西

my $formatted = $result ? '1' : '0';

Answer 2

它们返回一个特殊的 false 值，在字符串上下文中为 ""，但在数字上下文中为 0（没有非数字警告）。真正的价值不是那么特别，因为它在任何一种情况下都是 1。 defined() not 返回 undef。

（您可以自己创建类似的值，例如Scalar::Util::dualvar(0,"")。）

Answer 3

因为那是官方手册页，我想说它的确切返回值没有指定。如果 Perl 文档谈论布尔值，那么它几乎总是谈论在布尔上下文中评估所述值：if (defined ...) 或 print while <> 等。在这样的上下文中，几个值评估为假：0、undef , ""（空字符串），甚至等于 "0" 的字符串。

所有其他值在布尔上下文中计算为真，包括臭名昭著的例子"0 but true"。

由于文档含糊不清，我永远不会依赖 defined() 为未定义的情况返回任何特定值。但是，如果您只是在布尔上下文中使用 defined() 而不将其与特定值进行比较，那么您总是可以的。

好的：print "yes\n" if defined($var)

不可移植/面向未来：print "yes\n" if defined($var) eq '' 或类似的东西

Answer 4

它可能永远不会改变，但 perl 没有指定 defined(...) 返回的确切布尔值。

当使用布尔值时，好的代码不应依赖于用于 true 和 false 的实际值。

例子：

# not so great code:
my $bool = 0;   #
...
if (some condition) {
  $bool = 1;
}

if ($bool == 1) { ... }

# better code:
my $bool;       # default value is undef which is false

$bool = some condition;

if ($bool) { ... }

99.9% 的时间没有理由关心用于布尔值的值。 也就是说，在某些情况下，最好使用显式 0 或 1 而不是值的布尔值。示例：

sub foo {
    my $object = shift;
    ...
    my $bool = $object;
    ...
    return $bool;
}

意图是使用引用或undef 调用foo()，如果未定义$object，则应返回false。问题是如果$object 被定义foo() 将返回对象本身并因此创建对该对象的另一个引用，这可能会干扰其垃圾收集。所以在这里最好使用显式的布尔值，即：

  my $bool = $object ? 1 : 0;

因此，在使用引用本身来表示其真实性（即其定义性）时要小心，因为可能会创建对引用的不需要的引用。