4. is_nothrow_swappable_with

    • Class / Function / Type

      std::

    • Header file

      <>

    • Other / All

    crsearch v3.0.23

    最終更新日時(UTC):
    が更新

    履歴 編集

    class template
    <type_traits>

    std::is_nothrow_swappable_with

    namespace std {
  template <class T, class U>
  struct is_nothrow_swappable_with;

  template <class T, class U>
  inline constexpr bool is_nothrow_swappable_with_v
    = std::is_nothrow_swappable_with<T, U>::value;
}

    概要

    型TとUの値が、swap関数によって入れ替え可能であり、その際に例外を投げないかどうかを調べる。

    要件

    型TとUが、完全型であること。もしくはconst/volatile修飾された(あるいはされていない)voidか、要素数不明の配列型であること。

    効果

    型TとUの間でstd::swappable_with要件を満たしており、2つのswap関数が共に例外を投げない場合はtrue_typeから派生し、そうでなければfalse_typeから派生する。

    型TとUは参照でなければswapできないのでTとUが参照でない場合、結果はfalseとなる。

    備考

    このメタ関数はTとUについてのswap関数の直接のコンテキストの妥当性（そのシグネチャで有効なswapがあるかどうか）のみをチェックする。そのため、結果がtrueとなったとしてもswap関数の呼び出しができることは保証されない（その他の要因によりコンパイルエラーが発生する可能性がある）。

    また同様に、結果がtrueとなっても見つかったswap関数がswap動作をするかどうかも保証しない。

    例

    #include <type_traits>
#include <iostream>

struct spurious_swappable {};

void swap(spurious_swappable&, int&) noexcept {}
void swap(int&, spurious_swappable&) {}

int main()
{
  std::cout << std::boolalpha;

  std::cout << std::is_nothrow_swappable_with<int&, int&>::value << std::endl;

  //参照でなければならない
  std::cout << std::is_nothrow_swappable_with<int, int>::value << std::endl;

  //spurious_swappableは見かけ上はintとswap可能だが、片方のswap関数にnoexceptが無いためnothrow_swappable_withはfalseとなる
  std::cout << std::is_swappable_with<spurious_swappable&, int&>::value << std::endl;
  std::cout << std::is_nothrow_swappable_with<spurious_swappable&, int&>::value << std::endl;
}

    出力

    true
false
true
false

    バージョン

    言語

    • C++17

    処理系

    • Clang: ??
    • GCC: ??
    • Visual C++: 2015 update3 ✅, 2017 ✅
      • 2015 update3では、インテリセンスで表示されないが変数テンプレート共々定義されており利用可能である

    参照