awkの一貫性のない動作

Question 1

（g）awksのマニュアルページから：

~ !~        Regular expression match, negated match.  NOTE: Do not use a constant regular  expression  (/foo/)
            on  the left-hand side of a ~ or !~.  Only use one on the right-hand side.  The expression /foo/ ~
            exp has the same meaning as (($0 ~ /foo/) ~ exp).  This is usually not what you want.

明示的に禁止された方法で使用すると何が起こると予想されますか？

Answer

（g）awksのマニュアルページから：

~ !~        Regular expression match, negated match.  NOTE: Do not use a constant regular  expression  (/foo/)
            on  the left-hand side of a ~ or !~.  Only use one on the right-hand side.  The expression /foo/ ~
            exp has the same meaning as (($0 ~ /foo/) ~ exp).  This is usually not what you want.

明示的に禁止された方法で使用すると何が起こると予想されますか？

Question 2

実際、これは興味深い質問です。 @tinkはコードが期待どおりに機能しない理由を指摘しましたが、これは問題ではありません。問題は「0時にはなぜ一致するのか」です。

(/foo/ ~ $1)実際に意味がある場合は、その行が含まれている場合は評価され、(($0 ~ /foo/) ~ $1)それ以外の場合は($0 ~ /foo/)評価されます。したがって（ほとんど）。を評価していて、入力行が空の場合、NULL正規表現は常に一致します。入力行がある場合、合計もtrueです。たとえば、入力行がある場合も同様であり、trueではないはずです。ただし、一致するかどうかを確認する前にに変換される可能性が高いです。1foo00 ~ $1$1 == ""0$10 ~ 0000$10 ~ 0000000

しかし、残念ながら、この説明はすべての状況をカバーしているわけではありません。

ケース1

0 <-- found match
a
0 <-- found match
0 <-- found match

これはまさに予想通りです。

ケース2

0 <-- found match
00 00 <-- found match
0 <-- found match

これは、ゼロが複数解釈される限り予想される現象です0。しかし、今は次のようになります。

ケース3

0 <-- found match
a
00 0
0

これはそれほど簡単には説明できません。一致が失敗した後、ゼロへの変換は発生しないように見え、一致する必要がある後続の行も発生しません。

ケース4

0 <-- found match
a
00 00
a
0 <-- found match

何が起こっても別の失敗した一致は、動作を正常にリセットするように見え、一致はawk期待どおりに機能します。

全体として、GNUのマニュアルページの説明（awkしかし情報ページの一部ではない）が正しくない（または少なくとも不完全）、プログラムにバグが含まれています。

Answer