std::has_facet 是用于检测 locale 是否包含指定 facet 的布尔型探测工具，不执行转换、不抛异常、不构造实例，需配合 std::use_facet 安全使用，且应缓存检查结果避免高频调用。
std::has_facet 用来判断 locale 是否携带某个 facet
std::has_facet 不是做本地化转换的函数，它只是一个“探测工具”——检查某个 std::locale 对象是否包含指定类型的 facet（比如 std::numpunct、std::time_get 等）。它返回 bool，不抛异常，也不构造 facet 实例。
常见误用是以为调用它就能“启用”本地化功能，其实它只是个守门人：只有返回 true，后续用 std::use_facet 才安全。
- 必须传入一个合法的
std::locale对象，不能传默认构造的空 locale（std::locale{}是全局 C locale，通常不含扩展 facet） - 模板参数必须是 facet 类型，不能是对象或指针，例如写成
std::has_facet<:numpunct>>(loc)</:numpunct>，不是std::has_facet<numpunct_obj>(loc)</numpunct_obj> - 对标准 facet 类型（如
std::ctype、std::moneypunct）有效；自定义 facet 需已通过std::locale::classic()或std::locale(..., new MyFacet)注册过才可能返回true
std::use_facet 配合 has_facet 才能安全取 facet
直接调用 std::use_facet 而不检查，可能抛 std::runtime_error（错误信息通常是 "facet not found"）。尤其在跨平台时，某些系统 locale（如 Windows 的 "Chinese_China.936"）不提供完整 facet 支持。
正确做法是先 has_facet，再 use_facet：
立即学习“C++免费学习笔记（深入）”；
std::locale loc{"zh_CN.UTF-8"};
if (std::has_facet<std::numpunct<char>>(loc)) {
const auto& np = std::use_facet<std::numpunct<char>>(loc);
std::cout << "thousands sep: " << np.thousands_sep() << "\n";
} else {
// 回退到默认行为，比如用 '.' 或 ','
}
- 注意：即使
has_facet返回true，也不能保证 facet 行为符合预期（比如某些 locale 的decimal_point()可能仍是'.'） - 不要在循环里反复调用
use_facet——facet 是 locale 的一部分，获取后可缓存引用（但不能缓存指针，因 locale 生命周期需更长） - 在 Windows 上用
std::locale{"Chinese"}很可能失败，推荐显式用std::locale{"zh-CN"}或std::locale{""}（系统当前 locale）
常见 facet 缺失场景和替代方案
不是所有 locale 都带全 facet。典型缺失包括：std::moneypunct（货币格式）、std::messages（消息目录）、std::collate（字符串排序）——尤其在嵌入式或精简 libc++/libstdc++ 构建中。
-
std::has_facet<:messages>>(loc)</:messages>在多数 Linux glibc locale 中返回false，因为 messages facet 依赖.mo文件路径注册，不是 locale 自带 - 若
has_facet<:time_get>></:time_get>失败，别硬切 locale，改用<chrono></chrono>+ 手动格式化，或用 ICU 库 - 对数字分组（千位分隔符），
std::numpunct缺失时，可用std::format（C++20）或fmt::format替代，它们不依赖 facet
std::has_facet 的线程安全与性能开销
std::has_facet 是只读操作，无副作用，线程安全。但它底层要遍历 locale 内部 facet 表，虽然很快（O(1) 平均），但高频调用仍不划算。
- 建议在初始化阶段检查一次，把结果缓存为
static const bool has_numpunct = std::has_facet<:numpunct>>(loc);</:numpunct> - 避免在 hot path（如每帧渲染、每条日志输出）里重复调用
- 注意：locale 对象本身是轻量值类型，拷贝开销小，但 facet 查找不是免费的——别把它当成“廉价 if 判断”滥用
真正麻烦的是 facet 行为不一致：同一段代码在 macOS 和 Ubuntu 上，std::numpunct::grouping() 可能返回空 vector 或 "\3"，而 has_facet 却都返回 true。这时候得靠实测输出，不能只信返回值。
