std::ratio_multiply是C++11引入的编译期ratio乘法模板别名，用于在类型层面相乘两个std::ratio并自动约简，所有运算在编译期完成且零运行时代价。
std::ratio_multiply 是什么，它真能做编译期比例运算？
是的，std::ratio_multiply 是 C++11 引入的编译期有理数运算工具，用于在类型层面相乘两个 std::ratio，结果仍是 std::ratio 类型，所有计算（分子、分母约分）都在编译期完成，零运行时代价。
它不是函数，而是一个模板别名（C++11 起定义为 template<class r1 class r2> using ratio_multiply = ...</class>），所以不能传变量，只能传字面量 ratio 类型。
- 常见错误：试图用它乘运行时值，比如
ratio_multiply<r1 r2>::num</r1>中r1或r2是变量 —— 编译失败，因为模板参数必须是类型 - 正确用法：只和字面量 ratio 类型组合，例如
std::kilo、std::mega、或自定义的std::ratio - 底层原理：它自动调用
std::gcd和std::lcm（C++17 起）对分子分母做最大公约数约简，确保结果最简
怎么写一个合法的 std::ratio_multiply 表达式？
必须保证两个操作数都是 std::ratio<n d></n> 类型（包括标准库预定义的如 std::milli），且结果可表示为整型常量表达式（即不溢出 intmax_t）。
示例中所有内容都可在 constexpr 上下文使用：
立即学习“C++免费学习笔记（深入）”；
using r1 = std::ratio<2, 3>; using r2 = std::ratio<5, 4>; using product = std::ratio_multiply<r1, r2>; // 等价于 ratio<10, 12> → 自动约简为 ratio<5, 6> <p>static_assert(product::num == 5, ""); static_assert(product::den == 6, "");</p><p>// 复合使用：毫秒 × 千 = 秒 using ms = std::milli; using k = std::kilo; using ms_times_k = std::ratio_multiply<ms, k>; // milli × kilo = ratio<1, 1> → 1:1，即 1 毫秒 × 1000 = 1 秒 static_assert(ms_times_k::num == 1 && ms_times_k::den == 1, "");</p>
- 注意：如果乘积导致分子或分母溢出（比如
ratio<intmax_max></intmax_max>相乘），编译器行为未定义，多数会报错或静默截断（取决于实现） -
std::ratio_multiply<r1 r2></r1>的等效计算是：ratio<:num r2::num gcd r1::den r2::den></:num>，但你完全不用手算 - 不要尝试用
double或浮点字面量参与——std::ratio只接受整型模板参数
和 std::ratio_add / std::ratio_divide 混用时要注意什么？
它们彼此独立，但组合使用时容易忽略约简时机和中间类型的精度限制。
-
std::ratio_add<a b></a>要求先通分（分母取 lcm），再加分子；若A::den和B::den很大，lcm 可能溢出，而ratio_multiply不涉及 lcm，相对更“安全” - 链式运算如
ratio_multiply<ratio_multiply b>, C></ratio_multiply>是合法的，但建议用using拆解，否则嵌套过深影响可读性和错误定位 - 标准库没提供
ratio_power，要算平方得写两次ratio_multiply<r r></r>，三次就再套一层 - C++17 前，
std::gcd/std::lcm未标准化，部分老编译器（如 GCC 4.9）可能用内部实现，但ratio_multiply本身仍可用
实际工程中哪些地方真正需要它？
主要出现在单位系统建模、硬件寄存器配置、定时器周期换算等要求**绝对编译期确定性**的场景。
- 时间单位转换：把 “128 MHz 时钟 × 256 分频 × 1.5 倍频” 全部展开为
ratio运算，生成最终频率类型，供std::chrono::duration使用 - ADC 采样率配置：输入是
ratio（1 MHz），经两级分频ratio和ratio，用ratio_multiply链式组合得到最终采样间隔 - 避免宏或浮点常量：用
ratio替代#define CLK_DIV 256或constexpr double clk_div = 256.0;，获得类型安全与编译期检查 - 但它不适合动态配置——比如用户从串口输入分频系数，那就得用运行时计算，
ratio_multiply此时无用武之地
最容易被忽略的一点：std::ratio_multiply 的结果类型名极长（尤其嵌套后），调试时看编译错误信息会非常痛苦；建议始终用 using 给中间结果起短名，并搭配 static_assert 校验关键值。
