Perl正则s/\A\s*\n//可删除字符串开头全空行，其工作原理是什么？

核心误区澄清 #

首先需要纠正两个常见的正则规则误解：

• (?s)（单行模式）修饰符仅作用于.元字符，作用是让.可以匹配换行符，完全不影响\s的匹配规则。\s的原生定义就包含换行符\n、制表符\t、空格等所有空白字符，无论是否开启(?s)，\s都可以正常匹配换行符。
• 非单行模式下只有.会在换行处停止匹配，\s不受换行限制，可以跨越多行匹配多个连续空白。

正则匹配逻辑拆解 #

s/\A\s*\n//的匹配流程完全遵循贪婪匹配+回溯规则：

1. \A锚定整个字符串的绝对起始位置，匹配只会从字符串第一个字符开始，不会匹配字符串中间的内容。
2. \s*触发贪婪匹配，尽可能多吃所有连续的空白字符（包含换行、制表符、空格等），直到遇到第一个非空白字符才停止。
3. 正则检查\s*匹配结束后的下一个字符是否为\n，如果不是则触发回溯：\s*每次吐出最后一个匹配的字符，直到下一个字符刚好是\n为止。
4. 最终整个正则匹配到的内容就是「从字符串开头到所有开头连续空白中最后一个换行符」的全部内容，将这部分替换为空后，刚好删除了所有开头的全空白行，同时保留了最后一个换行符之后的所有内容（包括第一行可见行开头的空白字符）。

示例验证 #

以你提供的第一个测试串为例，串内容为join('',"\n", "\t", ' ', "\n", "\t", ' dogs')，字符序列为：[换行, 制表符, 空格, 换行, 制表符, 空格, 'd', 'o', 'g', 's']
匹配过程：

1. \A锚定开头，\s*贪婪匹配到索引5的空格（d之前的最后一个空白），此时下一个字符是d，不满足\n的匹配要求，触发回溯。
2. \s*吐出索引5的空格，下一个字符是制表符，依然不匹配\n，继续回溯。
3. \s*吐出索引4的制表符，下一个字符是索引3位置的换行，满足\n的匹配要求，回溯停止。
4. 最终匹配到的内容是索引0到3的[换行, 制表符, 空格, 换行]，替换为空后剩下的内容为[制表符, 空格, 'd', 'o', 'g', 's']，完全符合预期。

验证代码 #

#!/usr/bin/env perl 
use strict; use warnings;
print $^V; print "\n";

my @strs=(
    join('',"\n", "\t", ' ', "\n", "\t", ' dogs',),
    join('',
              "\n",
              "\n\t\t\x20",
              "\n\t\t\x20",
    '......so what?',
              "\n\t\t\x20",
    ),
);

my $count=0;
for my $onestring(@strs)
{
    $count++;
    print "\n$count ------------------------------------------\n"; 
    print "|$onestring|\n";
    (my $try1=$onestring)=~s/\A\s*\n//;
    print "|$try1|\n";
}

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