std::is_floating_point 是 C++ 编译期类型特征，用于静态判断类型 T 是否为标准浮点类型（如 float、double、long double），结果在编译期确定，支持 static_assert、if constexpr 等零开销元编程。
std::is_floating_point 是什么，它在编译期能做什么
std::is_floating_point 是 C++ 标准库中定义在 <type_traits> 头文件里的一个类型特征（type trait），它不是一个运行时函数，而是一个编译期常量表达式——本质是继承自 std::integral_constant<bool, value> 的类模板特化。它的作用非常明确：对给定类型 T，静态判断它是否为浮点类型（即 float、double、long double，以及可能的扩展浮点类型如 __float128，取决于标准和实现）。
关键点在于：它不接受变量，只接受类型；它的结果在编译期就确定，可用于 static_assert、if constexpr、模板 SFINAE 或概念约束等场景，完全零开销。
怎么用 std::is_floating_point 做编译期分支判断
最常用也最直接的用途，是在 C++17 及以后用 if constexpr 实现类型相关的编译期逻辑分发。比如你写了一个泛型函数，想对浮点类型做特殊处理（如允许容差比较），而对整数类型走精确比较：
template <typename T>
bool almost_equal(T a, T b) {
if constexpr (std::is_floating_point_v<T>) {
return std::abs(a - b) < static_cast<T>(1e-6);
} else {
return a == b;
}
}注意三点：
立即学习“C++免费学习笔记（深入）”；
-
std::is_floating_point_v<T>是 C++17 引入的变量模板，等价于std::is_floating_point<T>::value，更简洁 -
if constexpr分支中未满足条件的代码不会被实例化，所以即使std::abs对整数类型不可用，也不会报错 - 不能写成
if (std::is_floating_point_v<T>)—— 那就退化成运行时判断，失去编译期优势，且模板参数T在运行时已不可知
std::is_floating_point 判定哪些类型为 true
它只对标准规定的浮点类型返回 true，包括：
floatdoublelong double- 某些平台支持的扩展类型（如 GCC 的
__float128，但需确认其是否被标准库特化；不是所有实现都覆盖）
以下类型一律返回 false：
- 用户自定义浮点类（如
MyFloat），哪怕语义完全一致 ——std::is_floating_point不看行为，只看类型是否是标准浮点类型 -
std::complex<float>、std::optional<double>等包装类型 —— 它判断的是最外层类型，不是所含元素 - cv 限定类型（如
const float）会被自动去除 cv 限定后判断，所以std::is_floating_point_v<const float>仍为true
常见误用和容易忽略的坑
新手最容易犯两个错误：
- 传入变量而非类型：写成
std::is_floating_point_v<x>（x是变量）—— 编译失败，因为模板参数必须是类型 - 混淆
std::is_floating_point和std::numeric_limits<T>::is_iec559或::is_specialized：后者描述数值特性（如是否符合 IEEE 754），前者只回答“是不是标准浮点类型”这个二元问题 - 在 C++14 或更早版本中误用
if constexpr：该语法 C++17 才支持，旧标准只能靠 SFINAE 或标签分发，例如用enable_if_t<std::is_floating_point_v<T>>重载函数 - 依赖未标准化的扩展类型：比如假设
std::is_floating_point_v<__float128>一定为true，但在 MSVC 或某些 libc++ 配置下可能未特化，导致false，应配合defined(__GNUC__) && defined(__FLOAT128_TYPE__)宏做双重检查
真正要判断“某个类型是否适合做浮点运算”，std::is_floating_point 只是起点；后续往往还需结合 std::numeric_limits 查精度、范围、是否支持 NaN 等——但它确实是编译期快速筛出标准浮点类型的最轻量、最可靠方式。
