has_trivial_destructor クラス
更新 : 2007 年 11 月
型に自明なデストラクタが存在するかどうかをテストします。
template<class Ty>
struct has_trivial_destructor;
パラメータ
- Ty
照会する型。
解説
型 Ty が自明なデストラクタを持ったクラスである場合、型述語のインスタンスは true を保持します。それ以外の場合は、false を保持します。
クラス Ty のデストラクタが自明であると見なされる条件は、次のとおりです。
暗黙的に宣言されたデストラクタである。
クラス Ty のすべての直接基本クラスに自明なデストラクタが存在する。
クラス型のすべての非静的データ メンバのクラスに自明なデストラクタが存在する。
クラスの配列型のすべての非静的データ メンバのクラスに自明なデストラクタが存在する。
使用例
// std_tr1__type_traits__has_trivial_destructor.cpp
// compile with: /EHsc
#include <type_traits>
#include <iostream>
struct trivial
{
int val;
};
struct throws
{
throws() throw(int)
{
}
throws(const throws&) throw(int)
{
}
throws& operator=(const throws&) throw(int)
{
}
~throws()
{
}
int val;
};
int main()
{
std::cout << "has_trivial_destructor<trivial> == " << std::boolalpha
<< std::tr1::has_trivial_destructor<trivial>::value << std::endl;
std::cout << "has_trivial_destructor<throws> == " << std::boolalpha
<< std::tr1::has_trivial_destructor<throws>::value << std::endl;
return (0);
}
has_trivial_destructor<trivial> == true
has_trivial_destructor<throws> == false
必要条件
ヘッダー : <type_traits>
名前空間 : std::tr1