一括表示

masaさん

　的確なご指摘、ありがとうございました。
　sedのヴァージョンが「谷本版」以外、重ならないようですが、ご指摘、どんぴ
しゃりでした。回避策のDAMMYジャンプ（フラグ・クリア）も的確です。

　ただ、ちょっと気になるのは、「前置換でのフラグが残る」という解釈なんで
すよね。masa  さんの現象解析は、そのまま再現したと思うのですが、「何かの
理解が間違っているからかも」とも考えています。

　僕の試したのは、古い serow 版（たぶん日本でいちばん流通している）と、GNU
の sed が２種です。Onigsed  はかなり特殊なのですが、谷口版のオリジナルは
世界中で使われているはず。だとすると、GNU の仕様か、何かの解釈の違いかな、
とも思っています。そのうち適当な場所で聞いてみますね。

　もっとも、ローカルには、つまり僕個人にとっては、やばいことになるところ
だったので、とても助かりました。

　以下のテストをするのも、こんがらがって大変でした。masaさんの解析をなぞ
るのさえ、すごく大変だったということです。


　その他、/address/d のスペースとか、気持ち、すごく良くわかります。
　b(ranch)のラベルが同じケースですが、こちらはあっても大丈夫なようでした
（serow版、Bruce.版）。txは、サンプルがそうしていたので、そのままです。

　{m,n}については、たしかにserow版（古い）では実装されていませんね。


--- t1.txt ---		;対象テキスト
あ　い　う
--------------

--- t1.sed ---		;【あるべき形】
s/あ/か/		;必ず置換する　置換成功 フラグ・オン
s/い/き/		;２行目で成功して、　　　　　　　　　＆クリアのはず
tx			
s/う/く/		;３行目は置換され【ない】
:x
--------------

>oldsed -f t1.sed t1.txt　（serow版）
か　き　う

>sed -f t1.sed t1.txt　（谷本版）
か　き　う

>onigsed -f t1.sed t1.txt |to　（Bruce.版）
か　き　う

--- t2.sed ---		;【困ってしまうテスト】
s/あ/か/		;必ず置換する　置換成功 フラグ・オン　＆クリアのはず
s/Ｂ/き/		;置換失敗
tx			;〔フラグ・オンが残ると、３行目が置換され【ない】〕▼
s/う/く/		;テストはスルーして３行目は置換され【る】
:x
--------------

>oldsed -f t2.sed t1.txt
か　い　く

>sed -f t2.sed t1.txt　▼
か　い　う

>onigsed -f t2.sed t1.txt |to　▼
か　い　う

--- t3.sed ---		;【DAMMY回避策】
s/あ/か/		;必ず置換する　置換成功 フラグ・オン
tDAMMY			;DAMMY ラベルを入れてみる　フラグ・クリア
:DAMMY
s/Ｂ/き/		;置換失敗
tx			;〔フラグ・オンが残ると、３行目が置換され【ない】〕
s/う/く/		;テストはスルーして３行目は置換され【る】■
:x
--------------

>oldsed -f t3.sed t1.txt
か　い　く

>sed -f t3.sed t1.txt　■
か　い　く

>onigsed -f t3.sed t1.txt |to　■
か　い　く

　何となく作ったメモです（masaさん宛てではありません）。
　serow版からの拡張で、元々のsedには、たぶん大半ないもの。
　元々のsedというのは、業界標準のGNUのもの、という意味。

#nの採用（スクリプト冒頭　= -n）

s/LHS/RHS/で\t（タブ）を通す
　　　　　 serow　logos　 GNU3.02+1.08　　GNU 4.0.7
address　　OK　　　OK　　　NG　　　　　　　OK
LHS　　　　OK　　　OK　　　NG　　　　　　　OK
RHS　　　　NG　　　OK　　　NG　　　　　　　OK

-g：s コマンドの置換位置指定がないとき g フラグを付加したものとみなす★
-A：w コマンドにおいて出力ファイルが既に存在するときは後ろに追加する
-O：w コマンドにおいて出力ファイルが既に存在するときは上書きする
-a：次の引数を出力ファイルと解釈する
　　既にそのファイルが存在するときは後ろに追加する
-o：次の引数を出力ファイルと解釈する
　　既にそのファイルが存在するときは上書きする
-i：次の引数を入力データファイル名のリストがはいったファイル名と解釈する★

　★が面白いし、僕にとって使い手がありそう。

masaさん

（ａ）ＤＯＳ基本セット版（と思う）1990/08/13　29KB

>dir sed.exe |to
 C:\BIN\ASTOOLS のディレクトリ
1988/05/02  02:56            27,899 SED.EXE

　という感じだったので、それとも違う、と思っていたのです。

>ASCIIの「MS-DOS software Tools 基本セット３２」は、ASCIIの「MS-DOS software
> Tools　１〜３巻」の中の32本のソフトを収録したものと書いてあります。

　なるほど、vol.1-3 の選りすぐりをまとめたセットがあったわけですね。
アスキー内でのsedのヴァージョンが違うわけだ。

>少なくとも、s/aa/bb/n のｎ番目のみ置換は使えます。

　すると、serow版のみ、それができないということですね。なんでわざわざ外した
んだろう？　とはいえ、ないものはないので、疑問を抱いても意味はないのですが。

C:\BIN\ASTOOLS>what sed.exe
sed.exe
        # SED - 3.12
        main.c  2.66 (ASCII) 4/25/88
        compile.c       2.76 (ASCII) 4/25/88
        execute.c       3.24 (ASCII) 4/25/88
        getput.c        1.25 (ASCII) 4/25/88
        cmds.c  1.14 (ASCII) 3/28/88
        regcomp.c       2.31 (ASCII) 4/27/88
        findpat.c       2.30 (ASCII) 3/24/88
        regsub.c        1.80 (ASCII) 3/24/88
        advance.c       2.31 (ASCII) 3/27/88

　うちのアスキー sed はこんな感じです。version 3.12 ですって。
　strings も面白かったけど、ちょっと長すぎるのと、serow 版もやって比較対
照するのが大変すぎみたいだったので、割愛です。

　アスキーとアスキーのプログラマは、 いちおう GNU ライセンスを外して商品
をつくらなければならなかったわけで、色々と複雑だったのでしょうね。本家の
sed と互換をもちながら、いちおうスクラッチから書かなくてはいけない、と。
　時代的には、アスキーの努力は認められてよいと思います。serow 版と近すぎ
たのかもしれませんが。
　でも、sed って、プログラム本体より、「どう使うか、どう使えるのか」の情
報が大事な、ある意味、不思議なツールみたいな気もします。ま、置換だけのツ
ールとしても、十分でしょうね。

Tools 1：
1992年5月発行		--->vol.1: 85年, vol.2: 87年, vol.3: 88年です。

基本セット３２：1990年12月発行

基本セット４０：1994年12月発行

　適当に判断してまとめました。

ASCII, MS-DOS Software-Tools

		初版
Tools 1：	1985/12
Tools 2：	1987/03
Tools 3：	1988/06		sed v.3.12 (1988/05/02)
基本セット32：	1990/07  	sed v.3.13 (1990/08/13)---92年セット収録
基本セット40：	1994/12

（１）masaさん

　ブログのほう、ちゃんと読み切れていませんで失礼しました。
　フラグリセットのタイミング、ちゃんと書かれておられましたね。m(__)m

>対策としては、下記のように、間にリセット用のｔコマンドを挟むか、
>ｔではなく「/アドレス/コマンド」のフォーマットを使用します。

　ですが、この後半はどうなのでしょう？　僕には意図が読めませんでした。

/address1/d
/address2/d
/address3/d
　が１００行書かれていても、その１００行を検査しているうちは、対象ファイル
の次行は読み込まれないと思います。

　たぶん、何か違う話ですよね？

s/000/111/	（1）
/address1/d
/address2/d
s/aaa/bbb/	（2）
tx
s/ccc/ddd/	（3）
:x
/address99/d
/address100/d

 （1）で置換成功フラグが立ったら、もう（2）の結果はどうあれ、（3）が飛ば
されることはないと思います（serow, logos版, 基本セット版以外は＝すいません、
これらが普通でない振る舞いをしています。それが好きだ、というのは別の話と
して）。

　アドレッシングで飛ばす（ある置換を避ける）方法としては、以下を僕はよく
使います。

/address1/b tobashi
s/address2/replacement/
:tobashi

　s/LHS/RHS/のＬＨＳ（Left Hand String=左側文字列）って、アドレッシング
と同じですからね。


--- おまけ ---
>c:\bin\astools\sed -f c:\t2.sed c:\t1.txt	;ascii tools
sed: command garbled: tx			;スペースを入れろかよぉ
						;これはありえん
>c:\bin\astools\sed -f c:\t2.sed c:\t1.txt
か　い　く					;asciiよ、お前もか

>dir c:\bin\astools\sed.exe |to
1988/05/02  02:56            27,899 SED.EXE
--------------


（２）自分の修正

　DAMMYとか恥ずかしげもなく書いていますが、いわゆるダミーのスペリングは、
DUMMYです。恥を知れ　＞文太

　確たる証拠はありませんし、 下のアスキーの sed の振る舞いが正統的だと信
じているわけでもないのですが、かなり信用しているオライリーの本が、どうや
ら一貫してそのような表記を使っているので、そちらを暫定的に信用することに
しました。
　前置き（言い訳）が長い！

　「分岐ラベルの後ろでは、スペースを置く」。これを正しい書法と信じること
にしました。

　つまり、 b tobashi とか、t begin とか、t end あるいは t x みたいなので
いこう、ということ。
　因みに、ラベル名は、８文字以内のこと。

　ええ、sed では、このようなつまらないことで躓くことが、けっこうあるので
す。
　Onigsed  ぐらい（正体は、GNU sed 4）新しいものになると、それなりに細か
いエラーメッセージを出してくれるのですが、古いのはスクリプトの何がいけな
いのか、なかなか教えてくれません。下のだって「スペースが問題を起こすこと
がある」というのが頭になかったら、「何を文句いってやがる」となりますね。

　スペースの扱いには、色々あります。

-----
>c:\bin\astools\sed -f c:\t2.sed c:\t1.txt	;ascii tools
sed: command garbled: tx			;スペースを入れろかよぉ
						;これはありえん

　FGALDC 14階　９年前くらい？
　ほとんど怨念になってるみたいだ……。

>08316/08316 ZXH10116  文太             RE:sed.shdの叩き台を19階に
>(14)   04/11/05 00:16

SPICAさ〜ん、（以下は、serow版sedに添付のsed.doc）

　  t <label>  直前に入力された文字列に対して置換が実行された場合，
　             または't'や'T'コマンドが実行された後であれば，
　             :<label>で示した位置にジャンプする。

http://www.opengroup.org/onlinepubs/007908799/xcu/sed.html
[2addr]t [label]
Test. Branch to the : command bearing the label if any substitutions have
been made since the most recent reading of an input line or execution 
of a t.

　これは誤訳だ。どうして、こんな誤訳になるのかは分からないけれど。"since"
は、「以来」です。だから、強引に直訳だけすれば、「もっとも現在に近いとこ
ろで入力が読み込まれたか、t コマンドが実行されたかの時点から（＝以来）、
現在までの間に置換が成功していれば、: コマンドが持っているラベルに分岐す
る」（変な日本語、でももっと変な英語です。SPICAさんのせいでなく、元のdoc
を書いた奴も悪い。"poorly documented"って、こういう意味もあるんだ！）

       t label
              If  a s/// has done a successful substitution since
              the last input line was read and since the  last  t
              command, then branch to label; if label is omitted,
              branch to end of script.
(sed32.man)

　うーん、こっちのほうが、ずっとちゃんとした英語だ。

　個人的に、以下に差し替えました。

　置換に成功したかどうかをテストし、置換されていれば、: ラベルでマークさ
れた行に分岐する。

----- アーティクルお終い -----

Test. Branch to the : command bearing the label if any substitutions have
been made since the most recent reading of an input line or execution 
of a t.

　訳してみますね。

【テスト・コマンド　ｔ　】
　パターンスペースに現在ある行が入力された時点から、あるいは同じ入力行で
テスト・コマンドが最後に実行された時点から、一度でも置換が成功していた
場合に、：ラベルの位置に分岐する。

>sed -f t.sed t.txt

--- input = t.txt ---
１１１　２２２　３３３　４４４　５５５

--- result ---
●●●　２２２　３３３　４４４　●●●　sed谷本 (GNU 1.18 multibyte 1.03)

●●●　２２２　３３３　４４４　●●●　onigsed (GNU 4.1.5 Oniguruma v. 2.5.0)

●●●　２２２　３３３　４４４　●●●	sed32 (GNU 3.0.2 multibyte 1.07)

●●●　２２２　３３３　４４４　●●●	mbsed (GNU 4.1.4 multibyte)

●●●　２２２　３３３　４４４　●●●	ssed (super sed, based on GNU 4.1)

---   ---   ---   ---　上は全てGNU系。下は古めの日本語MS-DOS移植版

●●●　○○○　○○○　○○○　●●●　oldsed by serow（1988/03/02）

●●●　○○○　○○○　○○○　●●●　lsed by logos（1992/06/17）

●●●　○○○　○○○　○○○　●●●　ascii sed（1988/05/02）


--- t.sed ---
s/１１１/●●●/	success = flag ON
/あああ/d		dummy
/いいい/d		dummy
/ううう/d		dummy
s/えええ/★★★/	no match, but flag no change, so still ON
t tobe			flag is ON, so jump even though the test failed
s/２２２/○○○/	 skip (supposedly)
s/３３３/○○○/	 skip (supposedly)
s/４４４/○○○/	 skip (supposedly)
:tobe			landing
s/５５５/●●●/	success


　logos さんは、「serow さんの拡張版をつくった」と言っているので、その部
分のコードはそのままなのでしょう。
　serow さんが、オリジナルの仕様をどこまで読み切り、それを（おそらく）バ
グと認定して改訂を行なったのかは分かりません。アスキー・ツールズは、それ
をバグと認定しているようですが。

　もっとも、 フラグをどのタイミングで OFF にするのか、serow 版にせよアス
キー版にせよ、きちんとドキュメントしてるようでもないので、またしても罠に
はまらないように、僕は、いつも masa さんのダミー予防薬を飲んでもらってか
ら、t コマンドさんに仕事をしてもらおうと思います。

　僕は、t コマンドのこの振る舞いを「仕様」と考えていますが。

Branch to the : command bearing the label
if execution of a t　このひっくり返しが混乱の元。
　そして、if のあとには、主語Ｓ＋動詞Ｖがくるので、if t command is executed
　という形にしかなれません。「もしｔが実行されていたら」を「もしｔ実行」と
　表現したようなもの。
or
if any substitutions have been made since the most recent reading of an input line.
---

　英語は前から読みましょう。僕は、最初、前から訳したものをつくっていて、
最後に、えい、こっちのほうが日本語らしいのだろう、と「ラベルに分岐せよ」
を最後に後ろに持っていきました。

Test. 
Branch to the : command bearing the label 
 if any substitutions have been made 
  since the most recent reading of an input line 
        or 
        execution of a t.

　ネストは、ふつう、ただ下がっていきます。

>英語がわかる人が訳すと
　・文脈がだいたい分かれば単語の意味は推測できるよ
　・単語が分からないと文脈がそもそも分からないと思うのですが

　みたいなものですが、意味がわかると訳せます。英語が分かっても意味が分か
らないと訳せません。というか、意味が分からないときには、英語も分かってま
せん。分離不可です。たぶん、日本語でも同じです。何度も同じ会話をしてます
ね。

　anyを「一度でも」とおいたところに注目してほしかった。

　しつこいねぇ。


【テスト・コマンド　ｔ】

　置換が成功したらラベル位置にジャンプする。しかし、その「置換成功」
にはややこしい条件がある。フラグをオンにする置換成功が、テスト・コマ
ンドの直前である必要はまったくないからだ。行入力のサイクルに入って１
度でも置換が成功すればフラグが立ち、たとえ直前の置換に失敗していても、
ジャンプしてしまう。また、テストコマンドが指示されれば、フラグは強制
的に下ろされる。
　置換コマンドがフラグ下ろしに関与しない以上、使用には注意が必要だ。
複数の置換コマンドが使われるスクリプトにおいては、具体的に、テストコ
マンドを使う直前の箇所で、以下のような意識的なフラグ管理をするしかな
い。

t DMY		;フラグ管理＝フラグを下ろす
:DMY
s/aaa/bbb/	;テストしたい置換（置換成功でフラグが立つ）
t tobashi	;テストコマンドによる分岐判定
 other commands
:tobashi	;分岐先

　さらに、 nコマンドのように、スクリプトの途中、つまり通常の行入力
サイクルの途中で、次の入力行を読む込む場合は、もっとややこしい。

　因みに、テストコマンド（t）、単純な分岐コマンド（b, branch）の
ジャンプ先は、スクリプトの前方である必要はなく、以下のように、

:LOOP
t DMY
:DMY
s/aaa/bbb/ 
t LOOP
　other commands

　スクリプトの上方、つまり時間的に前にもどることができる。これにより、
ループを構成することも可能である。が、このようなプログラムの書き方は、
「信者のためのsedスクリプト」と揶揄されることになるようだ。

　さらに付言すれば、 MS-DOS時代にUNIXから移植された日本語版のsedには、
この面倒な仕様を改善した版のsedがある。serow, logos, ascii版など。
しかし、sedはsedで頑なであり（頑固でないsedはsedでないらしい）、本家に、
上に記した仕様を変える気はない。
　さらに、「改善日本語」版も、フラグ管理の改善仕様に関して、明確に
ドキュメントしているわけでもない。

　ややこしい仕様を理解して、 フラグの自前管理をすれば、どのsedでも間違い
なく使えるはずだ。

　ｔが「置換に成功したらジャンプ」だとしたら、Ｔは「置換に失敗したら
ジャンプ」というコマンドである。 これはGNUの拡張らしいので、実装されて
いないsedもあるのだろう。
　実装されていない場合には、

t seikou
b shippai

　と強制ジャンプを入れればよい。

　もちろん、Ｔを使えば、

T shippai

　と１行で書けるということだ。

最後の追記（ｎコマンドなど）

　ｎコマンドとｔコマンドについては、はぐらかしましたが、大丈夫、
置換成功フラグを自前管理すれば、問題は起こらない。

　使ったことがないけど、ｎの使用例として、以下が参考になるのかも。

Sed "n;n;n;n;G;"	５行ごとに空行挿入
Sed -n "/RE/{n;p;}"	パターンの次行をプリント

　パターン、条件を決めておいて、でも何かをしたいのは、じつは「次の行」
あるいは「次の次の行」みたいなとき、使えるのかな。

-----

　アスキー『MS-DOS を 256 倍使うための本 vol.3』pp.82-83, p.218 によると、
ある種のsed は、ｎコマンドに限らず、新たな行入力があったときにさえ、置換
成功フラグをクリアしないされないとされている。 どの sed の話だか、本当な
のだか分からない（ちょっと気に障る書き方だ）。
　とはいえ、ｎにしろ、新たな行入力にせよ、置換成功フラグを自前管理さえす
れば、ｔコマンドは安心して使えます。

　因みに、この『２５６倍』sed部を執筆しているのは、福崎俊博さんで（たぶん）、
福崎さんは、僕がかなり信用している、オライリーのDale Doughertyの『sed & awk』
の訳者さんでもあり（翻訳はアスキー出版局刊）、間違ったことを書いているとは
思えないのだけど、ちょっと変だと思う。
　このｔコマンドへの記述やascii版での改造がなされていたとき、serowさんの版
がすでにあったわけだし、serowさんも
Written for the GNU operating system by Eric S. Raymond
というSEDの日本語MS-DOS移植をしたので、何にいちゃもんをつけてるのか分かり
ません。

　ですので、ある時期の日本でなされたｔコマンドの「改善」は、ちょっと
ガラパゴス化的だったのじゃないか、というのが僕の結論です。
　もっとも、回避策が、どのsed関連ドキュメントにも載っていない、というのは、
何だかもっと変だな、とも思っています。
　いずれにせよ、どう転んでも間違いのない回避策の発案者は、masaさんです。
　あれが全くの正解。だと信じる。

masaさん

　爆走に「お疲れさま」って感じでしょうか。でも、分かりましたよ！
　ｔコマンドの困った仕様を／アドレッシング／で回避する方法。

　ｔコマンドというのはｓコマンドでの置換が成功したかどうかで分岐
させる機能です。
　でも、ｓコマンドには、ほとんどアドレッシングと同じ内容が含まれている。
じゃ、ｓコマンドの結果を使わずに、アドレッシングだけで先に分岐させておけば
いいじゃないか。こういうことですね。

　具体的に言い直すと、

s/aaa/bbb/
　の結果で分岐するとは、/aaa/がヒットしたかしないかで分岐させるということ。
　なら

/aaa/b atari
commands1	;/aaa/!{ ... } (1)
b motoni

:atari
commands2	;/aaa/{ ... }  (2)

:motoni		;(1)と(2)がここで合流

　コメントの左側はアセンブラ的なラベルジャンプ多用型。
　右側は少しＣ的にif-else型。

　なんか、頭が違う方向へ爆走していたようです。おしまい！
　ほんとに、非対話型ストリーム・エディタ SED のようになった。