std::is_literal_type is a UnaryTypeTrait.

(This type trait has been deprecated^[1] and removed^[2] as offering negligible value to generic code.)

If T satisfies all requirements of LiteralType, 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_literal_type or std::is_literal_type_v, the behavior is undefined.

Template parameters

Helper variable template

Notes

Only literal types may be used as parameters to or returned from constexpr functions. Only literal classes may have constexpr member functions.

Example

#include <type_traits>

struct A { int m; };
static_assert(std::is_literal_type_v<A> == true);

struct B { virtual ~B(); };
static_assert(std::is_literal_type_v<B> == false);

int main() {}

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

External links