std::format 默认不支持裸指针和智能指针格式化，需手动特化std::formatter并继承复用；裸指针须用static_cast避免递归，智能指针须单独特化并显式处理nullptr；所有特化必须使用std::char8_t模板参数、在头文件中完整定义且启用C++20。
std::format 无法直接格式化裸指针和智能指针
默认情况下，std::format 对 int*、std::unique_ptr<t></t> 或 std::shared_ptr<t></t> 会编译失败——它没有预定义的 formatter 特化。错误信息通常是：no matching function for call to 'format' 或更具体的 formatter<t> is not specialized</t>。这不是 bug，而是标准有意为之：指针值本身（地址）是否该被打印、以什么进制/宽度/修饰符呈现，必须由用户明确决定。
为裸指针提供 formatter 特化需继承 std::formatter
不能直接特化 std::formatter<int></int>，因为标准禁止对指针类型做全特化（违反 ODR）。正确做法是复用 std::formatter<void></void> 并重载 parse() 和 format()，让所有指针类型共享同一套解析逻辑：
template<typename T>
struct std::formatter<T*, std::char8_t> : std::formatter<void*, std::char8_t> {
template<typename FormatContext>
auto format(T* p, FormatContext& ctx) const {
return std::formatter<void*, std::char8_t>::format(
static_cast<void*>(p), ctx);
}
};关键点：
- 必须使用
std::char8_t作为第二个模板参数（C++20 要求），否则可能链接失败或静默不匹配 - 显式
static_cast<void></void>是必须的，避免递归调用自身 - 若想支持
{:p}（小写十六进制）或{:#x}（带 0x 前缀），直接复用基类即可，无需额外实现
智能指针需单独特化且必须处理空值语义
std::shared_ptr 和 std::unique_ptr 不是裸指针，不能复用 void* 特化。它们需要独立的 formatter，且必须显式处理 nullptr 场景，否则解引用空指针会导致未定义行为：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
struct std::formatter<std::shared_ptr<T>, std::char8_t>
: std::formatter<void*, std::char8_t> {
template<typename FormatContext>
auto format(const std::shared_ptr<T>& ptr, FormatContext& ctx) const {
if (ptr) {
return std::formatter<void*, std::char8_t>::format(
static_cast<const void*>(ptr.get()), ctx);
} else {
return std::formatter<std::string_view, std::char8_t>::format(
u8"(null)", ctx);
}
}
};注意：
- 不要在
format()中调用ptr->something()，只安全访问ptr.get()或判空 - 返回字符串字面量时，务必用
std::string_view特化而非硬编码"(null)"，否则类型不匹配 - 若需输出所指对象内容（如
ptr ? *ptr : "n/a"），应另写辅助函数，不塞进formatter—— 格式化器只负责“怎么显示”，不负责“显示什么”
格式化器必须在使用前声明，且不可跨 TU 隐式实例化
所有自定义 std::formatter 特化，必须在首次调用 std::format 前完成完整定义（不只是声明），且通常需放在头文件中并被包含。常见坑：
- 在 .cpp 里定义 formatter，但在另一个 .cpp 里调用
std::format→ 链接错误或静默使用默认（失败）版本 - 忘记加
std::char8_t模板参数，导致匹配到错误的重载，编译器报错晦涩 - 用
std::format("{}", ptr)测试时忘了启用 C++20（-std=c++20）或没开启<format></format>头文件 - Clang 15+ 和 GCC 13+ 支持较稳，MSVC 2022 17.5+ 才完全支持
std::formatter特化，旧版会静默忽略
最稳妥的做法：把 formatter 定义放在一个内联命名空间的头文件里，确保每个包含它的 TU 都看到完整定义。
