刘金雨

凡所有相，皆是虚妄，若见诸相非相，即见如来

用户操作

[留言] [发消息] [加为好友]

订阅我的博客

[编辑]passos的公告

[编辑]文章分类

存档

诡异的Perl ?: 运算符陷阱收藏

前几天写一个perl的脚本在:?运算符上遇到了一个很诡异的问题

$data->{$id}->{'total'} ?
$data->{$id}->{'ratio'} = sprintf("%.2f%%", 100 * $data->{$id}->{'succ'} / $data->{$id}->{'total'}) :
$data->{$id}->{'ratio'} = 'N/A';

我的本意是如果 $data->{$id}->{'total'} 未定义则不计算ratio,把ratio赋值为N/A. 这条语句等同于

if ( $data->{$id}->{'total'} ) {
$data->{$id}->{'ratio'} = sprintf("%.2f%%", 100 * $data->{$id}->{'succ'} / $data->{$id}->{'total'});
} else {
$data->{$id}->{'ratio'} = 'N/A';

可奇怪的是,当无论total是否有定义 ratio的结果居然都是N/A. 可后面if……else……的语句是没有问题的,真的是让我百思不得其解.
跑去查Perl的文档, 其中对于?:的运算符号的解释是
Ternary ``?:'' is the conditional operator, just as in C. It works much like an if-then-else. If the argument before the ? is true, the argument before the : is returned, otherwise the argument after the : is returned.

貌似是return the argument, 于是乎突然有了一个想法, 在前后都加上了括号……

$data->{$id}->{'total'} ?
( $data->{$id}->{'ratio'} = sprintf("%.2f%%", 100 * $data->{$id}->{'succ'} / $data->{$id}->{'total'}) ) :
( $data->{$id}->{'ratio'} = 'N/A' );

……居然就对了. 既然是return the argument, 我就又换了一种方式:

$data->{$id}->{'ratio'} = $data->{$id}->{'total'} ?
sprintf("%.2f%%", 100 * $data->{$id}->{'succ'} / $data->{$id}->{'total'}) :
'N/A';

虽然后面两种方式都可以理解, 那确实是一种正确的做法. 但为什么第一种方式的结果不对呢? 难道return the argument的意思就是不要在那里做赋值运算吗?

为了测试, 我又写了一个简单的小程序

1 #!/usr/bin/perl
2
3 use strict;
4
5 my $total = 1;
6 my $rval;
7
8 $total ?
9     $rval = $total :
10     $rval = 'N/A';
11
12 print $rval, "\n";
13
14 if ($total) {
15     $rval = $total;
16 } else {
17     $rval = 'N/A';
18 }
19
20 print $rval;

运行的结果显示, 无论第5行给$total赋什么值……包括1, "abc", "true", undef 等,执行的结果第一个print打印出来的都是N/A. 难道 $total? 不等价于 if ($total) 吗?

很偶然的情况下，发现了一个方法来验证perl在内部是怎么解析这些语句的方法：
perl -MO=Deparse,-p -e '$a ? $b=1 : $b=2;'

输出的结果很是出乎我的意料：
(($a ? ($b = 1) : $b) = 2);

现在情况很明显了，原来是运算符优先级的问题！Perl语言中，三元操作符:?优先级比赋值=要高，C语言里面＝的优先级比?:高，就不会出现这样的问题。这几乎是一个超出常识和习惯和特性，也是一个很容易陷入的陷阱。

解决的办法也很简单，写成 $a ? ($b=1) : ($b=2); 就好了。

这也进一步印证了那条编程法则：在复杂的操作符运算的时候，用括号来标识出各个运算的优先级，即使你认为你了解运算的顺序。

发表于 @ 2006年04月01日　15:54:00 | 评论( loading... ) | 编辑| 举报| 收藏