GNU sed 4.9中'a'命令的反斜杠行为疑问

执行环境 #

$ gsed --version
gsed (GNU sed) 4.9
Copyright (C) 2022 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Jay Fenlason, Tom Lord, Ken Pizzini,
Paolo Bonzini, Jim Meyering, and Assaf Gordon.

This sed program was built without SELinux support.

问题1：为何使用两个反斜杠时会添加空行？ #

GNU sed的a命令中，反斜杠有两个核心作用：续行标记和转义普通反斜杠。

• 当a命令后紧跟的反斜杠处于命令末尾时，会被识别为续行标记，表示后续没有要追加的文本，因此会输出一个空行。
• 使用两个反斜杠时，第一个反斜杠会转义第二个反斜杠，但由于这两个反斜杠位于命令末尾，转义后的第二个反斜杠仍处于命令末尾，会被当作续行标记，最终效果和单个反斜杠一致，都会追加空行。

问题2：反斜杠数量为偶数或奇数时的作用规律？ #

结合测试结果，GNU sed对a命令后的反斜杠遵循以下解析逻辑：

1. 优先处理转义对：每一对连续的反斜杠（\\）会被解析为一个普通的反斜杠字符，作为要追加的内容。
2. 末尾单个反斜杠作为续行标记：如果解析后剩余单个反斜杠且位于命令末尾，该反斜杠会被当作续行标记，此时若前面没有解析出要追加的内容，则输出空行；若已有解析出的内容，则仅输出内容，不额外追加空行。

从测试结果可总结出具体规律：

• 当反斜杠数量为1或2时：最终都会被解析为续行标记，输出空行（无反斜杠）。
• 当反斜杠数量≥3时：
  • 偶数个反斜杠：每两个反斜杠解析为一个普通反斜杠，但最后一对中的第二个反斜杠会被当作续行标记，因此实际输出的反斜杠数量为 (总数量/2) - 1。例如4个反斜杠输出1个，6个输出2个，8个输出3个。
  • 奇数个反斜杠：前总数量-1个反斜杠（偶数个）每两个解析为一个普通反斜杠，最后一个反斜杠作为续行标记，因此实际输出的反斜杠数量为 (总数量-1)/2。例如3个反斜杠输出1个，5个输出3个，7个输出5个。

（注：测试中部分结果看似不符合规律，大概率是shell命令行中反斜杠被提前转义导致的，建议将sed脚本用单引号包裹，避免shell干扰解析。）

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