11

我的 Perl 5.26.2 x64 (Cygwin) 的经验行为是，当且仅当其字符串部分为真时，对偶变量为真：

# Falsy number, truthy string => truthy
$ perl -MScalar::Util=dualvar -E 'my $v=dualvar 0, "foo"; say "yes" if $v'
yes

# Truthy number, falsy string => falsy
$ perl -MScalar::Util=dualvar -E 'my $v=dualvar 1, ""; say "yes" if $v'

# Truthy number, truthy string => truthy
$ perl -MScalar::Util=dualvar -E 'my $v=dualvar 1, "foo"; say "yes" if $v'
yes

# Falsy number, falsy string => falsy
$ perl -MScalar::Util=dualvar -E 'my $v=dualvar 0, ""; say "yes" if $v'

自 2009 年以来就是这种情况。

问题：这是有保证的行为吗？

  • Boolean::String说这是行为。但是，就向后兼容性而言，我不知道这是否是我可以依赖的。我也没有在perlsyn、Scalar::Util或中看到明确的声明perldata#Context。

  • 我确实看到以下内容perldata#Scalar-values：

    如果标量值未定义、空字符串或数字 0（或其等效字符串“0”），则标量值在布尔意义上被解释为 FALSE，如果是其他值，则被解释为 TRUE。布尔上下文只是一种特殊的标量上下文，不会执行到字符串或数字的转换。

    不幸的是，“从未执行任何转换......”的声明并没有告诉我解释器正在查看的 dualvar 的哪个部分！

  • 同样，查斯。欧文斯的相关回答说

    真实性测试首先查看字符串

    但是，如果它首先查看字符串，那么它会查看什么，以及何时查看？

编辑我的理解是，如果overload在变量上定义，dualvar 与否，bool重载将控制。我想知道非重载案例。

Edit 2 ikegami's answer here指出了这一点，PL_sv_yes并且PL_sv_no 还有一个NV( double) 组件。对于奖励积分:)，如果双变量有 NV 对真实性有任何影响吗？（让我知道这个答案是否真的涉及到足以值得一个单独的问题。）

4

2 回答 2

7

是的，至少到目前为止。该SvTRUE_common宏通常用于确定SV布尔上下文中的“真”位置。下面是它sv.h在 perl 5.26.1 源代码中的定义：

#define SvTRUE_common(sv,fallback) (            \
      !SvOK(sv)                     \
    ? 0                     \
    : SvPOK(sv)                     \
    ? SvPVXtrue(sv)                 \
    : (SvFLAGS(sv) & (SVf_IOK|SVf_NOK))         \
    ? (   (SvIOK(sv) && SvIVX(sv) != 0)     \
       || (SvNOK(sv) && SvNVX(sv) != 0.0))      \
    : (fallback))

在标量通过SvOK测试（是否已定义）之后，下一个检查是SvPOK——标量是否具有有效的内部字符串表示。Dualvars 总是通过这个检查，所以对 dualvar 的布尔测试是它的字符串表示是否为真（SvPVXtrue(...)）。

perl 5.6.2 中的代码不同

I32
Perl_sv_true(pTHX_ register SV *sv)
{
    if (!sv)
        return 0;
    if (SvPOK(sv)) {
        register XPV* tXpv;
        if ((tXpv = (XPV*)SvANY(sv)) &&
                (tXpv->xpv_cur > 1 ||
                (tXpv->xpv_cur && *tXpv->xpv_pv != '0')))
            return 1;
        else
            return 0;
    }
    else {
        ...

但逻辑是一样的——先检查SvPOK，然后返回字符串表示是否不为空且不等于"0"。

我认为未来几代 Perl 开发人员会警惕改变这种长期存在的逻辑。

于 2019-01-02T22:37:12.587 回答
2

问题：这是有保证的行为吗？

这归结为如何在布尔上下文中测试标量，作为字符串还是数字？

在 Perl 中，文档是最接近标准的东西。因此，如果文档中没有声明，那么正式的答案必须是：不，这不是“保证行为”。

由于文档非常接近几次，讨论了上下文和转换，但没有具体说明完成了哪个测试，我想说这确实必须被视为一个实现细节。你不能“依赖”它。

如果需要严格的可靠性，一个解决方案是一个简单的类，可以确保测试你需要的东西。

用更实际的术语来说，它似乎if ($v)是被测试的字符串部分，如果它不存在，则进行数字测试（没有文档所说的实际转换）。当您询问已设置为 dualvar 的变量时，对于那些将成为字符串测试的变量。

于 2019-01-02T20:36:38.030 回答