如何减少带默认参数函数重载生成的预处理器代码量？

核心思路 #

仅保留一个极简宏处理函数重载歧义问题，核心逻辑完全基于C++模板元编程（索引序列+可变参数模板）实现，自动生成对应参数数量的lambda包装并打包为std::tuple，无需依赖Boost预处理器的复杂宏循环。

完整实现代码 #

#include <tuple>
#include <utility>
#include <cassert>

// 模板核心：根据索引序列生成对应参数数量的lambda重载元组
template <typename Func, size_t... Ks>
auto generate_overloads(Func func, std::index_sequence<Ks...>) {
    return std::make_tuple(
        [func](auto... args) -> decltype(auto) {
            static_assert(sizeof...(args) == Ks, "调用当前重载时参数数量不匹配");
            return func(args...);
        }...
    );
}

// 仅保留必要宏：处理函数名重载歧义，传递需要生成的参数数量列表
#define OVERLOADS(func, ...) \
    generate_overloads( \
        [](auto... args) -> decltype(auto) { return func(args...); }, \
        std::index_sequence<__VA_ARGS__>{} \
    )

// 测试用带默认参数的函数
int func(void* arg1, int arg2 = -1) {
    return (arg1 ? 1 : 0) + arg2;
}

int main() {
    // 生成包含1参数、2参数版本的lambda元组
    auto overloads = OVERLOADS(func, 1, 2);

    // 测试1参数版本（自动使用默认参数arg2=-1）
    void* null_ptr = nullptr;
    assert(std::get<0>(overloads)(null_ptr) == -1);

    // 测试2参数版本（传入自定义参数值）
    assert(std::get<1>(overloads)(null_ptr, 5) == 5);

    return 0;
}

关键细节说明 #

1. 宏的简化作用
   仅用一个宏将函数名包装为泛型lambda，避免直接传递重载函数名到模板时的歧义问题，同时传递需要生成的参数数量列表（如示例中的1,2）。

2. 模板的自动生成逻辑
   generate_overloads利用可变参数模板和std::index_sequence，为每个参数数量Ks生成对应的lambda：

   • 每个lambda仅接受Ks个参数，通过static_assert保证参数数量匹配
   • 直接调用原函数时，自动触发原函数的默认参数逻辑，无需重复编写默认值

3. 类型安全与兼容性

   • 用decltype(auto)保证返回类型与原函数完全一致
   • 支持C14及以上版本；若需兼容C11，可将泛型lambda替换为模板functor（代码复杂度略有提升，但仍无需Boost预处理器）

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