どういう時に何を使ったらいいのかイマイチよくわからなかったので。
参考:
C とかでよくみるエラー処理の方法は以下
enum ErrorCode : int {
NONE
, GENERIC
, UNKNOWN
};
const ErrorCode fx( void ) {
return NONE;
}
void fx2( ErrorCode& code ){
code = GENERIC;
}
int main( void ) {
if( fx() != NONE ) {
std :: cout << "Error!" << std :: endl;
return 1;
}
ErrorCode err;
fx2( err );
if( err != NONE ) {
std :: cout << "Error!" << std :: endl;
return 1;
}
return 0;
}
簡単なコード解説
enum ErrorCode : int {
NONE
, GENERIC
, UNKNOWN
};
エラーコードを返す簡易的な列挙型
const ErrorCode fx( void ) {
return NONE;
}
返り値を ErrorCode とする形式の関数
void fx2( ErrorCode& code ){
code = GENERIC;
}
こちらは引数で ErrorCode を返す形式の関数
それぞれの呼び出しとエラー処理は
if( fx() != NONE ) {
std :: cout << "Error!" << std :: endl;
return 1;
}
ErrorCode err;
fx2( err );
if( err != NONE ) {
std :: cout << "Error!" << std :: endl;
return 1;
}
このようになっている。実行結果はこちら
Error!
Program ended with exit code: 1
今まで通りの方法は、
エラーコード(関数戻り値)、または
errnoなどのグローバル変数によりエラーを通知する。しかしこれらの手法には下記理由によりうまく機能しない場合があり得る。
- エラーコードによる通知では、コンストラクタで発生したエラーを通知できない。また、戻り値をチェックしないプログラマもいる(私は
printfの戻り値をチェックするプログラマを見たことがない)。errnoなどのグローバル変数を使用した通知では、マルチスレッド環境では確実にエラーを検出できない可能性がある(別スレッドがグローバル変数を書き換えてしまう可能性があるため)。また、 呼び出し側で常にerrnoを初期化する手間が発生する。
汎用的にエラーを扱う仕組みが無いため、上に挙げた方法を非体系的に組み合わせることになる。 その組み合わせ方には大した根拠の無いことが多く、組み合わせ方はプログラマにより異なったものになり得る。 その結果、一貫性の無い、汚いコードができあがる。
コードのいたるところにエラーをチェックする処理が追加される (各関数の冒頭でのパラメータチェックや、関数の戻り値チェックなど)。 こういったチェックはエラーが発生していない場合でも実行され、当然ながら実行にはコストがかかる。
という欠点がある。上で引用させてもらったページではいくつかサンプルコードも載っている。 C++ では例外処理にいくつか選択肢が増えている。だが一方で増えた分落とし穴も増えているのでそれらを確かめながら例外処理の選択肢を増やしていく。