std::is_floating_point 是 <type_traits> 中用于编译期判断类型是否为浮点类型的模板，返回 constexpr bool 值；支持 float、double、long double 等标准浮点类型，对 cv 限定符自动剥离但对引用无效，需配合 std::remove_cvref_t 使用，常用于 if constexpr 或 SFINAE 分支。

std::is_floating_point 是什么，能干什么

std::is_floating_point 是 <type_traits> 里的一个变量模板（C++17 起）或类模板（C++11/14），用于在编译期判断某个类型是否为浮点类型（即 float、double、long double，以及可能的扩展浮点类型如 __float128，取决于标准库实现）。它不运行时求值，也不做任何转换，只返回一个编译期常量布尔值。

• 它返回的是 std::integral_constant<bool, Value> 类型，所以要取值得用 ::value（C++17 前）或 ::value / v（C++17 起推荐用 constexpr bool 变量模板）
• 它对 cv 限定符（const float、volatile double）和引用（float&）不敏感：默认只看“退化后”的类型，需先用 std::remove_cvref_t 处理才准确

怎么在编译期用它做 SFINAE 或 if constexpr 分支

这是最常见也最实用的场景。直接用 if constexpr 最干净：

template <typename T>
auto process(T x) {
    if constexpr (std::is_floating_point_v<T>) {
        return x * x + 0.5f; // 浮点分支
    } else {
        return x / 2; // 整型或其他类型分支
    }
}

• std::is_floating_point_v<T> 是 C++17 引入的便捷变量模板，等价于 std::is_floating_point<T>::value

• 必须配合 if constexpr（而非普通 if），否则非浮点分支里若出现 0.5f 这类浮点字面量，而 T 是 int，编译器仍会尝试实例化并报错

  

  C++ Code Review Master

  组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

  下载

  立即学习“C++免费学习笔记（深入）”；

• 若用 SFINAE（比如写重载函数），得搭配 std::enable_if_t：

  template <typename T>
  std::enable_if_t<std::is_floating_point_v<T>, T>
  safe_sqrt(T x) { return std::sqrt(x); }
  <p>template <typename T>
  std::enable_if_t<!std::is_floating_point_v<T>, T>
  safe_sqrt(T x) { return x; }

容易踩的坑：cv 限定、引用、自定义浮点类型

• std::is_floating_point_v<const float> 返回 true（C++11 起标准规定它对 cv 限定自动剥离），但 std::is_floating_point_v<float&> 是 false —— 引用不是浮点类型
• 所以如果模板参数可能是 T&，务必先处理：

  template <typename T>
  constexpr bool is_fp_like = std::is_floating_point_v<std::remove_cvref_t<T>>;

• 自定义类型（比如 struct my_float { ... };）即使语义上是浮点，std::is_floating_point 也永远返回 false；它只认标准规定的浮点类型，不支持特化（该 trait 是禁止用户特化的）

和 std::is_arithmetic、std::is_scalar 的区别

• std::is_arithmetic_v<T> 包含整型 + 浮点型，范围更宽；如果你只想筛出浮点数，别用它替代
• std::is_scalar_v<T> 更宽：还包括指针、枚举、成员指针、nullptr_t 等；它不能用来判断“能否做浮点运算”
• 实际项目中，若逻辑依赖“是否支持 std::sin、std::abs 等浮点函数”，仅靠 std::is_floating_point 不够严谨 —— 比如 long double 在某些平台可能不被 <cmath> 全面支持，得结合具体函数的重载可用性来判断

注意：编译期判断本身很快，但误用 if constexpr 或忽略引用/限定符，会导致模板推导失败或静默行为偏差，这类问题往往在泛型库中暴露得晚且难定位。