Perl智能匹配操作符(~~)疑问：第三种匹配无结果及操作符缺陷

问题场景 #

需求：过滤文件words.txt中字符按升序排列的行，文件内容如下：

bot
art
are
boat
toe
flee
reed

给出三种Perl命令，其中前两种可正确输出符合要求的结果，第三种无输出：

命令1（正常输出） #

# perl -F'' -lane 'print if $_ eq join "", sort @F' f
bot
art

命令2（正常输出） #

# perl -F'' -lane '@b = sort @F;if(@F~~@b){print $_}' f 
bot
art

命令3（无输出） #

# perl -F'' -lane 'print if sort @F~~@F' f

问题解答 #

1. 第三种命令无输出的原因 #

核心问题是Perl操作符优先级导致的逻辑解析错误：

• 代码sort @F~~@F会被Perl解析为sort( @F ~~ @F )，而非预期的(sort @F) ~~ @F。Perl中~~的优先级高于sort的列表参数绑定，导致sort的操作对象变成了智能匹配的结果，而非原数组。
• @F ~~ @F是数组与自身的智能匹配，结果为布尔值1（数组与自身的元素集合必然完全相等）。
• 对布尔值1执行sort操作，得到的是仅包含1的列表。虽然该列表在布尔上下文里为真，但完全偏离了「比较排序后字符数组与原数组顺序是否一致」的意图，最终导致无符合预期的输出（甚至在部分版本中会因非预期的类型处理导致条件判断异常）。

若要修正逻辑，需显式添加括号明确优先级：

perl -F'' -lane 'print if (sort @F) ~~ @F' f

但需注意，即使这样写，由于smartmatch的数组匹配是集合相等而非顺序相等，该命令会错误输出元素集合相同但顺序不同的行（比如are），这也是前两种命令能正确工作的原因——它们通过字符串拼接或先赋值再匹配，实际是在比较元素的顺序一致性。

2. Perl smartmatch操作符(~~)的缺点 #

smartmatch从诞生起就争议不断，主要缺点包括：

• 版本兼容性差：不同Perl版本中，smartmatch的匹配规则频繁变动，比如数组与数组的匹配逻辑在早期版本是集合相等，后续版本又调整为其他行为，代码跨版本运行时极易出错。
• 语义模糊：匹配行为完全依赖两边操作数的类型，新手很难精准预判结果。例如1 ~~ [1,2]是检查数值是否在数组中，而[1] ~~ [1,2]是检查左边数组是否是右边的子集，逻辑差异大且不直观。
• 实验性标记：从Perl 5.20开始，smartmatch被标记为实验性功能，官方明确不推荐在生产环境使用，未来存在被移除的风险。
• 性能低下：处理复杂类型（如嵌套数组、哈希）的匹配时，效率远低于显式的循环或比较操作，且代码可读性差。

内容的提问来源于stack exchange，提问作者mrqiao001