std::is_floating_point是编译期类型特征，仅判断类型是否为浮点类型（如float、double等），不能用于运行时数值检测；误作值判断会导致编译错误或逻辑错误。
std::is_floating_point 是编译期类型判断，不是运行时数值检测
它不能用来判断一个变量的值是不是浮点数（比如 42 还是 3.14），只用于检查某个类型是否属于浮点类型（float、double、long double 或其 cv 限定版本）。误以为能用它判断 auto x = 3.14; 的值类型，会导致编译失败或逻辑错乱。
常见错误现象：
– 写成 std::is_floating_point<decltype>::value</decltype> 却传入 int 变量，结果为 false，但这跟“数值是否含小数点”完全无关；
– 尝试对运行时值调用，如 std::is_floating_point(3.14)，直接编译报错 —— 它不是函数，是模板类。
-
std::is_floating_point是<type_traits>中的变量模板（C++17 起）或类模板（C++11/14），必须作用于类型 - 支持的浮点类型包括：
float、double、long double，以及它们的const/volatile组合，如const float - 对
std::string、int、auto推导出的整型、甚至std::complex<float></float>都返回false
如何正确使用 std::is_floating_point 检查类型
典型场景是模板元编程中做类型分发，比如写一个通用打印函数，对浮点类型加精度控制，对整型不处理小数部分。
#include <type_traits>
#include <iostream>
template<typename T>
void print_value(const T& v) {
if constexpr (std::is_floating_point_v<T>) {
std::cout << std::fixed << std::setprecision(2) << v << '\n';
} else {
std::cout << v << '\n';
}
}
关键点：
– 必须配合 if constexpr（C++17）或 SFINAE（C++11/14）使用，否则编译器会尝试实例化不合法分支；
– C++17 起推荐用 std::is_floating_point_v<T>（变量模板），比 std::is_floating_point<T>::value 更简洁；
– 不要把它和 std::numeric_limits<T>::is_iec559 混用 —— 后者判断是否符合 IEEE 754，不是类型分类。
立即学习“C++免费学习笔记（深入）”；
运行时“数值是否为浮点”的替代方案
如果你真正想解决的是“这个变量的值能不能被当作浮点数安全使用”，比如解析字符串或处理用户输入，std::is_floating_point 完全无用。你需要的是：
- 对字符串：用
std::stof/std::stod并捕获std::invalid_argument和std::out_of_range - 对
double类型变量判断是否为整数值：用std::floor(x) == x && !std::isnan(x) && !std::isinf(x) - 对任意算术类型泛型判断：先用
std::is_arithmetic_v<T>确保是数，再根据std::is_floating_point_v<T>分支决定是否做std::modf拆分
注意：std::is_floating_point_v<decltype(42)> 是 false，std::is_floating_point_v<decltype(42.0)> 是 true —— 区别只在字面量后缀或声明方式，不在数值本身。
容易忽略的 cv 限定与引用影响
std::is_floating_point 对引用和 cv 限定符有明确行为：它只看“去掉引用和 cv 后的底层类型”。这意味着：
-
std::is_floating_point_v<float&>→true -
std::is_floating_point_v<const double&>→true -
std::is_floating_point_v<volatile long double>→true -
std::is_floating_point_v<float*>→false（指针不是浮点类型）
所以实际模板中无需手动 std::remove_reference_t 或 std::remove_cv_t —— 标准库已内置处理。但若你手写了类型擦除容器（如 std::any），再用 std::is_floating_point 就毫无意义，因为 std::any 的类型信息已丢失。
