<type_traits> functions
The latest version of this topic can be found at <type_traits> functions.
| is_assignable | is_copy_assignable | is_copy_constructible |
| is_default_constructible | is_move_assignable | is_move_constructible |
| is_nothrow_move_assignable | is_trivially_copy_assignable | is_trivially_move_assignable |
| is_trivially_move_constructible |
is_assignable
Tests whether a value of From type can be assigned to a To type.
template <class To, class From>
struct is_assignable;
Parameters
To
The type of the object that receives the assignment.
From
The type of the object that provides the value.
Remarks
The unevaluated expression declval<To>() = declval<From>() must be well-formed. Both From and To must be complete types, void, or arrays of unknown bound.
is_copy_assignable
Tests whether type has can be copied on assignment.
template <class Ty>
struct is_copy_assignable;
Parameters
Ty
The type to query.
Remarks
An instance of the type predicate holds true if the type Ty is a class that has a copy assignment operator, otherwise it holds false. Equivalent to is_assignable<Ty&, const Ty&>.
is_copy_constructible
Tests if type has a copy constructor.
template <class Ty>
struct is_copy_constructible;
Parameters
Ty
The type to query.
Remarks
An instance of the type predicate holds true if the type Ty is a class that has a copy constructor, otherwise it holds false.
Example
#include <type_traits>
#include <iostream>
struct Copyable
{
int val;
};
struct NotCopyable
{
NotCopyable(const NotCopyable&) = delete;
int val;
};
int main()
{
std::cout << "is_copy_constructible<Copyable> == " << std::boolalpha
<< std::is_copy_constructible<Copyable>::value << std::endl;
std::cout << "is_copy_constructible<NotCopyable> == " << std::boolalpha
<< std::is_copy_constructible<NotCopyable>::value << std::endl;
return (0);
}
is_copy_constructible<Copyable> == true
is_copy_constructible<NotCopyable > == false
is_default_constructible
Tests if a type has a default constructor.
template <class Ty>
struct is_default_constructible;
Parameters
T
The type to query.
Remarks
An instance of the type predicate holds true if the type T is a class type that has a default constructor, otherwise it holds false. This is equivalent to the predicate is_constructible<T>. Type T must be a complete type, void, or an array of unknown bound.
Example
#include <type_traits>
#include <iostream>
struct Simple
{
Simple() : val(0) {}
int val;
};
struct Simple2
{
Simple2(int v) : val(v) {}
int val;
};
int main()
{
std::cout << "is_default_constructible<Simple> == " << std::boolalpha
<< std::is_default_constructible<Simple>::value << std::endl;
std::cout << "is_default_constructible<Simple2> == " << std::boolalpha
<< std::is_default_constructible<Simple2>::value << std::endl;
return (0);
}
is_default_constructible<Simple> == true
is_default_constructible<Simple2> == false
is_move_assignable
Tests if the type can be move assigned.
template <class T>
struct is_move_assignable;
Parameters
T
The type to query.
Remarks
A type is move assignable if an rvalue reference to the type can be assigned to a reference to the type. The type predicate is equivalent to is_assignable<T&, T&&>. Move assignable types include referenceable scalar types and class types that have either compiler-generated or user-defined move assignment operators.
is_move_constructible
Tests whether the type has a move constructor.
template <class T>
struct is_move_constructible;
Parameters
T
The type to be evaluated
Remarks
A type predicate that evaluates to true if the type T can be constructed by using a move operation. This predicate is equivalent to is_constructible<T, T&&>.
is_nothrow_move_assignable
Tests whether type has a nothrow move assignment operator.
template <class Ty>
struct is_nothrow_move_assignable;
Parameters
Ty
The type to query.
Remarks
An instance of the type predicate holds true if the type Ty has a nothrow move assignment operator, otherwise it holds false.
is_trivially_copy_assignable
Tests whether the type has a trivial copy assignment operator.
template <class Ty>
struct is_trivially_copy_assignable;
Parameters
T
The type to query.
Remarks
An instance of the type predicate holds true if the type T is a class that has a trivial copy assignment operator, otherwise it holds false.
An assignment constructor for a class T is trivial if it is implicitly provided, the class T has no virtual functions, the class T has no virtual bases, the classes of all the non-static data members of class type have trivial assignment operators, and the classes of all the non-static data members of type array of class have trivial assignment operators.
is_trivially_move_assignable
Tests whether the type has a trivial move assignment operator.
template <class Ty>
struct is_trivially_move_assignable;
Parameters
Ty
The type to query.
Remarks
An instance of the type predicate holds true if the type Ty is a class that has a trivial move assignment operator, otherwise it holds false.
A move assignment operator for a class Ty is trivial if:
it is implicitly provided
the class Ty has no virtual functions
the class Ty has no virtual bases
the classes of all the non-static data members of class type have trivial move assignment operators
the classes of all the non-static data members of type array of class have trivial move assignment operators
is_trivially_move_constructible
Tests if type has trivial move constructor.
template <class Ty>
struct is_trivially_move_constructible;
Parameters
Ty
The type to query.
Remarks
An instance of the type predicate holds true if the type Ty is a class that has a trivial move constructor, otherwise it holds false.
A move constructor for a class Ty is trivial if:
it is implicitly declared
its parameter types are equivalent to those of an implicit declaration
the class Ty has no virtual functions
the class Ty has no virtual bases
the class has no volatile non-static data members
all the direct bases of the class Ty have trivial move constructors
the classes of all the non-static data members of class type have trivial move constructors
the classes of all the non-static data members of type array of class have trivial move constructors