最終更新日時: 2024年06月11日 22時45分38秒 (JST)
Akira Takahashi が更新

履歴 編集

class template
<type_traits>

# std::is_destructible(C++11)

    namespace std {
      template <class T>
      struct is_destructible;

      template <class T>
      inline constexpr bool is_destructible_v
        = is_destructible<T>::value;   // C++17
    }

## 概要

型`T`が破棄可能か調べる

## 要件

型`T`は完全型であるか、`const`/`volatile`修飾された(あるいはされていない)`void`か、要素数不明の配列型でなければならない。

## 効果

`is_destructible`は、型`T`が破棄可能であるならば`true_type`から派生し、そうでなければ`false_type`から派生する。

- C++11 : 型`T`が完全型で `template <class U> struct test { U u; };` があるときに `test<T>::~test()` が`delete`宣言されていなければ、型`T`は破棄可能であると判断される。
- C++14 : 実行時に評価されない文脈で、オブジェクト型`T`に対する式`std::declval<T&>().~T()`が有効であれば破棄可能、そうでなければ破棄できないと判断される。
  - オブジェクト型に含まれない型の場合の判断は以下：
    - `T`が`void`の場合は破棄できない
    - `T`が参照型の場合は破棄可能
    - `T`が関数型の場合は破棄できない
  - また、配列型は`~T()`という式が有効でないため、破棄できない

## 例

    #include <type_traits>
    #include <locale>

    struct s
    {
      ~s() = delete;

      // デストラクタは = delete されている。
      // そのためデストラクトできない。
    };

    static_assert(std::is_destructible<int>::value == true, "value == true, int is destructible");
    static_assert(std::is_same<std::is_destructible<int>::value_type, bool>::value, "value_type == bool");
    static_assert(std::is_same<std::is_destructible<int>::type, std::true_type>::value, "type == true_type");
    static_assert(std::is_destructible<int>() == true, "is_destructible<int>() == true");

    static_assert(std::is_destructible<s>::value == false, "value == false, s is not destructible");
    static_assert(std::is_same<std::is_destructible<s>::value_type, bool>::value, "value_type == bool");
    static_assert(std::is_same<std::is_destructible<s>::type, std::false_type>::value, "type == false_type");
    static_assert(std::is_destructible<s>() == false, "is_destructible<int>() == false");

    static_assert(std::is_destructible<const int>::value == true, "const int is destructible");
    static_assert(std::is_destructible<int *>::value == true, "int * is destructible");
    static_assert(std::is_destructible<long>::value == true, "long is destructible");
    static_assert(std::is_destructible<int[1]>::value == true, "int[1] is destructible");

    static_assert(std::is_destructible<int[]>::value == false, "int[] is not destructible");
    static_assert(std::is_destructible<void>::value == false, "void is not destructible");
    static_assert(std::is_destructible<std::locale::facet>::value == false, "std::locale::facet is not destructible");
    static_assert(std::is_destructible<std::ctype<char>>::value == false, "std::ctype<char> is not destructible");

    int main(){}

### 出力

## バージョン

### 言語

- C++11

### 処理系

- Clang 3.1, 3.2, 3.3, 3.4(revision 188080)
- GCC: 4.7.3 ✅, 4.8.0 ✅, 4.8.1 ✅
- Visual C++: 2012 ✅, 2013 ✅, 2015 ✅
  - 2012～2013は、`delete`定義されたデストラクタを持つクラスにおいて、誤って`std::true_type`になっている。

#### 備考

Clang 3.1 - 3.3 では以下のようなエラーが出るが、これはClang付属のlibc++のバグである。

    prog.cc:27:1: error: static_assert failed "int[] is not destructible"
    static_assert(std::is_destructible<int[]>::value == false, "int[] is not destructible");
    ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    1 error generated.

revision 188080以降のClang 3.4ならばエラーが出ない。

## 参照

- LWG Issue 2049. `is_destructible` is underspecified
- P0006R0 Adopt Type Traits Variable Templates from Library Fundamentals TS for C++17