op_constructor.md

コンストラクタ

• system_error[meta header]
• std[meta namespace]
• error_code[meta class]
• function[meta id-type]
• cpp11[meta cpp]

error_code() noexcept;                                   // (1)

error_code(int val, const error_category& cat) noexcept; // (2)

template <class ErrorCodeEnum>
error_code(ErrorCodeEnum e) noexcept;                    // (3)

• error_category[link ../error_category.md]

error_codeオブジェクトの構築

• (1) : デフォルトコンストラクタ。
• (2) : エラー値とエラーカテゴリを受け取って構築する。
• (3) : is_error_code_enum<ErrorCodeEnum>::value == trueとなる型のエラー値を受け取って構築する。

効果

• (1) : 値0(正常値)で構築する。エラーカテゴリはsystem_category()と見なされる。
• (3) : *this = make_error_code(e); となる。

例外

投げない

備考

• (3) : is_error_code_enumがfalseとなる場合、この関数はオーバーロード解決から除外される。

例

#include <iostream>
#include <system_error>

namespace std {
  // template <class ErrorCodeEnum>
  // error_code(ErrorCodeEnum e) noexcept
  // にerrcを渡せるようにするための特殊化
  template <>
  struct is_error_code_enum<std::errc> : std::true_type {};
}

int main()
{
  // デフォルトコンストラクタ
  std::cout << "default ctor" << std::endl;
  {
    std::error_code ec;

    if (ec) {
      std::cout << "error" << std::endl;
    }
    else {
      std::cout << "success" << std::endl;
    }

    std::cout << ec.value() << std::endl;
    std::cout << ec.category().name() << std::endl;
  }

  // エラー値とエラーカテゴリを受け取って構築
  std::cout << std::endl << "value & category ctor" << std::endl;
  {
    std::error_code ec(static_cast<int>(std::errc::invalid_argument),
                       std::generic_category());

    if (ec) {
      std::cout << "error" << std::endl;
    }
    else {
      std::cout << "success" << std::endl;
    }

    std::cout << ec.value() << std::endl;
    std::cout << ec.category().name() << std::endl;
  }

  // is_error_code_enumが特殊化された型のエラー値を受け取って構築
  std::cout << std::endl << "ErrorCodeEnum ctor" << std::endl;
  {
    std::error_code ec(std::errc::invalid_argument);

    if (ec) {
      std::cout << "error" << std::endl;
    }
    else {
      std::cout << "success" << std::endl;
    }

    std::cout << ec.value() << std::endl;
    std::cout << ec.category().name() << std::endl;
  }
}

• is_error_code_enum[link /reference/system_error/is_error_code_enum.md]
• std::errc[link /reference/system_error/errc.md]
• ec.value()[link value.md]
• ec.category()[link category.md]
• name()[link /reference/system_error/error_category/name.md]
• std::errc::invalid_argument[link /reference/system_error/errc.md]
• std::generic_category()[link /reference/system_error/generic_category.md]

出力

default ctor
success
0
system

value & category ctor
error
22
generic

ErrorCodeEnum ctor
error
22
generic

バージョン

言語

• C++11

処理系

• Clang: ??
• GCC: 4.6.1
• ICC: ??
• Visual C++: 2010 (enum class未対応のため、ErrorCodeEnumのコンストラクタは動作しない)

参照