AWKプログラムで使用可能な特殊ファイル名。標準入力、標準出力、標準エラー出力など - AWK

AWKプログラムで使用可能な特殊ファイル名。標準入力、標準出力、標準エラー出力など - AWK

AWKの入出力とコマンド実行機能 ＜▲

getlineや printで標準入力や標準出力を使いたくなった時、特殊なファイル名を使用する事が出来ます。

o /dev/stdin -- 標準入力（= mawk不可）
o /dev/stdout -- 標準出力
o /dev/stderr -- 標準エラー出力

この他、Gawkでは、次の特殊ファイル名も使用できます。
o /dev/null -- 出力しない
o /dev/pid -- プロセスID（非推奨。Gawkでは変数 PROCINFO["pid"]の使用を推奨しています）

**** 使用例
--------
BEGIN {
  print "ミクさんの髪飾りは四角形" > "/dev/stderr";
}
--------

特別なファイル名の一覧

名前	Gawk on Windows 3.1.7	Gawk for Windows 3.1.6	mawk32 1.3.3	Mawk for Windows 1.3.3	awk (May 1, 2007)	説明
入力
/dev/stdin	○	○	×	×	○	標準入力 = コマンドプロンプト画面からの読み込み
/dev/fd/0	○	○	×	×	×	標準入力。/dev/stdin と同じです
出力
/dev/stdout	○	○	○	○	○	標準出力 = コマンドプロンプト画面への書き出し
/dev/stderr	○	○	○	○	○	標準エラー出力 = コマンドプロンプト画面への書き出しその2
/dev/null	○	○	×	×	×	どこにも出力しない
/dev/fd/1	○	○	×	×	×	標準出力。/dev/stdout と同じです
/dev/fd/2	○	○	×	×	×	標準エラー出力。/dev/stderr と同じです
/dev/tty	×	×	×	×	×	現在表示中のコマンドプロンプト画面に出力。バックグラウンドで使用不可
入力。プロセス情報など取得（非推奨）
/dev/pid	○	○	×	×	×	自分のプロセスID。変数「PROCINFO」の使用を推奨
/dev/ppid	×	×	×	×	×	親プロセスのID。変数「PROCINFO」の使用を推奨
/dev/pgrpid	×	×	×	×	×	自分のプロセスのグループID。変数「PROCINFO」の使用を推奨
/dev/user	×	×	×	×	×	1行にユーザーIDなど4情報。$1 = uid / $2 = euid / $3 = gid / $4 = egid。変数「PROCINFO」の使用を推奨

o この他に、「/inet/」から始まるインターネット接続用文字列があります。
    詳しくは「/inet = AWKからインターネットにアクセスする方法」（Gawk専用）


＝＝
関連ページ：
    ▼AWKの入出力関数とコマンド実行機能（▼ABC順）
    ▼AWKプログラムを書く（▼ABC順）
    ▼AWK
    ▼制作メモ
    ＞ ▼AWKのインターネット接続機能（Gawk専用）
    /dev/stderr = 標準エラー出力を示すファイル名
    PROCINFO = AWKのプロセスに関する情報。プロセスIDなど（Gawk専用）