std::ratio仅支持编译期有理数表示与加减乘除运算，不支持运行时计算、浮点转换或直接算术表达式；其用途限于类型安全的量纲推导（如std::chrono），不能用于动态比例或精度丢失场景。
std::ratio 能做什么、不能做什么
std::ratio 是编译期有理数类型，本质是两个整型模板参数 N（分子）和 D（分母），编译器在实例化时就约分并做基本运算。它不参与运行时计算，也不生成浮点数——所以天然无误差。但它只支持加减乘除四种运算的编译期结果类型推导，不提供运行时值访问接口，也不能直接参与算术表达式（比如 ratio + 0.5 会编译失败）。
常见错误现象：试图用 std::cout 打印自定义 ratio，却忘了 <code>r.num 和 r.den 是静态常量，必须加 typename 前缀（当在模板中依赖类型时）；或误以为 ratio_add 返回的是可调用对象，其实它只是别名模板。
- 所有运算都通过
ratio_add、ratio_subtract、ratio_multiply、ratio_divide等别名模板完成 - 结果类型自动约分，例如
ratio_multiply<ratio>, ratio>::type</ratio>就是ratio - 分母为负会被标准化：
ratio等价于ratio，而ratio就是ratio
怎么安全地把 ratio 转成运行时整数或定点值
编译期 ratio 本身没有运行时值，但你可以用 num 和 den 静态成员构造确定精度的整数倍——比如把 ratio 表示为「每 12 单位对应 1 单位」，再配合固定分母做定点缩放。
容易踩的坑：直接用 static_cast<double>(R::num) / R::den</double> 就引入了浮点误差，违背初衷；或者用 constexpr auto v = R::num / R::den; 得到整除结果（如 ratio 得到 1），丢失精度。
立即学习“C++免费学习笔记（深入）”；
- 若需高精度整数比值，用
constexpr int64_t scaled = static_cast<int64_t>(x) * R::num / R::den;</int64_t>（注意乘法顺序防溢出） - 若需统一缩放到某一分母（如 1000000），可写
constexpr auto ppm = (R::num * 1000000LL + R::den/2) / R::den;（+den/2 实现四舍五入） - 用
std::common_type_t可安全推导多个 ratio 运算后的公共类型，避免手动写intmax_t
实际工程中怎么封装成易用的分数类型
裸用 std::ratio 写业务逻辑太冗长，建议封装一个 constexpr 分数类，内部用 ratio 存储，对外提供 value()（返回最简整数比）、to_double()（仅调试用）、operator== 等。
性能影响很小：所有成员函数都能被优化为常量折叠；但若频繁嵌套模板（如 10 层 ratio_add），可能拖慢编译速度，Clang 对深度 > 256 的 ratio 运算会报错。
- 构造函数应为
template<intmax_t n intmax_t d> constexpr fraction(ratio<n>);</n></intmax_t>，避免用户传入未约分的 ratio - 重载
operator*时，返回fraction<decltype>{}){}</decltype>，而非硬写ratio<...></...> - 兼容 C++17 后可用
inline constexpr变量简化常用分数，如inline constexpr auto half = fraction{};
什么时候不该用 std::ratio
当你需要运行时输入、动态分母、或任意精度（如 1/3 循环小数表示），std::ratio 就不适用——它只接受字面整型常量，且分母不能为 0 或溢出（ratio 直接编译失败）。
另一个隐蔽限制：C++ 标准只要求支持 intmax_t 范围内的分子分母，但 MSVC 在 ratio 这种大数上可能因模板实例化失败而报错，GCC/Clang 更宽松些。
- 不要用它替代
std::chrono::duration做时间计算——虽然底层用了 ratio，但 duration 已封装好语义和溢出检查 - 避免在模板参数中层层嵌套 ratio 运算，改用中间
using别名拆解，提升错误信息可读性 - 如果目标平台对整型宽度敏感（如嵌入式 16 位系统），显式用
int32_t替代默认int作 ratio 参数更稳妥
真正难的不是写出能编译的 ratio 表达式，而是确保所有中间结果都在编译期可约分、不溢出，并且业务语义清晰——比如 ratio * ratio * ratio 看起来像“秒转天”，但其实是 1/(60×60×24)，容易看反。
