C++17如何调用仅使用模板参数包部分参数的函数？

你需要的「提取参数包除最后一个外的所有元素」操作在C++17下完全可行，核心借助std::tuple和std::index_sequence完成参数截断，完整实现如下：

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

template< typename Callable, typename ...Args >
void Call(Callable&& cb, Args&&... args)
{
   using Function = std::remove_reference_t<Callable>;
   if constexpr (std::is_invocable_v<Function, Args...>)
   {
      std::forward<Callable>(cb)(std::forward<Args>(args)...);
   }
   else if constexpr (sizeof...(Args) == 0)
   {
      // 无参数也无法调用时编译报错，可根据需求调整错误提示
      static_assert(std::is_invocable_v<Function>, "Callable cannot be invoked with any number of arguments");
      std::forward<Callable>(cb)();
   }
   else
   {
      // 打包所有参数为tuple，保留值类型和引用属性
      auto args_tuple = std::forward_as_tuple(std::forward<Args>(args)...);
      // 生成前N-1个参数的索引序列
      [&]<std::size_t... Idx>(std::index_sequence<Idx...>)
      {
         // 展开前N-1个参数递归调用
         Call(std::forward<Callable>(cb), std::get<Idx>(args_tuple)...);
      }(std::make_index_sequence<sizeof...(Args) - 1>{});
   }
}

关键逻辑说明 #

• 这里用C++17支持的泛型lambda配合索引序列，实现了参数包的截断，无需额外编写递归辅助结构
• 全程使用std::forward完美转发参数和调用对象，避免不必要的拷贝和移动开销
• 无匹配调用形式时会触发静态断言，可根据业务需求调整为运行时处理逻辑

测试用例 #

你可以用以下代码验证功能正确性：

#include <iostream>

int main()
{
   // 测试不同参数个数的lambda
   auto cb0 = [](){ std::cout << "0 param called\n"; };
   auto cb1 = [](int a){ std::cout << "1 param called: " << a << "\n"; };
   auto cb2 = [](int a, double b){ std::cout << "2 param called: " << a << "," << b << "\n"; };

   Call(cb0, 1, 2.5, "test"); // 匹配0参
   Call(cb1, 1, 2.5, "test"); // 匹配1参
   Call(cb2, 1, 2.5, "test"); // 匹配2参
   Call(cb2, 1, 2.5); // 直接匹配2参
   Call(cb0); // 直接匹配0参
   return 0;
}

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