std::is_literal_type

std::is_literal_type 是 C++11 引入的一个类型特征（type trait），用于在编译时检查一个类型是否为字面量类型（literal type）。字面量类型是指那些可以在编译时常量表达式中使用的类型。这通常意味着类型具有一些特定的属性，比如它的所有非静态数据成员都是字面量类型，且它的构造函数、析构函数以及拷贝赋值运算符（如果有的话）都是 constexpr（即可以在编译时求值的函数）。

具体来说，std::is_literal_type<T>::value 会是一个布尔值，当 T 是字面量类型时，该值为 true；否则为 false。

字面量类型的一个关键特性是它们可以被用作 constexpr 变量的类型。constexpr 变量是在编译时就确定其值的变量，这要求变量的类型能够在编译时构造和销毁。

例如：

#include <type_traits>
#include <iostream>

struct MyStruct {
    int a;
    constexpr MyStruct(int val) : a(val) {}
};

int main() {
    std::cout << std::boolalpha;
    std::cout << "is_literal_type<int>: " << std::is_literal_type<int>::value << std::endl;
    std::cout << "is_literal_type<MyStruct>: " << std::is_literal_type<MyStruct>::value << std::endl;
    return 0;
}

在这个例子中，int 是一个字面量类型，因此 std::is_literal_type<int>::value 会输出 true。MyStruct 由于其构造函数是 constexpr，且其成员 a 也是字面量类型，因此 MyStruct 也是字面量类型，std::is_literal_type<MyStruct>::value 同样会输出 true。

需要注意的是，即使一个类型满足字面量类型的所有要求，但如果它的成员或基类的析构函数不是 noexcept，它也可能不被视为字面量类型。这是因为字面量类型要求能够在编译时安全地构造和销毁，而 noexcept 保证了析构函数不会抛出异常，从而保证了类型的安全性。