Namespaces
Variants
Views
Actions

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

From cppreference.com
< cpp‎ | types
Revision as of 16:34, 2 November 2012 by P12bot (Talk | contribs)

 
 
 
Type support
Basic types
Fundamental types
Fixed width integer types (C++11)
Numeric limits
C numeric limits interface
Runtime type information
Type traits
Primary type categories
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++14)
Supported operations
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible
(C++11)(C++11)(C++11)
Relationships and property queries
(C++11)
(C++11)
(C++11)
(C++11)
Type modifications
(C++11)(C++11)(C++11)
Type transformations
(C++11)
(C++11)
(C++11)
Type trait constants
 

Template:ddcl list begin <tr class="t-dsc-header">

<td>
Defined in header <type_traits>
</td>

<td></td> <td></td> <tr class="t-dcl ">

<td >
template< class T >
struct is_default_constructible;
</td>

<td > (1) </td> <td > (since C++11) </td> </tr> <tr class="t-dcl ">

<td >
template< class T >
struct is_trivially_default_constructible;
</td>

<td > (2) </td> <td > (since C++11) </td> </tr> <tr class="t-dcl ">

<td >
template< class T >
struct is_nothrow_default_constructible;
</td>

<td > (3) </td> <td > (since C++11) </td> </tr> Template:ddcl list end

1) Checks whether a type is DefaultConstructible, i.e. has an accessible explicit or implicit default constructor. If the requirement is met, a member constant value equal true is provided, otherwise value is false.

2) Same as 1), but the constructor expression does not call any operation that is not trivial.

3) Same as 1), but the constructor expression is noexcept.

Contents

Inherited from std::integral_constant

Member constants

value
[static]
true if T is default-constructible , false otherwise
(public static member constant)

Member functions

operator bool
converts the object to bool, returns value
(public member function)
operator()
(C++14)
returns value
(public member function)

Member types

Type Definition
value_type bool
type std::integral_constant<bool, value>
[edit template]

Possible implementation

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

Example

#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';
}

Output:

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

See also

checks if a type has a constructor for specific arguments
(class template) [edit]
checks if a type has a copy constructor
(class template) [edit]
checks if a type has a move constructor
(class template) [edit]