while read var はどのようにして読む行番号を取得しているのか

Question

こんにちは.

以下のプログラムのreadコマンドはtmp.txtの一行目だけを取得し続けるのではなくて, 取得する行番号を増やしていけるのはどのような仕組みによるものですか?

while read line
do
  echo $line
done < tmp.txt

よろしくお願いいたします.

Answer 1

ファイルというのは、オープンして、読んで、次に読むと、さっきの続きから読みます。
ファイルとはそういう物です。

（ファイル中の位置を指定して読むという読み方もありますが、今回は関係ありません）

Comments

[slimat]

ご回答ありがとうございます.

仕様というものですね!

[otn]

ファイルを読むときは順番に全部読みたいことが多いので、そういう風に出来てます。
そういう仕組みが無いと、先頭の1行どころか、先頭の1バイトしか読めません。

Answer 2

while read var はどのようにして読む行番号を取得しているのか

していません。

来たデータを「改行が来るまで読む」という動作を繰り返しているだけです。読み取ったデータはストリームから取り除かれますので、次にreadを行ったときには次の行が取得されます。

Comments

[slimat]

ご回答ありがとうございます.

>読み取ったデータはストリームから取り除かれます
そういう仕組だったんですね.