std::is_arithmetic是编译期类型特征，只接受类型名（如int、float），返回std::integral_constant，C++17起推荐用std::is_arithmetic_v；它对bool返回true，但不识别用户自定义类型。
std::is_arithmetic 是编译期判断，不是运行时函数
它不接收变量或值，只接受类型名（int、float、std::complex<double></double> 等），返回的是一个 std::integral_constant<bool value></bool> 类型，本质是类型特征（type trait），不是布尔函数。
常见错误：写成 std::is_arithmetic(x) 或 std::is_arithmetic<decltype>()</decltype> —— 后者虽能编译但调用的是隐式转换后的 operator bool()，容易在 SFINAE 或 requires 子句中误用。
- 正确写法只有
std::is_arithmetic_v<t></t>（C++17 起推荐）或std::is_arithmetic<t>::value</t> -
T必须是完整类型；对void、引用、数组、类模板未实例化等，行为是未定义或 false - 注意
std::is_arithmetic对bool返回true（标准明确将其归为算术类型），但实际做数值计算时往往要单独排除
和 std::is_fundamental、std::is_integral 的关键区别
这三个 trait 容易混淆，但覆盖范围不同：
-
std::is_arithmetic_v<t></t>：覆盖所有内置数值类型（int、unsigned long、float、double、long double、bool、char系列），不含指针、枚举、类 -
std::is_integral_v<t></t>：仅整数类型（含bool、char及其有符号/无符号变体），不含浮点 -
std::is_fundamental_v<t></t>：更宽，包含void、空指针类型std::nullptr_t、所有算术类型，但不含用户定义类型
典型误用场景：想约束“只能是浮点数”，却用了 std::is_arithmetic，结果 int 也通过了。此时应组合使用：std::is_arithmetic_v<t> && !std::is_integral_v<t></t></t>。
立即学习“C++免费学习笔记（深入）”；
在模板约束（requires）里怎么安全用
C++20 概念中直接写 std::is_arithmetic_v<t></t> 是合法的，但要注意求值时机和依赖性：
- 必须确保
T在约束出现时已确定为完整类型；否则编译器可能报错（如在类模板内部对自身成员类型做判断） - 避免在 requires 表达式里嵌套复杂逻辑；简单判断优先用标准概念
std::arithmetic（C++20 提供） - 示例（推荐）：
template<std::arithmetic T><br>auto add(T a, T b) { return a + b; } - 示例（不推荐，冗余且易出错）：
template<typename T><br> requires std::is_arithmetic_v<T><br>auto add(T a, T b) { return a + b; }
自定义数值类怎么让它被 is_arithmetic 识别
不能。这是硬性限制：std::is_arithmetic 只对语言内置算术类型返回 true，用户定义类型无论重载多少个运算符，结果都是 false。
如果需要类似语义（比如泛型数值处理），必须自行定义概念或 trait：
- 别试图特化
std::is_arithmetic—— 标准禁止用户特化大多数std::内的 trait - 可定义
template<typename T> inline constexpr bool is_numeric_v = /* 自定义逻辑 */; - 典型实现会检查是否存在
operator+、operator-、是否支持std::numeric_limits等，但要注意 SFINAE 成本和可维护性
真正棘手的点不在语法，而在语义一致性：你让 MyVec3 满足 is_numeric_v，但它的加法不满足结合律，下游算法就可能崩。这类抽象一旦暴露，就得全程负责到底。
