has_trivial_destructor Class

Статья
02/20/2013

Тесты если тип имеет тривиальный деструктор.

template<class Ty>
    struct has_trivial_destructor;

Параметры

Ty
Тип для запроса.

Заметки

Экземпляр предиката типа выполняются, если тип Ty класс, имеющий деструктор тривиальный, в противном случае он хранит false.

Деструктор класса Ty тривиальны, если:

таким образом, объявленный деструктор

все объекты, непосредственно базового класса Ty наличие тривиальные деструкторы

классы всех non-статических элементов данных типа класса имеют тривиальные деструкторы

классы всех non-статических элементов данных массива типа класса имеют тривиальные деструкторы

Пример

// 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::has_trivial_destructor<trivial>::value << std::endl; 
    std::cout << "has_trivial_destructor<throws> == " << std::boolalpha 
        << std::has_trivial_destructor<throws>::value << std::endl; 
 
    return (0); 
    }