C++中无法std::format std::vector<std::unique_ptr<int>>的问题排查

问题描述 #

为std::unique_ptr<T>自定义了std::formatter特化，但尝试打印std::vector<std::unique_ptr<int>>时触发编译错误：

std::is_default_constructible_v<std::formatter<std::vector<std::unique_ptr<int, std::default_delete<int>>>, char>> evaluates to false

编译失败原因 #

标准库为序列容器（如std::vector）提供的默认formatter实现，依赖容器元素类型对应的formatter满足两个核心要求：

• 元素的formatter特化合法且可访问；
• 元素的formatter必须是默认可构造的（无需参数即可实例化）。

编译错误的本质是：你自定义的std::formatter<std::unique_ptr<T>>要么未正确实现默认构造能力，要么特化方式不符合标准库容器formatter的依赖要求，导致标准库无法为std::vector<std::unique_ptr<int>>生成合法的默认formatter实例。

通用解决方法 #

不需要为std::vector<std::unique_ptr<T>>单独定义formatter，只需修正自定义的std::unique_ptr<T>的formatter特化，使其满足标准要求：

正确的formatter特化示例 #

#include <format>
#include <memory>
#include <vector>
#include <iostream>

namespace std {
template <typename T, typename D>
struct formatter<unique_ptr<T, D>> : formatter<T> {
    // 继承formatter<T>的默认构造函数，保证默认可构造
    template <typename FormatContext>
    auto format(const unique_ptr<T, D>& ptr, FormatContext& ctx) const {
        if (ptr) {
            return formatter<T>::format(*ptr, ctx);
        } else {
            return format_to(ctx.out(), "nullptr");
        }
    }
};
} // namespace std

int main() {
    std::vector<std::unique_ptr<int>> vec;
    vec.emplace_back(std::make_unique<int>(42));
    vec.emplace_back(nullptr);
    vec.emplace_back(std::make_unique<int>(100));
    
    std::cout << std::format("{}", vec) << std::endl;
    return 0;
}

关键注意事项 #

• 必须在std命名空间内进行formatter特化（标准允许针对标准库类型特化模板）；
• 确保自定义formatter具备默认构造能力：要么显式提供无参构造函数，要么通过继承标准库formatter（如formatter<T>）继承默认构造函数；
• 覆盖format方法时，需正确处理unique_ptr为空的情况，避免解引用空指针。

验证 #

修正后的代码可正常编译，打印结果类似：[42, nullptr, 100]，符合预期。

内容的提问来源于stack exchange，提问作者Aakash Gupta