has_trivial_destructor Class

Articolo
02/19/2013

Verificare se il tipo ha un distruttore semplice.

template<class Ty>
    struct has_trivial_destructor;

Parametri

Ty
Il tipo da eseguire la query.

Note

Un'istanza del predicato del tipo per poter se il tipo Ty è una classe che ha un distruttore semplice, è contenuta in caso contrario false.

Un distruttore di classe Ty è semplice se:

è un distruttore in modo implicito dichiarato

tutte le basi dirette della classe Ty disporre distruttori irrilevanti

le classi di tutti i membri dati non statico di tipo classe hanno distruttori irrilevanti

le classi di tutti i membri dati non statico di matrice di tipi di classe con distruttori irrilevanti

Esempio

// 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); 
    }