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

template< class T >
struct is_default_constructible;

template< class T >
struct is_trivially_default_constructible;

template< class T >
struct is_nothrow_default_constructible;

T должно быть полным типом (возможно, с квалификаторами cv), void или массивом неизвестной длины. В противном случае поведение не определено.

Если экземпляр шаблона выше зависит непосредственно или косвенно от неполного типа, и этот экземпляр мог бы дать другой результат, если бы этот тип был гипотетически завершен, поведение не определено.

Поведение программы, которая добавляет специализации для любого из шаблонов, описанных на этой странице, не определено.

Вспомогательные шаблоны переменных

template< class T >
inline constexpr bool is_default_constructible_v =
    is_default_constructible<T>::value;

template< class T >
inline constexpr bool is_trivially_default_constructible_v =
    is_trivially_default_constructible<T>::value;

template< class T >
inline constexpr bool is_nothrow_default_constructible_v =
    is_nothrow_default_constructible<T>::value;

Возможная реализация

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> {};

Примечания

Во многих реализациях std::is_nothrow_default_constructible также проверяет, выбрасывает ли деструктор, потому что он фактически noexcept(T()). То же самое относится к std::is_trivially_default_constructible, который в этих реализациях также требует, чтобы деструктор был тривиальным: GCC bug 51452, LWG issue 2116.

std::is_default_constructible<T> не проверяет, что T x; скомпилируется; он пытается прямую инициализацию с пустым списком аргументов (см. std::is_constructible). Таким образом, std::is_default_constructible_v<const int> и std::is_default_constructible_v<const int[10]> являются true.

Пример

#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

См. также