注意
実用性は無いです。
前提
vim -u NONE -i NONE -N -c 'put=range(1000)' -c '$ delete' -c 'set cul'- 初期状態ではバッファの各行が 0, 1, 2, ... 999 で埋まっている
- 探索する値は何でもいいけど今回は42ということにしておく
手順
:let s=42^Mqqgs50%zzgsy$@=@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"^Mq@q^Mはcarriage returnに置き換えること
結果
解説
Step 1: 人間に読める形に分解する
:let s=42^Mqqgs50%zzgsy$@=@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"^Mq@q↓
:let s=42^M- 探す値を変数
sに代入
- 探す値を変数
qqgs50%zzgsy$@=@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"^Mq- 何か凄そうだけど……全体は
qq ... qなのでキーボードマクロの記録をしてるだけ
- 何か凄そうだけど……全体は
@q...の操作をもう一度やる
Step 2: 記録された ...の正体
gs50%zzgsy$@=@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"^M↓
gs- 1秒sleep
- 動きを人間の目でも認識できるよう仕込んでる(省略可)
50%- バッファ全体の大体50%くらいの位置に移動
zz- カーソル行が画面の中央に表示されるようビューを調整
- 動きを人間の目でも認識できるよう仕込んでる(省略可)
gs- 1秒sleep(省略化)
y$- カーソル行の内容をコピー
@=@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"^M- 何か凄い事をやってる
Step 3: 何か凄い事の正体
@=@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"^M↓
@=- レジスタ
=の内容をキーボードマクロとして実行する - 実行する内容は「この後に書いた式の評価結果」なので……
- レジスタ
@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"- これが何か凄い式
^M- 式の終わりを示すcarriage return
Step 4: 何か凄い式の正体
@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"↓
@0==''- 最後にコピーした内容(=カーソル行の内容)が空文字列か判定する
?"SNot found\<Esc>"- 空文字列なら全要素探索し終えたので終了
:@0<s- カーソル行の内容が探索対象の値より小さいか判定する
?'dgg@q'- 小さいならバッファの前半を消して二分探索を再実行
:@0>s- カーソル行の内容が探索対象の値より大きいか判定する
?'dG@q'- 大きいならバッファの後半を消して二分探索を再実行
:"IFound: \<Esc>"- ここまで来たら探索対象の値が見つかったので終了
ポイント
qqgs50%zzgsy$@=@0==''?"SNot found\<Esc>":@0<s?'dgg@q':@0>s?'dG@q':"IFound: \<Esc>"^Mq@q↓ (これの骨格だけを抽出すると)
qq...@=...''?'...@q':'...'^Mq@q↓ (より本質的なところを抽出すると)
qq...@q...q@q- 1個目の
@q: キーボードマクロqの記録中なのに@qで実行してる- この段階ではレジスタ
qの内容は空なので、@qしても何も起きない
- この段階ではレジスタ
- 2個目の
@q: 先程レジスタqに記録された内容が実行される- この段階ではレジスタ
qの内容は沢山あるので、@qの実行で更に@qが再帰的に実行される
- この段階ではレジスタ