std::is_default_constructible, std::is_trivially_default_constructible, std::is_nothrow_default_constructible

1) Se std::is_constructible<T>::value é true, provê o membro constante value igual a true, senão, value é false.

2) Se std::is_trivially_constructible<T>::value é true, provê o membro constante value igual a true, senão, value é false.

3) Se std::is_nothrow_constructible<T>::value é true, provê o membro constante value igual a true, senão, value é false.

T deve ser um tipo completo, (possivelmente qualificado como cv) void, ou uma sequência de tamanho indefinido. Caso contrário, o comportamento é indefinido.

[editar] Modelos de variáveis auxiliares

[editar] Possível implementação

template< class T>
struct is_default_constructible : std::is_constructible<T> {};
 
template< class T>
struct is_trivially_default_constructible : std::is_trivially_constructible<T> {};
 
template< class T>
struct is_nothrow_default_constructible : std::is_nothrow_constructible<T> {};

[editar] Notas

Em várias implementações, is_nothrow_default_constructible também verifica se o destruidor lança exceções, por ser definido como noexcept(T()). O mesmo se aplica a is_trivially_default_constructible, que, nessas implementações, também requer que o destruidor seja trivial: GCC bug 51452 LWG issue 2116.

std::is_default_constructible<T> não testa se T x; é compilável; ele tenta uma inicialização direta com uma lista vazia de argumentos (veja std::is_constructible). Logo, std::is_default_constructible_v<const int> e std::is_default_constructible_v<const int[10]> são true.

[editar] Exemplo

#include <iostream>
#include <type_traits>
 
struct Ex1 {
    std::string str; // member has a non-trivial default ctor
};
struct Ex2 {
    int n;
    Ex2() = default; // trivial and non-throwing
};
 
int main() {
    std::cout << std::boolalpha << "Ex1 is default-constructible? "
              << std::is_default_constructible<Ex1>::value << '\n'
              << "Ex1 is trivially default-constructible? "
              << std::is_trivially_default_constructible<Ex1>::value << '\n'
              << "Ex2 is trivially default-constructible? "
              << std::is_trivially_default_constructible<Ex2>::value << '\n';
              << "Ex2 is nothrow default-constructible? "
              << std::is_nothrow_default_constructible<Ex2>::value << '\n';
}

Ex1 is default-constructible? true
Ex1 is trivially default-constructible? false
Ex2 is trivially default-constructible? true
Ex2 is nothrow default-constructible? true

[editar] Veja também