c++oding="utf-8" ?>
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)，不是std::has_facet(loc) - 对标准 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：
std::locale loc{"zh_CN.UTF-8"};
if (std::has_facet<:numpunct>>(loc)) {
const auto& np = std::use_facet<:numpunct>>(loc);
std::cout <ul>
<li>注意：即使 <code>has_facet</code> 返回 <code>true</code>，也不能保证 facet 行为符合预期（比如某些 locale 的 <code>decimal_point()</code> 可能仍是 <code>'.'</code>）</li>
<li>不要在循环里反复调用 <code>use_facet</code>——facet 是 locale 的一部分，获取后可缓存引用（但不能缓存指针，因 locale 生命周期需更长）</li>
<li>在 Windows 上用 <code>std::locale{"Chinese"} </code> 很可能失败，推荐显式用 <code>std::locale{"zh-CN"}</code> 或 <code>std::locale{""}</code>（系统当前 locale）</li>
</ul>
<h3>常见 facet 缺失场景和替代方案</h3>
<p>不是所有 locale 都带全 facet。典型缺失包括：<code>std::moneypunct</code>（货币格式）、<code>std::messages</code>（消息目录）、<code>std::collate</code>（字符串排序）——尤其在嵌入式或精简 libc++/libstdc++ 构建中。</p>
<ul>
<li>
<code>std::has_facet<:messages>>(loc)</:messages></code> 在多数 Linux glibc locale 中返回 <code>false</code>，因为 messages facet 依赖 <code>.mo</code> 文件路径注册，不是 locale 自带</li>
<li>若 <code>has_facet<:time_get>></:time_get></code> 失败，别硬切 locale，改用 <code><chrono></chrono></code> + 手动格式化，或用 ICU 库</li>
<li>对数字分组（千位分隔符），<code>std::numpunct</code> 缺失时，可用 <code>std::format</code>（C++20）或 <code>fmt::format</code> 替代，它们不依赖 facet</li>
</ul>
<h3>std::has_facet 的线程安全与性能开销</h3>
<p><code>std::has_facet</code> 是只读操作，无副作用，线程安全。但它底层要遍历 locale 内部 facet 表，虽然很快（O(1) 平均），但高频调用仍不划算。</p>
<ul>
<li>建议在初始化阶段检查一次，把结果缓存为 <code>static const bool has_numpunct = std::has_facet<:numpunct>>(loc);</:numpunct></code>
</li>
<li>避免在 hot path（如每帧渲染、每条日志输出）里重复调用</li>
<li>注意：locale 对象本身是轻量值类型，拷贝开销小，但 facet 查找不是免费的——别把它当成“廉价 if 判断”滥用</li>
</ul>
<p>真正麻烦的是 facet 行为不一致：同一段代码在 macOS 和 Ubuntu 上，<code>std::numpunct::grouping()</code> 可能返回空 vector 或 <code>"\3"</code>，而 <code>has_facet</code> 却都返回 <code>true</code>。这时候得靠实测输出，不能只信返回值。</p></:numpunct></:numpunct>
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
