C++如何检查参数包是否包含另一参数包全部元素并调用目标函数

校验逻辑全部放在编译期执行，无额外运行时开销，只需要满足两个核心判定规则即可：

• 传入实参的总数量不能超过目标函数的形参总数，多余参数没有对应形参可以接收
• 按位置逐个校验，每个传入实参的类型必须支持隐式转换为目标函数对应位置的形参类型

由于C++的默认参数是编译期语法糖，仅当编译器在调用点明确知道目标函数身份时才会自动补全默认值，因此需要把目标函数作为非类型模板参数传入，不能作为普通运行时函数指针传参（否则会丢失默认参数上下文，导致少传参数时编译失败）。

完整可运行代码如下（依赖C++17及以上标准）：

#include <type_traits>
#include <tuple>
#include <cstddef>
#include <utility>

// 萃取目标函数的返回值、形参列表、形参数量信息
template <typename F>
struct func_traits;
template <typename R, typename... Args>
struct func_traits<R(Args...)> {
    using return_type = R;
    using args_tuple = std::tuple<Args...>;
    static constexpr size_t arg_count = sizeof...(Args);
};
template <typename R, typename... Args>
struct func_traits<R(*)(Args...)> : func_traits<R(Args...)> {};

// 辅助校验：逐个检查传入实参是否能隐式转换为对应位置的形参
template <typename FuncArgsTuple, typename CallArgsTuple, size_t... Index>
constexpr bool check_arg_type_match(std::index_sequence<Index...>) {
    return (std::is_convertible_v<
                std::tuple_element_t<Index, CallArgsTuple>,
                std::tuple_element_t<Index, FuncArgsTuple>
            > && ...);
}

// 工具函数主实现
template <auto target_func, typename... CallArgs>
void compareArguments(CallArgs&&... args) {
    using traits = func_traits<decltype(target_func)>;
    constexpr size_t func_arg_total = traits::arg_count;
    constexpr size_t call_arg_total = sizeof...(CallArgs);
    using func_args_tuple = typename traits::args_tuple;
    using call_args_tuple = std::tuple<std::remove_cvref_t<CallArgs>...>;

    // 编译期校验，不满足条件直接抛出清晰的编译错误
    static_assert(call_arg_total <= func_arg_total, 
        "调用失败：传入实参数量超过目标函数的形参总数");
    static_assert(check_arg_type_match<func_args_tuple, call_args_tuple>(
                      std::make_index_sequence<call_arg_total>{}),
        "调用失败：存在类型不匹配的实参，无法转换为对应位置的形参类型");

    // 校验通过直接调用，编译器自动补全未传入的默认参数
    target_func(std::forward<CallArgs>(args)...);
}

// 示例目标函数
void A(int a = 0, float b = 0.f, double c = 0.0, const char* d = "") {}

int main() {
    // 合法调用：参数数量2<4，类型匹配，正常执行
    compareArguments<&A>(69, 5.5f);

    // 以下非法调用会在编译期直接报错，可自行取消注释测试
    // compareArguments<&A>(69, 5.5f, 1.2, "test", 100); // 参数数量超过4个
    // compareArguments<&A>("invalid_int", 5.5f); // 第一个参数const char*无法隐式转为int
}

关键点说明：

• 用func_traits萃取目标函数的完整形参信息，不需要手动指定形参列表
• 用折叠表达式+std::is_convertible_v批量做类型匹配校验，覆盖所有隐式转换场景（包括const引用、派生类转基类等合法转换）
• 用完美转发传递实参，避免不必要的拷贝开销，同时保留参数的值类别
• 校验失败时通过static_assert输出明确的错误原因，方便定位问题

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