C++11 展开变长参数函数模板的变长参数

本文深入探讨了C++中参数包的多种展开方法,包括使用递归模板、initializer_list、lambda表达式等,展示了如何在函数调用中优雅地处理可变数量的参数。

一 Demo

#include <iostream>
#include <functional>

template<typename T>
void print(const T& t, int& size) {
  --size;
  std::cout << t << " ";
  if (0 == size) {
    std::cout << "over!" << std::endl;
  }
}

template <typename ... Args>
void unpacker(Args...args) {}

template <typename ... Args>
void print_all(Args&& ...args) {
  {
    int size = sizeof...(args);
    std::cout << std::endl;

    std::cout << "method 1: " << std::endl;
    int dummy[] { 0, (print<Args>(std::forward<Args>(args), size), 0)... };
  }
  {
    int size = sizeof...(args);
    std::cout << std::endl;

    std::cout << "method 2: " << std::endl;
    unpacker((print<Args>(std::forward<Args>(args), size), 0)...);
  }
  {
    int size = sizeof...(args);
    std::cout << std::endl;

    std::cout << "method 3: " << std::endl;
    std::initializer_list<int> {(print<Args>(std::forward<Args>(args), size), 0)...};
  }
  {
    int size = sizeof...(args);
    std::cout << std::endl;

    std::cout << "method 4: " << std::endl;
    auto f = [](...) {};
    f((print<Args>(std::forward<Args>(args), size), 0)...);
  }
  {
    int size = sizeof...(args);
    std::cout << std::endl;

    std::cout << "method 5: " << std::endl;
    struct dummy {
      dummy(std::initializer_list<int>) {}
    };
    dummy{ (print<Args>(std::forward<Args>(args), size), 0)... };
  }
}

int main() {
  print_all(1, 2, 3, "hello world");
  std::cin.get();
  return 0;
}

结果:(构建参数:C++11, 不同编译器下结果可能有差异)

Windows:

Mac:

二 参考

stackoverflow上的一个问题:

https://stackoverflow.com/questions/12515616/expression-contains-unexpanded-parameter-packs/12515637#12515637

<think>好的,我需要帮助用户了解C++11中的可变参数模板函数的调用方法和实现。首先,我应该回顾可变参数模板的基本概念,确保自己理解正确。根据用户提供的引用内容,变参模板允许函数或类接受可变数量和类型的参数,这在处理不确定参数的情况下非常有用,比如printf函数。 接下来,我需要给出一个具体的示例,展示如何定义和调用可变参数模板函数。引用中的例子是关于std::unique_ptr的,但用户可能需要更基础的例子。比如,一个递归展开参数的函数,比如打印所有参数。这样用户可以直观地看到参数如何被处理。 然后,要解释实现的关键点,比如模板参数包、递归展开和终止条件。必须提到参数包展开的语法,比如使用...来展开参数,以及递归调用的方式。同时,需要说明在C++11中如何通过递归和特化来终止递归,比如使用空函数作为终止条件。 还要注意用户提到的调用方法,比如参数传递时的注意事项,比如使用std::forward进行完美转发,以保持参数的左值或右值特性。引用中的例子使用了std::unique_ptr,这可能涉及到所有权转移的问题,这也是需要解释的地方。 另外,用户可能需要了解可变参数模板的一些应用场景,比如实现泛型工厂函数、日志记录器等。这些例子能帮助用户理解其实际用途。 最后,确保回答结构清晰,分步骤解释,并验证示例代码的正确性。同时,生成的相关问题应该围绕可变参数模板的扩展应用、参数传递优化和与C风格可变参数的区别,这些能帮助用户进一步学习。</think>### C++11可变参数模板函数实现及调用方法 C++11可变参数模板通过参数包(parameter pack)实现类型安全的可变参数处理,核心语法包含`typename... Args`和递归展开机制[^1]。 #### 1. 基本示例:递归展开参数包 ```cpp #include <iostream> // 终止递归函数 void printArgs() { std::cout << "end" << std::endl; } // 可变参数模板 template<typename T, typename... Args> void printArgs(T first, Args... rest) { std::cout << first << " "; printArgs(rest...); // 递归展开参数包 } int main() { printArgs(1, 3.14, "hello", 'A'); // 输出:1 3.14 hello A end return 0; } ``` *实现要点:* - `typename... Args`声明模板参数包 - 递归调用时`rest...`展开参数包 - 空参数版本作为递归终止条件 #### 2. 带完美转发的工厂函数 ```cpp #include <memory> template<typename T, typename... Args> std::unique_ptr<T> createObject(Args&&... args) { return std::make_unique<T>(std::forward<Args>(args)...); } class MyClass { public: MyClass(int a, double b) {} }; int main() { auto obj = createObject<MyClass>(10, 3.14); return 0; } ``` *关键技术:* - `Args&&`保持参数的值类别 - `std::forward`实现完美转发[^2] - `args...`展开参数包时保留参数类型信息 #### 3. 折叠表达式(C++17扩展) ```cpp template<typename... Args> auto sum(Args... args) { return (... + args); // 折叠表达式 } int main() { std::cout << sum(1, 2, 3, 4); // 输出10 return 0; } ``` *注意:C++11可通过递归实现相同功能*
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值