名前空間
変種
操作

std::is_destructible, std::is_trivially_destructible, std::is_nothrow_destructible

提供: cppreference.com
< cpp‎ | types
 
C++
 
ユーティリティライブラリ
汎用ユーティリティ
日付と時間
関数オブジェクト
書式化ライブラリ (C++20)
(C++11)
(C++14)
関係演算子 (C++20で非推奨)
整数比較関数
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
(C++20)
スワップと型操作
(C++20)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
一般的な語彙の型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)

初等文字列変換
(C++17)
(C++17)
(C++17)
 
型サポート
型の性質
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++11)
(C++11)
(C++11)
(C++11)(C++20未満)
(C++11)(C++20で非推奨)
(C++11)
(C++11)
(C++20)
(C++20)
(C++17)
型特性定数
(C++11)(C++17)(C++11)(C++11)
メタ関数
(C++17)
(C++17)
(C++17)
定数評価文脈
(C++20)
サポートされている操作
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
is_destructibleis_trivially_destructibleis_nothrow_destructible
(C++11)(C++11)(C++11)
(C++11)
(C++17)(C++17)(C++17)(C++17)
関係と性質の問い合わせ
型変更
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
型変換
(C++11)
(C++11)
(C++11)
(C++20)
(C++11)
(C++17)
(C++11)
(C++11)
(C++20)
(C++11)
(C++11)(C++20未満)(C++17)
(C++20)
 
ヘッダ <type_traits> で定義
template< class T >
struct is_destructible;
 (1) (C++11以上)
template< class T >
struct is_trivially_destructible;
 (2) (C++11以上)
template< class T >
struct is_nothrow_destructible;
 (3) (C++11以上)
1) T 型のメンバオブジェクトを持つ架空の構造体が削除されていないデストラクタを持つ場合、 true に等しいメンバ定数 value が提供されます。 それ以外の型に対しては、 value は false です。 (C++14未満)

1) T が参照型の場合、 true に等しいメンバ定数 value が提供されます。

T が void (または cv 修飾された void)、関数型、またはサイズの不明な配列の場合、 value は false に等しくなります。

T がオブジェクト型の場合、 std::remove_all_extents<T>::type と等しい型 U について、式 std::declval<U&>().~U() が未評価文脈で well-formed であれば、 value は true に等しくなります。 そうでなければ、 value は false に等しくなります。

(C++14以上)

2) 1) と同じですが、さらに std::remove_all_extents<T>::type が非クラス型またはトリビアルなデストラクタを持つクラス型です。

3) 1) と同じですが、デストラクタは noexcept です。

T は完全型 (またはその cv 修飾された型)、 void、またはサイズの未知な配列でなければなりません。 そうでなければ、動作は未定義です。

上記のテンプレートの実体化が直接または間接的に不完全型に依存しており、もしその型が仮に完全型であったならばその実体化が異なる結果を産むであろう場合は、動作は未定義です。

目次

[編集] ヘルパー変数テンプレート

template< class T >
inline constexpr bool is_destructible_v = is_destructible<T>::value;
 (C++17以上)
template< class T >
inline constexpr bool is_trivially_destructible_v = is_trivially_destructible<T>::value;
 (C++17以上)
template< class T >
inline constexpr bool is_nothrow_destructible_v = is_nothrow_destructible<T>::value;
 (C++17以上)
[edit]

std::integral_constant から継承

メンバ定数

value
[静的]
 T が破棄可能ならば true、そうでなければ false
(パブリック静的メンバ定数)

メンバ関数

operator bool
 オブジェクトを bool に変換します。 value を返します
(パブリックメンバ関数)
operator()
(C++14)
 value を返します
(パブリックメンバ関数)

メンバ型

型 定義
value_type bool
type std::integral_constant<bool, value>

[編集] ノート

スタックの巻き戻し中 (通常は予測できない) にデストラクタから例外が投げられると、 C++ のプログラムは終了してしまうため、すべての実用的なデストラクタは、 noexcept と宣言されていなくても、例外を投げません。 C++ 標準ライブラリ内のすべてのデストラクタは、例外を投げません。

トリビアルに破棄可能なオブジェクトによって占められている記憶域は、デストラクタを呼ぶことなく再利用できます。

[編集] 例

Run this code
#include <iostream>
#include <string>
#include <type_traits>
struct Foo {
   std::string str;
   ~Foo() noexcept {};
};
struct Bar {
    ~Bar() = default;
};
int main() {
    std::cout << std::boolalpha
              << "std::string is destructible? "
              << std::is_destructible<std::string>::value << '\n'
              << "Foo is nothrow destructible? "
              << std::is_nothrow_destructible<Foo>::value << '\n'
              << "Bar is trivally destructible? "
              << std::is_trivially_destructible<Bar>::value << '\n';
}

出力: 

std::string is destructible? true
Foo is nothrow destructible? true
Bar is trivally destructible? true

[編集] 関連項目

(C++11)(C++11)(C++11)
 型が特定の引数に対するコンストラクタを持っているかどうか調べます
(クラステンプレート) [edit]
(C++11)
 型が仮想デストラクタを持っているかどうか調べます
(クラステンプレート) [edit]
「https://ja.cppreference.com/mwiki/index.php?title=cpp/types/is_destructible&oldid=42579」から取得