C++里数字怎么“说方言”？numpunct告诉你千分位和小数点不是铁板一块

你有没有遇到过这样的场景：写了个财务系统，导出CSV时数字显示成 1234567.89，但客户反馈“我们这边要显示成 1.234.567,89”；或者调试国际化日志时，发现 std::to_string(3.14) 好好地输出了 3.14，可一用 std::ostringstream 配合 imbue()，小数点突然变成逗号，千分位符号凭空冒出来——还死活找不到哪儿改的？

这不是编译器抽风，是 std::numpunct 在 quietly 发声。

numpunct 是 C++ 标准库中负责“数字口音”的那个类。它不参与计算，也不影响精度，但它决定：小数点该写成 . 还是 ,，千分位该用空格、点、还是撇（'），甚至负号放在数字前还是后。它不像 std::locale 那样宏大，也不像 std::codecvt 那样早已被弃用，它就蹲在 std::num_put 和 std::num_get 底下，默默把 double 翻译成带本地风味的字符串。

关键在于：它不可直接实例化，必须通过 std::locale 获取。你不能 numpunct facet;，但可以 const auto& np = std::use_facet<std::numpunct<char>>(loc);——这句话不是仪式感，是强制你意识到：数字格式从来不是孤立存在的，它天然依附于一个 locale 上下文。

最常被忽略的一点是：numpunct::decimal_point() 和 numpunct::thousands_sep() 返回的是 char_type，不是 char。在 std::locale("")（系统默认 locale）下，它通常是 char，但若你用了 std::locale("ja_JP.UTF-8") 或自定义 facet，char_type 可能是 wchar_t。硬写 cout << np.decimal_point() 而不考虑类型，轻则乱码，重则未定义行为。实践中，优先用 std::ostringstream + imbue() 测试，比手撸 use_facet 更安全直观。

另一个真实痛点：千分位分组规则（grouping）不是简单“每三位一隔”。德语区是 1.234.567,89，印度语区却是 12,34,567.89（先两位，再每两位）——这靠 numpunct::grouping() 返回的 std::string 控制，其中每个字节代表一组数字的位数，\3\3\3 表示“三、三、三”，\2\3\3 则对应印度风格。注意：这个字符串以 \0 结尾，且末尾的 \3 会无限重复。别想当然认为它只含两个字节，打印时记得截断或用 std::vector<signed char> 接收再遍历。

有人试过继承 std::numpunct 自定义规则，结果崩溃。原因很实在：标准要求派生类必须重载所有虚函数，包括 do_truename() 和 do_falsename()（用于布尔值格式），哪怕你只关心数字。漏掉一个，运行时可能调用 std::bad_cast。更稳妥的做法是：用 std::numpunct_byname 指定已知 locale 名（如 "de_DE"），或用 std::locale::global() 一次性切换全局数字习惯，而非手动 new facet。

实际调试时，一个极简验证法：

std::locale loc("fr_FR");
const auto& np = std::use_facet<std::numpunct<char>>(loc);
std::cout << "小数点: '" << np.decimal_point() << "'\n";
std::cout << "千分位: '" << np.thousands_sep() << "'\n";
for (auto b : np.grouping()) {
    std::cout << "分组: " << static_cast<int>(b) << " ";
}

看到输出 小数点: ','、千分位: ' '（空格！）、分组: 3，你就知道法国人写 1 234 567,89 的逻辑闭环了。

最后提醒一个边界情况：numpunct 对 boolalpha 输出无影响——true/false 的文本由 std::numpunct::truename()/falsename() 控制，它们默认返回空字符串，所以 std::boolalpha 实际走的是 std::numpunct 的派生逻辑，而非 numpunct 本身。这点文档极少明说，但源码里清清楚楚。

数字标点不是语法糖，是文化契约。C++ 把它做成 facet，本意就是让你意识到：同一串字节，在柏林、孟买、东京的屏幕上，本就不该长得一样。numpunct 不提供答案，它只递给你一把刻刀——刻出你的用户真正认得的数字模样。