std::is_floating_point 是标准库 中的编译期类型特征，用于判断类型是否为浮点类型（如 float、double 等），返回 bool 值，常用于 static_assert、if constexpr 等场景以实现类型约束和分支编译。
std::is_floating_point 是什么，它能做什么
std::is_floating_point 是标准库 <type_traits></type_traits> 中的类型特征（type trait），用于在编译期判断某个类型是否为浮点类型（float、double、long double，以及可能的扩展浮点类型如 __float128，取决于编译器支持）。它不运行时求值，返回的是一个 std::integral_constant<bool value></bool> 类型，因此可直接用于 static_assert、模板特化、if constexpr 等上下文。
怎么用 static_assert 在编译期拦截非浮点类型
最直接的用途是防止模板被错误实例化。比如你写了一个只该处理浮点数的数值函数：
template<typename t>
T safe_divide(T a, T b) {
static_assert(std::is_floating_point_v<t>, "T must be a floating-point type");
return b != T{0} ? a / b : std::numeric_limits<t>::quiet_NaN();
}</t></t></typename>
这时传入 int 会触发编译错误，错误信息明确指出类型约束失败。注意必须用 std::is_floating_point_v<t></t>（C++17 引入的变量模板），而不是 std::is_floating_point<t>::value</t>，前者更简洁且不易拼错。
- 别漏掉
#include <type_traits></type_traits>，否则编译失败 -
std::is_floating_point_v<void></void>、std::is_floating_point_v<int></int>都是false，它只对“裸”浮点类型返回true - 自定义浮点类（如
struct my_float）默认不是true，除非你显式特化该 trait（一般不推荐）
如何配合 if constexpr 做分支编译
当需要同一模板对浮点/非浮点类型做不同逻辑时，if constexpr 是最佳选择。例如一个通用的“归一化”函数：
template<typename t>
T normalize(T x) {
if constexpr (std::is_floating_point_v<t>) {
return x / std::abs(x); // 浮点：允许除零得 inf 或 NaN
} else {
return x > T{0} ? T{1} : (x
<p>这种写法确保只有对应分支的代码参与编译，不会因未定义行为（如整数除零）或缺失符号（如 <code>std::abs(float)</code> 对 <code>int</code> 不必要）导致错误。</p>
<ul>
<li>
<code>if constexpr</code> 分支里不能出现该分支不适用的表达式（如对 <code>int</code> 调用 <code>std::isnan</code>），否则即使不执行也会编译失败</li>
<li>
<code>std::is_floating_point_v<t></t></code> 在 <code>if constexpr</code> 中必须是常量表达式，而它确实是——所以放心用</li>
<li>不要用普通 <code>if</code> 替代，那只是运行时分支，无法规避非法表达式</li>
</ul>
<h3>常见误判和兼容性陷阱</h3>
<p><code>std::is_floating_point</code> 判断非常严格，但有几个容易混淆的边界情况：</p>
<ul>
<li>
<code>std::is_floating_point_v<float></float></code> → <code>true</code>，但 <code>std::is_floating_point_v<const float></const></code> → <code>false</code>，因为 cv 限定符改变了类型。实际使用前建议先 <code>std::remove_cv_t<t></t></code>
</li>
<li>
<code>std::is_floating_point_v<:complex>></:complex></code> → <code>false</code>，复数不是浮点类型，哪怕其分量是</li>
<li>某些嵌入式平台或老编译器（如 GCC 4.8 之前）可能不完全支持 <code>std::is_floating_point_v</code>，需降级用 <code>std::is_floating_point<t>::value</t></code> 并确认 C++11 或更高标准</li>
<li>
<code>long double</code> 在部分平台（如 Windows MSVC）与 <code>double</code> 二进制兼容，但仍被识别为浮点类型；而 <code>__float128</code> 在 GCC 下需开启 <code>-mfloat128</code> 才被 <code>std::is_floating_point</code> 认出</li>
</ul>
<p>真正要注意的，是类型脱 cv 和引用后的原始类型——多数模板库里都会先做 <code>std::decay_t<t></t></code> 或 <code>std::remove_reference_t<:remove_cv_t>></:remove_cv_t></code> 再判断，否则很容易在转发引用场景下误判。</p></t></typename>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
