C++判断一个类是否是字面值类型 _ std::is_literal_type新标准【干货】-C++-PHP中文网

std::is_literal_type在C++17中被移除，因语义模糊且被constexpr语义取代；替代方案需按场景选择：NTTP用structural type判定，constexpr变量初始化应实测构造表达式。

c++判断一个类是否是字面值类型 _ std::is_literal_type新标准【干货】

std::is_literal_type 在 C++17 中已被移除，直接使用它会编译失败——别再查旧文档或复制过时代码了。

为什么 `std::is_literal_type` 编译不过？

C++17 起，std::is_literal_type 被正式废弃并删除。它曾用于判断类型是否为“字面值类型”（literal type），但标准发现该 trait 语义模糊、与实际常量求值需求脱节，且被 constexpr 语义逐步取代。

Clang/GCC 在 C++17 模式下遇到 std::is_literal_type 会报错：error: 'is_literal_type' is not a member of 'std'
即使在 C++14 中启用，它对用户自定义类的判定也仅检查“是否有 constexpr 构造函数 + 所有非静态成员可字面值化”，不反映真实 constexpr 上下文可用性
它无法识别 C++17 引入的 constexpr if 或 constexpr 成员函数带来的新能力

替代方案：用 `std::is_trivially_copyable` + `std::is_default_constructible` 粗略逼近？

没有完全等价的直接替代，但若你真正关心的是“能否安全放入 constexpr 变量或作为模板非类型参数（NTTP）”，应分场景处理：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

对于 C++20 NTTP（如 template struct X），类型必须是 structural type：即满足 std::is_trivially_copyable_v 且所有非静态数据成员及基类均为 structural type（递归判定），不能有虚函数/虚基类/不可复制成员
若目标是“能否声明为 constexpr T x{...}”，关键不是类型本身，而是初始化表达式是否满足 constexpr 约束——此时应测试具体构造，而非依赖 trait
std::is_trivially_destructible_v 和 std::is_trivial_v 可辅助判断底层内存行为，但和“字面值”无直接对应关系

实际检测：写个 SFINAE 或 `consteval` 尝试构造

最可靠的方式，是让编译器在 constexpr 上下文中尝试使用该类型——这比任何 trait 更贴近真实约束：

template<typename t>
consteval bool can_be_constexpr_constructed() {
    // 若 T 无默认构造函数，可改用 T{some_args}
    constexpr T t{};
    return true;
}

static_assert(can_be_constexpr_constructed<int>(), "");
static_assert(!can_be_constexpr_constructed<:vector>>(), ""); // 编译失败
</:vector></int></typename>