如何让类的format()方法返回任意std::format可格式化类型？

你遇到的错误核心是std::formattable是双模板参数概念，必须同时指定要检查的类型和字符类型（比如char），不能只传单个参数。下面是修正后的完整实现，满足你的需求：

修正后的代码 #

#include <format>
#include <iostream>
#include <string>

// 特化std::formatter，支持任意实现format()的类型，且format()返回值可被格式化
template<typename T, typename CharT>
requires requires (const T& v) {
    // 检查format()存在，且其返回值对当前字符类型CharT可格式化
    { v.format() } -> std::formattable<CharT>;
}
struct std::formatter<T, CharT> {
    // 解析格式参数，转发给format()返回值对应的formatter
    template<typename ParseContext>
    auto parse(ParseContext& ctx) {
        using ReturnType = decltype(std::declval<const T&>().format());
        return std::formatter<ReturnType, CharT>{}.parse(ctx);
    }

    // 执行格式化：先调用T的format()，再用对应formatter处理结果
    auto format(const T& t, std::basic_format_context<CharT, std::back_insert_iterator<std::basic_string<CharT>>>& ctx) const {
        using ReturnType = decltype(t.format());
        return std::formatter<ReturnType, CharT>{}.format(t.format(), ctx);
    }
};

// 测试用例1：返回std::string
struct MyStruct {
    std::string format() const { return "I'm a struct"; }
};

// 测试用例2：返回基础类型int（本身支持std::format）
struct NumStruct {
    int format() const { return 42; }
};

// 测试用例3：返回自定义可格式化类型
struct CustomFormattable {
    int value = 100;
};

// 为自定义类型提供formatter特化
template<typename CharT>
struct std::formatter<CustomFormattable, CharT> {
    template<typename ParseContext>
    auto parse(ParseContext& ctx) { return ctx.begin(); }

    auto format(const CustomFormattable& cf, std::basic_format_context<CharT, std::back_insert_iterator<std::basic_string<CharT>>>& ctx) const {
        return std::format_to(ctx.out(), "[Custom: {}]", cf.value);
    }
};

struct CustomStruct {
    CustomFormattable format() const { return CustomFormattable{}; }
};

int main() {
    MyStruct s1;
    NumStruct s2;
    CustomStruct s3;

    std::cout << std::format("MyStruct: {}\n", s1);
    std::cout << std::format("NumStruct: {}\n", s2);
    std::cout << std::format("CustomStruct: {}\n", s3);
    // 支持格式参数传递，比如将NumStruct的输出转为十六进制
    std::cout << std::format("NumStruct(hex): {:x}\n", s2);
}

关键说明 #

1. 正确特化formatter：标准库的std::formatter是template<class T, class CharT = char>，所以我们的特化必须包含CharT参数，才能支持不同字符类型的格式化场景。
2. 约束条件修正：用std::formattable<CharT>检查T::format()的返回值，确保它能被当前字符类型的std::format处理，解决了之前的模板参数数量错误。
3. 格式参数转发：parse和format方法都将逻辑转发给format()返回值对应的formatter，这样像{:x}这类格式修饰符能正确作用到底层类型上。
4. 多场景兼容：不管format()返回的是基础类型、标准库类型还是自定义可格式化类型，都能正常被std::format处理。

内容的提问来源于stack exchange，提问作者John Graham