template< class T >
struct is_trivial;
std::is_trivial
is a UnaryTypeTrait.
If T
is a trivial type, provides the member constant value
equal to true. For any other type, value
is false.
If std::remove_all_extents_t<T> is an incomplete type and not (possibly cv-qualified) void, the behavior is undefined.
If the program adds specializations for std::is_trivial
or std::is_trivial_v
, the behavior is undefined.
template< class T >
constexpr bool is_trivial_v = is_trivial<T>::value;
T
is a trivial type, false otherwise
#include <type_traits> struct A { int m; }; static_assert(std::is_trivial_v<A> == true); struct B { B() {} }; static_assert(std::is_trivial_v<B> == false); // The following class shows why std::is_trivial(_v) may be a pitfall. class C { private: C() = default; }; static_assert(std::is_trivial_v<C> == true); static_assert(std::is_trivially_default_constructible_v<C> == false); int main() {}[edit] Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR Applied to Behavior as published Correct behavior LWG 2015 C++11T
could be an array of incomplete
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4