AWK中$1=$1作为模式执行赋值的原理疑问

这本质是AWK对模式表达式和默认动作的规则设计导致的，拆解开来理解就清楚了：

• AWK的核心执行逻辑是「模式匹配 → 执行动作」，如果省略动作部分，默认会执行{print $0}（输出当前记录）。
• 模式部分可以是任意布尔表达式，包括赋值语句。AWK在处理模式里的赋值时，会先执行赋值操作，再用赋值的结果作为布尔值判断是否触发动作。
• 当你写$1=$1时：
  1. 先执行赋值：把$1重新赋值给自己，这个操作会触发AWK自动重建整个记录$0——它会用OFS（输出字段分隔符，默认是空格）重新拼接所有字段，自然就压缩了字段间的多余空格。
  2. 然后判断赋值结果：$1=$1的返回值就是$1的内容，只要$1不是空字符串或者数字0（绝大多数文本处理场景都满足），这个表达式就会被判定为「真」，进而触发默认的print动作，输出重建后的$0。

对比你之前用的{ $1=$1 }1：前者是把「赋值操作」和「模式判断」合并到了模式部分，后者是显式在动作里执行赋值，再用恒真的1触发默认print，两者最终效果一致，只是写法更紧凑。

唯一需要注意的特殊情况：如果当前记录的第一个字段是空或0，$1=$1会返回「假」，此时不会触发默认print，这种场景在实际处理中很少遇到。

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