std::is_copy_constructible,std::is_trivially_copy_constructible, (3) - Linux Manuals
std::is_copy_constructible,std::is_trivially_copy_constructible,: std::is_copy_constructible,std::is_trivially_copy_constructible,
NAME
std::is_copy_constructible,std::is_trivially_copy_constructible, - std::is_copy_constructible,std::is_trivially_copy_constructible,
Synopsis
Inherited from std::integral_constant
Defined in header
template<
struct is_copy_constructible;
template<
struct is_trivially_copy_constructible;
template<
struct is_nothrow_copy_constructible;
1)
type with a cv-qualifier-seq or a ref-qualifier), provides a member constant value
equal to false. Otherwise, provides a member constant value equal to
std::is_constructible<T, const T&>::value.
2)
3)
T shall be a complete type,
bound. Otherwise, the behavior is undefined.
If an instantiation of a template above depends, directly or indirectly, on an
incomplete type, and that instantiation could yield a different result if that type
were hypothetically completed, the behavior is undefined.
template<
inline constexpr bool is_copy_constructible_v
is_copy_constructible<T>::value;
template<
inline constexpr bool is_trivially_copy_constructible_v
is_trivially_copy_constructible<T>::value;
template<
inline constexpr bool is_nothrow_copy_constructible_v
is_nothrow_copy_constructible<T>::value;
Member constants
value
[static] Member functions
operator bool converts the object to bool, returns value
operator()
(C++14) Member types
Type
value_type bool
type Possible implementation
template<class T>
struct is_copy_constructible :
template<class T>
struct is_trivially_copy_constructible :
template<class T>
struct is_nothrow_copy_constructible :
Notes
In many implementations, is_nothrow_copy_constructible also checks if the destructor
throws because it is effectively noexcept(T(arg)). Same applies to
is_trivially_copy_constructible, which, in these implementations, also requires that
the destructor is trivial: GCC bug 51452 LWG issue 2116.
Example
// Run this code