如何基于Lambda实现自定义原地格式化器？解决fmtlib/std格式化API痛点

现有API的问题 #

• 无法用原地Lambda自定义格式化逻辑，必须依赖模板特化
• 单一类型仅能定义一个formatter特化，无法灵活适配多场景格式化需求
• std::formatter特化必须放在类型自身命名空间，跨命名空间特化受限
• 局部类型、匿名类型无法被特化formatter
• fmt::join仅支持设置分隔符，无法自定义容器内每个元素的格式化规则，处理基础/标准类型不便

期望实现的功能 #

希望能直接在格式化调用时传入Lambda，实现匿名类型的格式化，示例代码如下：

int main() {
    struct {} john_cena;
    // std::cout << std::format("{}/n", john_cena, [](const auto&) { /**/ });
    // ^^^ 如何实现该功能？
}

实现方案 #

核心思路 #

通过包装类持有目标对象和格式化Lambda，为该包装类特化std::formatter，将格式化逻辑委托给传入的Lambda，从而实现原地自定义格式化。

完整代码实现 #

#include <format>
#include <iostream>
#include <vector>
#include <utility>

// 包装类：绑定要格式化的对象和对应的Lambda逻辑
template<typename T, typename FmtFunc>
struct FormattableWithLambda {
    const T& target;
    FmtFunc format_func;

    FormattableWithLambda(const T& obj, FmtFunc func) : target(obj), format_func(std::move(func)) {}
};

// 辅助函数：简化包装对象的创建，无需手动指定模板参数
template<typename T, typename FmtFunc>
auto with_formatter(const T& obj, FmtFunc func) {
    return FormattableWithLambda<T, FmtFunc>(obj, std::move(func));
}

// 为包装类特化std::formatter，将格式化逻辑转交给Lambda
template<typename T, typename FmtFunc>
struct std::formatter<FormattableWithLambda<T, FmtFunc>> {
    // 解析格式说明符（这里做简化处理，如需支持自定义格式可扩展）
    template<typename ParseContext>
    constexpr auto parse(ParseContext& ctx) {
        return ctx.end();
    }

    // 执行格式化：调用传入的Lambda完成输出
    template<typename FormatContext>
    auto format(const FormattableWithLambda<T, FmtFunc>& wrapper, FormatContext& ctx) const {
        return wrapper.format_func(wrapper.target, ctx.out());
    }
};

// 测试代码
int main() {
    // 匿名局部类型的格式化
    struct {} john_cena;
    std::cout << std::format("匿名类型输出：{}\n", with_formatter(john_cena, [](const auto&, auto out) {
        return std::format_to(out, "John Cena (匿名局部类型)");
    }));

    // 容器自定义元素格式化示例
    std::vector<int> numbers = {10, 20, 30};
    std::cout << std::format("容器自定义格式化：{}\n", with_formatter(numbers, [](const auto& vec, auto out) {
        out = std::format_to(out, "[");
        for (size_t i = 0; i < vec.size(); ++i) {
            if (i != 0) out = std::format_to(out, ", ");
            // 自定义元素格式化：转成带符号的十进制+十六进制
            out = std::format_to(out, "{}(0x{:X})", vec[i], vec[i]);
        }
        return std::format_to(out, "]");
    }));
}

方案优势 #

• 支持原地传入Lambda，无需全局模板特化，逻辑更紧凑
• 同一类型可根据不同场景传入不同格式化逻辑，灵活度拉满
• 完美支持局部类型、匿名类型的格式化
• 容器元素的格式化完全自定义，不受fmt::join的限制，能实现任意复杂的元素格式化逻辑

内容的提问来源于stack exchange，提问作者Sergey Kolesnik