为何std::chrono双精度duration格式化输出丢失精度？

问题场景 #

初始代码与输出 #

using seconds = std::chrono::duration<long double, std::ratio<1, 1>>;
using namespace std::literals;

int main() {
    seconds s = 10ms + 10us + 10ns;
    std::print("from chrono {} | from count {:%Q}\n", s, s);
}

输出结果：

from chrono 0.01001s | from count 0.01001001

修改后的代码与输出 #

seconds s = 10ms + 10us + 123ns;
std::print("from chrono {} | from count {:%Q}\n", s, s);

输出结果：

from chrono 0.0100101s | from count 0.010010123

核心疑问 #

直接传入std::chrono::duration进行格式化时，为何会自动裁剪精度？明明该duration基于long double可以表示纳秒级精度，且格式规范支持小数打印，却只保留了有限的小数位数？修改值后精度有所提升但仍不匹配底层存储精度，也未找到对应格式说明符控制该行为，原因是什么？

原因解析 #

std::chrono::duration的默认格式化逻辑（即使用{}占位符时），会自动选择能唯一标识当前duration值的最少小数位数，而非输出底层存储类型的全部精度。

具体来说：

• 格式化逻辑会计算当前duration值对应的ULP（Unit in the Last Place，最后一位单位），也就是该值与相邻可表示值之间的间隔。它只会输出足够区分当前值与其他所有可能的duration值的位数，避免冗余的尾零或无意义的精度。
• 第一个例子中，0.01001秒这个值对应的ULP量级下，5位小数已经能唯一确定该值，因此只输出5位；第二个例子中，值的精度需求更高，ULP更小，所以自动扩展到7位小数，但依然仅保留必要位数。
• 而%Q格式说明符是直接输出duration底层存储的数值（即count()方法返回的long double值），所以会显示该类型能表示的全部精度。

如果需要强制输出指定精度，不能依赖默认的{}格式化，而是可以通过%Q结合精度控制（比如{:.9%Q}）来指定小数位数，或者将duration转换为高精度数值类型后再进行格式化。

内容的提问来源于stack exchange，提问作者Fantastic Mr Fox