为何Perl中连接运算符后的裸词会被视为字符串？strict模式下连续裸词的报错情况为何存在差异？

为什么Perl中.后的第一个裸词不报错，第二个却触发strict subs错误？ #

这是个非常典型的Perl语法细节问题，核心在于Perl的词法解析器在不同语境下对裸词的处理逻辑，以及运算符的结合性规则，咱们一步步拆解：

1. .运算符直接右侧的裸词会被解析为字符串字面量 #

在use strict 'subs'的规则下，裸词通常会被视为子例程调用，但有一个例外场景：当裸词出现在字符串连接运算符.的直接右侧时，Perl会将其解析为字符串字面量，而不是子调用。

比如你第一段代码中的：

print STDOUT $k1 . k2 . "\n";

这里$k1 . k2会被优先解析，.的右侧是裸词k2，Perl直接把它当作字符串"k2"处理，所以最终输出是a + "k2" = ak2，而且不会触发strict subs的错误——因为此时裸词没有歧义，Perl明确知道它是字符串。

哪怕你没有定义$k2变量，比如运行：

use v5.30;
use strict;
use warnings;
my $k1 = 'a';
print STDOUT $k1 . foo . "\n";

输出依然是afoo，不会报错，因为.右侧的foo被直接当作字符串。

2. 左结合运算符的解析顺序导致第二个裸词触发错误 #

Perl的.运算符是左结合的，也就是说$k1 . k2 . k3会被解析为($k1 . k2) . k3。

此时第二个.的左侧是一个表达式（$k1 . k2的计算结果，是一个字符串），而右侧的裸词k3不再处于“.直接右侧”的语境中。Perl此时会按照strict subs的规则，将k3视为子例程调用——但你并没有定义sub k3，所以就触发了错误：

Bareword "k3" not allowed while "strict subs" in use at mwe.pl line 7.

简单来说：第一个.的右侧裸词有“字符串连接”的语境加持，被当作字符串；第二个.的右侧裸词没有这个语境，被当作子调用，而strict subs禁止未定义的子调用裸词。

3. 裸词与对应标量变量无关 #

你提到已经定义了$k2，但这和裸词k2没有任何关系。裸词是不带符号的标识符，k2就是字符串"k2"，不会被解析为标量变量$k2。这也是你预期输出ab但得到ak2的原因——你混淆了裸词和变量的写法，要引用变量的值必须加上$符号，也就是$k1 . $k2才能得到ab。

总结一下规则 #

• 在use strict 'subs'下，.直接右侧的裸词会被Perl解析为字符串字面量，不会报错；
• 当裸词出现在其他位置（比如第二个.之后），会被视为子例程调用，此时如果没有定义对应的子例程，就会触发strict subs错误；
• 裸词和同名标量变量是完全独立的，不要混淆两者的写法。

内容的提问来源于stack exchange，提问作者n.r.