如何在C++中扩展现有类型（如float）的格式说明符？

我希望扩展浮点类型的格式化选项，同时保留现有部分选项。例如，我想为带单位的测量值添加一个新的type说明符，以便编写这样的代码：std::format("{:.5mm}", 0.05f)，让输出数据保留precision=5的精度，同时将数值乘以1000并添加'mm'后缀。这是否可行？

可行，但无法直接修改标准库std::format的内置浮点格式化规则来添加新的type说明符（比如mm）。不过你可以通过**自定义格式化器（std::formatter特化）**来实现完全等价的功能，同时保留原有浮点格式化的所有选项。

实现思路 #

核心思路是创建一个包装类型，用来承载浮点值和单位转换逻辑，然后为这个包装类型特化std::formatter，让它能解析格式字符串中的精度和单位标识，完成数值转换、精度控制和单位后缀添加。

代码示例 #

#include <format>
#include <string>

// 定义单位标识的枚举
enum class LengthUnit {
    Millimeters
};

// 包装浮点值和单位的模板类
template<typename T, LengthUnit U>
struct WithLengthUnit {
    T value;
    explicit WithLengthUnit(T val) : value(val) {}
};

// 特化std::formatter，处理WithLengthUnit类型的格式化
template<typename T, LengthUnit U>
struct std::formatter<WithLengthUnit<T, U>> : std::formatter<T> {
    // 解析格式字符串：提取精度，处理单位标识
    template<typename ParseContext>
    constexpr auto parse(ParseContext& ctx) {
        auto it = ctx.begin();
        // 复用基类解析逻辑处理精度、对齐等常规选项
        it = std::formatter<T>::parse(ctx);
        // 识别并跳过格式字符串中的"mm"标识
        if (it != ctx.end() && *it == 'm') {
            ++it;
            if (it != ctx.end() && *it == 'm') {
                ++it;
            }
        }
        return it;
    }

    // 执行格式化：转换数值、应用精度、添加单位后缀
    template<typename FormatContext>
    auto format(const WithLengthUnit<T, U>& obj, FormatContext& ctx) const {
        T converted = obj.value;
        const char* suffix = "";
        if constexpr (U == LengthUnit::Millimeters) {
            converted *= 1000; // 米转毫米
            suffix = "mm";
        }
        // 先格式化转换后的数值，再追加单位后缀
        auto out = std::formatter<T>::format(converted, ctx);
        return std::format_to(out, "{}", suffix);
    }
};

// 辅助函数，简化带单位对象的创建
template<typename T>
auto mm(T value) {
    return WithLengthUnit<T, LengthUnit::Millimeters>(value);
}

// 使用示例
int main() {
    // 输出结果：50.00000mm
    std::string result = std::format("{:.5}", mm(0.05f));
    return 0;
}

关键说明 #

1. 保留原有功能：通过继承std::formatter<T>，可以复用所有原有的浮点格式化选项（比如精度、对齐方式、科学计数法格式等），只在基础逻辑上叠加单位转换。
2. 语法贴近需求：通过辅助函数mm()，你可以写出std::format("{:.5}", mm(0.05f))，效果和你期望的std::format("{:.5mm}", 0.05f)完全一致。
3. 扩展性强：如果需要支持更多单位（如cm、m），只需扩展LengthUnit枚举和格式化逻辑即可，无需修改原有代码结构。

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