如何在编译期检查std::format的{}占位符是否匹配参数数量？

你可以通过封装std::format，结合编译期统计格式字符串的占位符数量，再用static_assert强制参数个数与占位符数量一致，实现编译期的参数匹配检查。

实现方案 #

1. 编译期统计占位符：写一个constexpr函数遍历格式字符串，统计{}的出现次数（自动跳过转义的{{和}}）。
2. 封装检查逻辑：在自定义的格式化函数中，用static_assert对比占位符数量与传入参数的个数，不匹配则直接触发编译错误，最后转发参数给std::format。

完整代码示例 #

#include <format>
#include <string_view>
#include <iostream>

// 编译期统计格式字符串中有效{}占位符的数量
constexpr size_t count_placeholders(std::string_view fmt) {
    size_t count = 0;
    bool in_escape = false;
    for (char c : fmt) {
        if (c == '{') {
            if (!in_escape) {
                count++;
                in_escape = true;
            } else {
                in_escape = false;
            }
        } else if (c == '}') {
            in_escape = false;
        } else {
            in_escape = false;
        }
    }
    return count;
}

// 带编译期检查的格式化函数
template <typename... Args>
auto checked_format(std::string_view fmt, Args&&... args) {
    constexpr size_t placeholder_num = count_placeholders(fmt);
    static_assert(sizeof...(args) == placeholder_num, 
                  "参数数量与格式字符串的占位符数量不匹配");
    return std::format(fmt, std::forward<Args>(args)...);
}

int main() {
    // 正常编译：占位符与参数数量一致
    std::cout << checked_format("{} {}", 1, 2) << '\n';
    
    // 编译报错：参数多于占位符
    // std::cout << checked_format("{} {}", 1, 2, 3) << '\n';
    
    // 编译报错：参数少于占位符
    // std::cout << checked_format("{} {} {}", 1) << '\n';
}

额外说明 #

• 上述代码仅处理无索引的基础占位符{}，如果使用带索引的占位符（如{0}、{1}），需要修改统计逻辑——此时应根据最大索引值判断所需的最少参数个数。
• 该方案依赖C20及以上标准，因为std::format、constexpr字符串遍历等特性均为C20引入。

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