Skip to content

Latest commit

 

History

History
78 lines (59 loc) · 2.96 KB

is_error_condition_enum.md

File metadata and controls

78 lines (59 loc) · 2.96 KB

is_error_condition_enum

  • system_error[meta header]
  • std[meta namespace]
  • class template[meta id-type]
  • cpp11[meta cpp]
namespace std {
  template <class T>
  struct is_error_condition_enum : public false_type {};

  template <>
  struct is_error_condition_enum<errc> : true_type {};

  template <class T>
  inline constexpr bool is_error_condition_enum_v
    = is_error_condition_enum<T>::value;    // C++17
}
  • false_type[link /reference/type_traits/false_type.md]
  • true_type[link /reference/type_traits/true_type.md]
  • errc[link errc.md]

概要

error_conditionのエラー値として見なせる列挙型かどうかを判定する。

is_error_condition_enumはデフォルトではfalse_typeを継承し、is_error_condition_enum<T>::valueはfalseとなる。

is_error_condition_enum<T>::value == trueであることを要求する関数（error_condition のコンストラクタ、および、代入演算子）にユーザー定義の列挙型を渡したい場合は、is_error_condition_enumクラスを特殊化し、true_typeを継承するよう特殊化する必要がある。

標準では、errc列挙型に対するtrue_typeの特殊化を提供する。

例

#include <system_error>

enum class user_defined_error {
  success = 0,
  error = 1,
};

int main()
{
  static_assert(std::is_error_condition_enum<std::errc>::value, "");
  static_assert(!std::is_error_condition_enum<user_defined_error>::value, "");
}
  • std::is_error_condition_enum[color ff0000]
  • std::errc[link errc.md]

出力

バージョン

言語

  • C++11

処理系

  • 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.4.7 [mark verified], 4.5.4 [mark verified], 4.6.4 [mark verified], 4.7.0 [mark verified], 4.7.3 [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++:

関連項目

参照