2

C言語におけるコマンドライン引数の処理と
<errno.h>を用いたエラー対処について聞きたいことがあります。
想定している仕様と実行環境はC99, C11あたりとPOSIX互換OSです。

コマンドライン引数を検査して、それがプログラムの仕様を満たしていない場合、
エラーを表示してプログラムを停止させようとしています。

こういう場合、たいていの教科書
(一例: 渡辺知恵美『システムプログラミング入門』)では、
printf関数などを用いてエラーメッセージを出力するという実装を行っています。
また、実用されるソフトウェアでは、
(一例: musl libcのgetopt関数の(現時点での)実装)では、
自前の関数のなかでfwrite関数などを用いてエラーメッセージを出力しています。

そこで、
標準(例えばThe Open Group Base Specifications Issue 7, 2018 edition)で用意されているエラーコード
(コンパイル中に実行環境に応じたエラー番号に展開されるマクロ文字列)
の中から、
今のエラー状況を説明するのに適したものを選び、
それをその場でerrno変数に設定してから、
perror関数でメッセージを出してもいいですか。
「いいですか」というのはかなり微妙な聞き方で申し訳ないのですが、
「実装もできてちゃんと動いている(ように見える)けど、
このやり方ではマズいことが起こる」
あるいは
「この設計はある理由から悪手である」
といったことを知りたいです。

※「自分で考えた独自のエラーコードを設定する」ことではなく、
「(標準で定義されている)エラーコードから自分が適当であると判断した
ものを選び、それをその場でerrno変数に設定する」
ことを想定しています。
「自分で設定する」のはerrno変数であり、
エラーコードは既存のものを使います。

実装の例::

#include <stdio.h>
#include <stdlib.h>
#include <errno.h>

/*
 * $ prog
 * → 引数がないので失敗
 * $ prog a
 * → 引数があるので成功(実際はこの後色々処理)
 */

int main(
    int argc,
    char* argv[]
) {
    if (argc != 2) {
     /*
      * 問題の箇所。
      * この場所における「エラーの状況」は、
      * 「引数の個数が違う」という状況なので、
      * https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/errno.h.html
      * などを参考に、
      * 「引数が不正である」ことを意味する
      * EINVALというエラーコードをerrno変数に設定する。
      */
     errno = EINVAL;

     perror("Needs command line argument");
     exit(EXIT_FAILURE);
     }

    printf("Argument is: %s.\n", argv[1]);
    
    exit(EXIT_SUCCESS);
}

実演::
https://wandbox.org/permlink/pH32RuTr0K4DLs3j

そもそも、どうしてerrno変数とperror関数とを使いたいかというと、
エラー対処の方法を「統一」したいなと思ったからです。
例示したプログラムは引数の個数のみを調べて終了していますが、
実際には、例えばstrtol関数によって引数文字列を数値として読むなど、
より複雑な引数処理が行われますよね。
そういう場面におけるエラー対処は、
(少なくともある教科書では)ほとんどがperror関数を用いて行われています。
これは、そこでの処理に用いる関数が
エラーコードをerrno変数に設定することによって
エラーおよびその種別を報告するからなのですが、
逆に「実行する処理がerrno変数を設定しないという理由で、
perror関数を用いた統一的なエラー対処を行わないのはちょっと変じゃないか」
と感じたのです。
そこで、errno変数にエラーコードをその場で設定することで、
エラー対処方法を
「errno変数とperror関数とを用いる」ことに統一しようとした次第です。

エラーコードをerrno変数を設定しない処理でのエラー対処において、
自分でerrno変数を設定するという行為の危険性や、
反対に、業務プログラムやOSSなど実用プログラムにかかわるなかで、
そういった実装をした、あるいは出会った経験がありましたら
教えていただきたいです。
また、そもそも実用のプログラムではperror関数は使わないほうがいい、
というような暗黙の常識などがあれば、ぜひ知りたいです。

よろしくお願いします。

1
  • せっかく編集いただいたのですが errno 変数そのものと errno に格納されるであろうエラーコード値はプログラム的にも日本語的にも違うものです。その辺を区別して再編集いただけるとより良い質疑応答になりそうです。
    – 774RR
    2021年11月11日 4:09

1 件の回答 1

3

man errno にも書かれていますが errno は「変更可能な左辺値」ですので「変更することは問題ない」です。マニュアルには 0 にするとよい状況が書かれています。かつ、エラーコード値は正の整数値であるとされています。説明がそれだけということはつまり、具体的なエラーコード値が何であるかは POSIX では規定していません。実際、ウチの hpux11.11 と cygwin でエラー値は異なります。

cygwin では #define ENOTEMPTY 90
hpux11.11 では #define ENOTEMPTY 247

ということで、あなたが新しい EHOGEPIYO なるエラーコードを採用しようとしたとして、それに割り振るエラー値は既にシステムが用意している値とカブルかもしれません。かぶらせてしまうと誤動作します。

また当然ながら perror() もあなたの追加した EHOGEPIYO に対してエラーメッセージを持っていませんから、使い道がないです。

なので EHOGEPIYO なるエラーコードをユーザーの一人が勝手に使おうとしても、それだけではシステム全体に追加することにはならない上に POSIX システム間での互換性がなくなるので意味がない=誰もやらない、ということです。


質問が編集された結果内容が変わったので追記

Q. errno に、標準のエラー値( EINVAL など)を自分で設定することは是か非か
A. man errno には末端プログラマが errno=0; とすべき状況が書かれていますが非0値を代入することに関して良いとも悪いとも書かれていません。 errno が「変更可能な左辺値」である以上は非0値を代入することができます。あなたが POSIX ライブラリ関数(の拡張)の作者であるなら必要な時に errnoEINVAL を代入することは問題ないでしょう。ライブラリ関数が errno=0; にすることはないと解説されていますので、ライブラリ関数(の拡張)の作者としては errno=0; とすることはまずそうです。ライブラリ関数の作者でない一般プログラマがあっても「代入すること」自体は問題ないです。

通常のプログラムで errno=EINVAL; のようなコードをあまり見ない理由は単純です。

  • errno を変更するのはライブラリ関数であるというコンセンサスが既にある
  • 関数の引数とプログラムの引数は使用者にとって違うものなので、「関数の引数が間違っている」をもって「プログラムの使い方が間違っている」の意味にしてしまうと混乱が生じるであろう
  • POSIX 仕様が決めているエラーコードとエラーメッセージでは「あなたのプログラム固有のエラー」を表現しきれないであろう(末端使用者にとってはエラーメッセージなど不要で usage の解説が出るほうが嬉しいかもしれない)
  • POSIX 仕様が定めていない各システム固有の拡張エラーコードとエラーメッセージを使うと移植性がなくなる

使い手のことを考えない、プログラマだけの論理でコード書いても喜ばれないです。将来にわたって自分以外の人物が使うことは絶対ないと断言できるならお好きにどうぞ。

1
  • すいません、質問が言葉足らずでした。 「自分でerrno変数を設定する」というのは、「自分で考えた独自のerrno変数を設定する」という意味ではなくて、「標準で定義されているerrno変数をその場で設定する」という意味でした。 質問を編集して、上述の意図を付け加えます。
    – cmplstofB
    2021年11月11日 3:48

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。