perl中的上下文

在perl中,很多地方会切换上下文。所谓上下文,它的重点在于同一个表达式出现在不同地方,得到的结果不同。换句话说,同一个表达式,它表达的值不是固定的。这就像是同一个单词,在不同语境下的意思不同。

例如,运算操作符决定数值是一个数字还是一个字符串。

1
2
2 * 3
2 x 3

2 * 3中的2和3都是数值,因为操作符*是算术运算符,它要求两边都是数字。而2 x 3中的2是字符串,3是数字,因为操作符x是这样要求的。

还有,对数组@arr的两种操作:

1
2
3
@arr=qw{perl,python,shell};
print @arr,"\n"; # 返回:perlpythonshell
print @arr."\n"; # 返回:3

使用逗号分隔@arr\n是产生一个列表,这时的@arr会替换为该数组中的元素值。使用点号连接@arr\n,这时点号要求两边的都是字符串,数组在这种环境下(标量上下文)返回的是它的元素个数,所以@arr返回一个数值(但其实是字符串)。

在perl解析表达式的时候,你要么希望它返回一个标量,要么希望它返回一个列表(其实还有很多种上下文,但至今无人知晓有多少种上下文,perl长老团也不知道)。所以perl中常见的两种上下文是:标量上下文和列表上下文,除此之外还有一个很常见的上下文类型:空上下文(void context)。

  1. 标量上下文:表达式在标量上下文中返回一个标量
  2. 列表上下文:期待表达式返回一个列表
  3. 空上下文:不使用表达式的返回结果,即返回结果被丢弃

上下文不仅决定了表达式的返回结果类型,还限制了某些环境下只能使用某些上下文。比如,需要传递一个列表的时候却传递了一个标量,这可能会报错误。

例如:

1
2
42 + something;     # 这里的something必须是标量
sort something; # 这里的something必须是列表

数组@arr为例:

1
2
3
@arr=qw(perl shell python);
@sorted=sort @arr; # 列表上下文:返回(perl python shell)
@num=@arr + 42; # 标量上下文:返回45

即便是赋值这种操作,都有不同的上下文:

1
2
@arr1=@arr;      # 列表上下文,赋值@arr给另一个数组@arr1
$arr1=@arr; # 标量上下文,赋值@arr的元素个数给变量arr1

比较悲剧的是,无法总结一个通用的规则来解释什么时候用什么上下文,只能通过一些经验来感受它。

列表操作切换到标量上下文

那些操作列表的表达式(如sort)用在标量上下文会如何?没人知道会如何。不同的操作,返回的内容没有规律可言。

例如,对列表排序的sort操作放在标量上下文只会返回undef,reverse操作放在标量上下文则是返回字符的逆排序(先将所有元素按照字符串格式连接起来,再对整体进行反转)。

1
2
3
4
5
@arr=qw(perl python shell);
$sorted=sort @arr; # 返回undef
$reversed=reverse @arr; # perlpythonshell-->llehsnohtyplrep
print $sorted,"\n";
print $reversed,"\n";

以下是常见的上下文:

1
2
3
4
$var = something;             # 标量上下文
@arr = something; # 列表上下文
($var1,$var2) = something; # 列表上下文
($var1) = something; # 列表上下文

以下是常见的标量上下文:

1
2
3
4
5
6
$var = something;
$arr[3] = something;
123 + something;
if (something) {...}
wihle(something) {...}
$var[something] = something;

以下是常见的列表上下文:

1
2
3
4
5
6
7
8
@arr = something;
($var1,$var2) = something;
($var1) = something;
push @arr,something;
foreach $var (something){...}
sort something;
reverse something;
print something;

需要注意的几点,将数组赋值给标量变量,得到的是数组的长度(元素个数),将列表赋值给标量变量,得到的是最后一个元素,除了最后一个元素外,其它元素都被丢弃,也就是放进了void context。

1
2
3
4
5
6
@arr = qw(a b c d);
$x = @arr; # 结果:$x=4

$y = qw(a b c d); # 结果:$y=d,开启了warnings的情况下会警告
($y) = qw(a b c d); # 结果:$y=d,不会警告
($a,$b,$c,$d) = qw(a b c d) # 结果:$a=a,$b=b,$c=c,$d=d

标量操作切换到列表上下文

这种情况很简单,如果某个操作的返回结果是标量值,但却在列表上下文中,则直接生成一个包含此返回值的列表。

1
2
@arr = 6 * 7;    # 结果:@arr=(42)
@arr = "hello".' '.'world'; # 结果:@arr=("hello world")

但关于undef和空列表有一个陷阱:

1
2
@arr1 = undef;
@arr2 = ();

上面的undef是一个标量值,所以赋值后@arr1=(undef),它不会清空数组;而()是空列表,它表示未定义的,所以赋值后@arr2被清空。

强制指定标量上下文

有时候如果想要强制指定标量上下文,可以使用伪函数scalar进行强制切换,它会告诉perl这里要切换到标量上下文。

1
2
3
4
@arr=(perl python shell);
print "How many subject do you learn?\n";
print "I learn ",@arr," subjects!\n"; # 错误,这里会输出课程名称
print "I learn ",scalar @arr," subjects!\n"; # 正确,这里输出课程数量

另一种切换为标量上下文的方式是使用~~,这是两个比特位取反操作,因为比特位操作环境是标量上下文,两次位取反相当于不做任何操作,所以将环境变成了标量上下文。这在写精简程序时可能会用上,而且因为~~是符号,可以和函数之间省略空格分隔符:

1
2
3
my @arr = qw(Shell Perl Python);
print ~~@arr;
print~~@arr;

还可以使用下面的技巧从列表上下文切换成标量上下文:

1
$var = () = expr

Perl中赋值操作总是先评估右边,所以上面等价于$var = (() = expr)() = expr表示转换成列表上下文,使得expr以列表上下文的环境工作。最后的赋值操作,由于左边是$var,会将列表转换成标量上下文。

(如果不理解,暂时跳过)这种技巧比较常见的是$num = () = <>,因为<>在不同上下文环境下工作的方式是不一样的,这个表达式表示以列表上下文环境读取所有行,然后赋值给标量,所以赋值给标量的是列表的元素个数,也就是文件的行数。

它等价于$num = @tmp = <>。而且完全可以使用scalar()替代scalar(@tmp = <>)

只有强制切换到标量上下文的伪函数scalar,没有切换到列表上下文的函数。因为根本用不到。

列表上下文中的STDIN

<STDIN>放在列表上下文时,会 一次性 读取所有输入(文件/键盘等)。一次性意味着大文件需要大量内存,一般400M的文件,perl可能会花上1G内存,因为perl会事先分配好富裕的空间避免事后问题。

例如:

1
2
3
4
@lines=<STDIN>;
foreach (@lines){
print $_;
}

在目前来说,这正是我们所需的方式。可以读取每行,并对每行进行操作。但因为是一次性读取,对于大文件来说,这种方法不可取,应该想其它方法。

<STDIN>放在列表上下文时,它会一行一行读取,直到读取到文件结尾(EOF)。但是,如果是读取键盘输入,如何给出EOF?在Linux中,按下CTRL+D(Windows下是CTRL+Z)即可,默认它会发送EOF给操作系统,操作系统会通知perl到了文件结尾。

因为<STDIN>读取的每一行中默认就带有换行符,在列表上下文中,同样可以使用chomp()函数来去除每一行的换行符。

1
2
@lines=<STDIN>;
chomp(@lines);

或者采用更简洁的方式:

1
chomp(@lines=<STDIN>);