C++20起NTTP才支持浮点数和字面量类类型，此前double等完全不被允许；需满足constexpr构造/析构/拷贝、成员均为字面量类型，且实参必须是编译期常量字面量。
C++20起NTTP才支持浮点数和字面量类类型
在C++20之前，double、float等浮点类型**完全不被允许**作为非类型模板参数（NTTP），编译器会直接报错，例如：error: 'double' is not a valid type for a template non-type parameter。C++20引入了对浮点数和字面量类类型（Literal Types）的支持，但有严格前提：必须满足 constexpr 构造、析构、拷贝/移动，且所有成员均为字面量类型。
浮点数NTTP的正确写法与常见错误
即使在C++20中，也不能直接写 template<double d></double> —— 这仍非法。必须用 constexpr 浮点字面量，并配合 consteval 或显式模板实参约束：
-
template<auto v> struct FloatParam { static constexpr auto value = V; };</auto>是可行的（依赖auto推导 + C++20 NTTP扩展） -
FloatParam合法；但FloatParam可能因精度超出long double表示范围而失败 - 不能传变量或运行时计算值：
double x = 2.5; FloatParam<x></x>→ 编译错误，因为x不是常量表达式 - 不同浮点字面量即使数学相等，也可能生成不同特化（如
1.0vs1.），取决于编译器对字面量规范化处理
字面量结构体作为NTTP的必要条件
要让自定义结构体成为NTTP，它必须是“字面量类型（LiteralType）”，且满足C++20对NTTP的增强要求：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 所有构造函数（含默认、拷贝、移动）必须为
constexpr - 析构函数必须为
constexpr且非虚 - 所有非静态数据成员和基类都必须是字面量类型
- 不能有虚函数、虚基类、用户定义的
operator= - 典型安全写法：
struct Point { constexpr Point(int x, int y) : x(x), y(y) {} int x, y; };→ 可用于template<point p></point> - 但
struct Bad { std::string s; };不行，因为std::string非字面量类型
兼容性与实际使用建议
目前（2026年），主流编译器（GCC 13+、Clang 15+、MSVC 19.33+）已基本支持C++20 NTTP扩展，但细节行为仍有差异：
立即学习“C++免费学习笔记（深入）”；
- Clang 对浮点NTTP的字面量规范化更严格，
1e-5和0.00001可能被视为不同值 - MSVC 在结构体NTTP中对
static_assert的编译期求值时机较保守，建议避免在构造函数内做复杂 constexpr 断言 - 若需跨C++17/C++20项目，不要依赖浮点NTTP；改用整型缩放（如
template<int num int den></int>表示Num/Den）更稳妥 - 结构体NTTP的大小和对齐会影响模板实例化膨胀——每个不同值都生成独立类型，
Point{1,2}和Point{1,3}是两个完全无关的类型
最易被忽略的一点：NTTP结构体的每个字段都必须是编译期常量，连 constinit 都不够；必须是真正可嵌入符号名的值，比如 Point{42, -1} 可以，但 Point{get_const_x(), get_const_y()} 不行，除非这两个函数本身是 consteval。
