Skip to content

Files

Latest commit

faithandbravefaithandbrave
全体 : 動作確認した処理系に「検証済み」「未実装」の絵文字を入れた #1274
Jun 11, 2024
4774e39 · Jun 11, 2024

History

History
88 lines (73 loc) · 6.73 KB

failure.md

File metadata and controls

88 lines (73 loc) · 6.73 KB

failure

  • ios[meta header]
  • class[meta id-type]
  • std[meta namespace]
  • ios_base[meta class]
namespace std {
  // C++03 まで
  class ios_base::failure : public exception {
  public:
    explicit failure(const string& msg);
    virtual ~failure();                         // 備考を参照
    virtual const char* what() const throw();
  };

  // C++11 から
  class ios_base::failure : public system_error {
  public:
    explicit failure(const string& msg, const error_code& ec = io_errc::stream);
    explicit failure(const char* msg, const error_code& ec = io_errc::stream);
  };
}
  • ios_base[link ../ios_base.md]
  • exception[link ../../exception/exception.md]
  • system_error[link ../../system_error/system_error.md]
  • error_code[link ../../system_error/error_code.md]
  • io_errc[link ../io_errc.md]
  • string[link ../../string/basic_string.md]

概要

ios_base::failure は、ストリームライブラリ内の関数で、ストリームバッファ操作の間に検出したエラーを報告するために、例外として送出される全てのオブジェクトの型の基底クラスとして定義されている。
C++11 からは、エラー内容としてメッセージだけではなく、error_code を指定出来るようになった。
これによって、ストリームの操作で発生したエラーをプログラムから判別することが容易になる。
例えば、C++ 標準規格には、ストリームライブラリ内部で発生したエラーの error_code は io_errc::stream と iostream_category() で、OS レイヤで発生したエラーの error_code は system_category() で例外を送出するのが一般的だろうとの記載がある。
しかし、少なくとも現時点では error_code はあまり有効に機能していないようである。

メンバ関数

名前 説明 対応バージョン
(constructor) コンストラクタ
what エラーメッセージの取得 C++03 まで

なお、一見 C++11 で what() が無くなっているように見えるが、system_error::what() を継承しているため、メンバ関数自体は使用可能である。

備考

  • ios_base::failure は、C++11 から基底クラスが変更になっている。
    このため、C++03 まででも使用可能とするためには、基底クラスが system_error であることに依存しないようにする必要がある。
    なお、C++ 標準規格では、ライブラリの各クラスは基底クラスを直接継承しなくても（間接的に継承していれば）良いことになっている。
    このため、C++03 でも exception から直接派生していないかもしれないので、注意。
    （当然 C++11 でも system_error を直接継承していない可能性がある）
  • C++03 まではデストラクタが宣言されていたが、例外指定が誤っていたため（基底クラス exception のデストラクタには throw() が付いているため、派生クラスにも throw() が必要）、C++11 では宣言自体が削除された。

バージョン

言語

  • C++98

処理系

  • Clang: 3.0 [mark verified], 3.1 [mark verified], 3.2 [mark verified], 3.3 [mark verified], 3.4 [mark verified], 3.5.0 [mark verified], 3.6.0 [mark verified], 3.7.0 [mark verified], 3.8.0 [mark verified]
  • GCC: 4.3.6 [mark verified], 4.4.7 [mark verified], 4.5.4 [mark verified], 4.6.4 [mark verified], 4.7.3 [mark verified], 4.8.1 [mark verified], 4.8.2 [mark verified], 4.9.0 [mark verified], 4.9.1 [mark verified], 4.9.2 [mark verified], 5.1.0 [mark verified], 5.2.0 [mark verified], 6.0.0 [mark verified]
  • ICC: ??
  • Visual C++: ??

備考

  • GCC は 4.9.x までは C++11 モードでも system_error を継承していないので、注意が必要である。
  • GCC 5.1.0 以降は現時点では _GLIBCXX_USE_CXX11_ABI マクロが 1 の場合（通常のビルドでは 1 がデフォルト）、C++03 モードでも C++11 モードでもライブラリ内から送出された例外を ios_base::failure 型では catch できない。
    exception 型であれば catch することができるが、いずれにせよストリーム系の例外とそれ以外の例外を区別することができなくなってしまう。
    したがって、少なくともこの問題が解決されるまでは、_GLIBCXX_USE_CXX11_ABI マクロを 0 にする他ないだろう。（C++03 モードにおける コンストラクタの事後条件の違いも参照）
    なお、_GLIBCXX_USE_CXX11_ABI マクロを 0 にしてしまうと、4.9.x までと同様、モードにかかわらず system_error を継承しなくなってしまうので、注意すること。
  • Clang では、C++03 モードでも strcmp(what(), msg.c_str()) == 0 にはならない。

参照