std::ratio是编译期有理数模板，仅支持整数比值的静态表示与组合；它本质是std::intmax_t分子分母的类型包装器，所有运算（如ratio_add）在编译期完成并返回新ratio类型，不支持运行时计算、浮点约分或溢出保护。
std::ratio 是什么，它真能做编译期分数运算？
能，但仅限于整数比值的静态表示和组合，不是通用分数计算器。std::ratio 本质是两个 std::intmax_t 模板参数（Numerator 和 Denominator）的包装器，所有运算都在编译期完成，结果仍是 std::ratio 类型。它不支持运行时输入、浮点约分、或带符号溢出保护——这些全靠你手动检查。
怎么定义和组合 ratio？常见错误在哪
直接用 std::ratio<n d></n> 定义，D 必须非零且为正（标准强制归一化：负号只出现在分子）。系统自动约分并处理符号，比如 std::ratio 等价于 std::ratio。
-
std::ratio_add<r1 r2></r1>、std::ratio_subtract<r1 r2></r1>、std::ratio_multiply<r1 r2></r1>、std::ratio_divide<r1 r2></r1>都要求结果可表示为intmax_t；否则触发编译错误（如std::ratio_multiply<:kilo std::giga></:kilo>在 64 位系统上可能溢出） - 别写
std::ratio + std::ratio—— 这不是合法表达式，必须用std::ratio_add模板别名 - 常用预定义别名如
std::milli、std::kilo都基于std::ratio，可直接参与运算
示例：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
using r1 = std::ratio; using r2 = std::ratio; using sum = std::ratio_add<r1 r2>; // 结果是 std::ratio static_assert(sum::num == 1 && sum::den == 2);</r1>
如何把 ratio 转成数值（比如 double）
std::ratio 本身不提供运行时转换函数，必须手动计算：static_cast<double>(R::num) / R::den</double>。注意隐式整数截断风险——如果 R::num 和 R::den 都是大整数，先转 double 再除，而非整数除法后再转。
- 别写
R::num / R::den（整数除法，丢精度） - 若需高精度，考虑用
long double或第三方编译期有理数库（std::ratio不支持） - 没有
to_double()成员函数，这是常见误解
什么时候不该用 std::ratio
当需要以下任一能力时，std::ratio 就不合适：
- 运行时构造分数（比如读配置文件得到分子分母）
- 支持无理数、浮点基准（如 π/4）、或任意精度有理数
- 做单位换算但涉及非线性变换（如摄氏转华氏）
- 需要输出字符串形式（如 "1/3"）——得自己写
constexpr格式化逻辑
它最稳的场景是类型安全的单位缩放，比如 std::chrono 里时间精度推导、或模板元编程中控制尺寸比例。一旦涉及用户输入、误差容忍、或动态分母，就得切到运行时库。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
