c++0x 可变参数模板

最新推荐文章于 2025-08-17 14:20:54 发布

sourthstar

最新推荐文章于 2025-08-17 14:20:54 发布

阅读量1.2k

点赞数

分类专栏： c++0x gcc c/c++ 文章标签： c++ rails vmware c spring lambda

c/c++ 同时被 3 个专栏收录

45 篇文章

订阅专栏

gcc

33 篇文章

订阅专栏

c++0x

5 篇文章

订阅专栏

本文介绍了C++11中的Tuple特性和可变参数模板的应用。Tuple是一种N元组，允许存储多个匿名成员。通过使用get函数可以通过索引访问成员。此外，还详细介绍了可变参数模板的概念及其在函数中的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C++ 11 tuple & 可变参数模板

人是生而的，但却无往不在枷锁之中。自认为是其他一切的主人的人，反而比其他一切更是奴隶。 C++ 11中引入的tuple是一个N元组。它相当于有N个成员的布局体，只不过这个布局体的成员都是匿名的。tuple中有两个特别的函数，一个是head（），用于获取第一个成员的值，另一个是tail（），用于获取剩下所有成员的值，tail（）本身又是一个tuple。如许，若是我们想取tuple中第二个成员的值，则可以先取tail（）的值，再取tail（）的head（）的值。当然，如许应用的话斗劲麻烦，所以C++ 11供给了get函数经由过程索引来获取tuple中某个成员的值。别的，经由过程make_tuple可以很便利地机关一个tuple对象。有关tuple应用的例子可以参考下面的代码。

1  tuple< int， char， string> tupInfo（ 10， "" A ""， " hello world "）;
2   int a = tupInfo.head（）;
3   int a2 = tupInfo.tail（）.head（）;
4  tuple< char， string> tupTail = tupInfo.tail（）;
5   int b = get< 0>（tupInfo）;
6   char c = get< 1>（tupInfo）;
7   string s = get< 2>（tupInfo）;
8  auto tupInfo2 = make_tuple（ 5， "" B ""， string（ " C++ 11 "）， 4.6）;

谚语是一人的妙语，世人的聪明前面说过，tuple是一个N元组，而N的个数是没有限制的，也就是说，tuple可以包含0个、1个、2个或更多的元素，每个元素的类型则经由过程模板参数指定。那么，tuple是如何做到这些的呢？答案是可变参数模板。
进修C++的人该当对printf函数都很是熟悉，printf的一个特点就是它的参数个数是可变的。而在C++ 11中，则容许模板的参数个数也是可变的。下面是一个模板参数可变的函数模板，用于获取传入的参数的个数。

1 template<typename... Args>
2 UINT GetParameterCount（Args... args）
3 {
4 return sizeof...（args）;
5 }

可以看到，可变参数模板应用typename再加...来默示模板参数包，应用Args再加...来默示函数参数包。上方代码中的sizeof...专门用于获取函数参数包中参数的个数，它的参数必须是一个函数参数包类型的对象。熟悉了可变参数模板的根蒂根基语法后，下面我们应用它来编写一个Print函数，该函数的参数个数和类型都是可变的，它简单地输出传入的各个参数的值，值之间用逗号进行分别，并在输出最后一个参数的值后主动换行。

1 template<typename T>
2 void Print（T value）
3 {
4  cout << value << endl;
5 }
6
7 template<typename Head， typename... Rail>
8 void Print（Head head， Rail... rail）
9 {
10  cout << head << " ， ";
11  Print（rail...）;
12 }
13
14 int main（ int argc， char *argv[]）
15 {
16  Print（ 1）;                   // 输出：1
17 Print（ 1， " hello "）;          // 输出：1，Hello
18 Print（ 1， " hello "， "" H ""）;     // 输出：1，Hello，H
19 return 0;
20 }

在上方的代码中，我们先定义了一个只有一个模板参数的函数模板，它简单地输出传入的参数的值。然后又定义了一个可变参数的函数模板，它输出第一个参数的值，然后递归地调用本身。重视rail...这种写法，它默示将函数参数包分别成一个一个的参数，并传入Print中。如许，函数参数包中的第一个参数传递给head，残剩的参数又从头构成一个函数参数包传递给rail。当递归调用到函数参数包中只有一个参数时，则会调用只有一个模板参数的Print函数。
懂得了可变模板参数的应用道理后，我们再来编写一个本身的Printf函数。

1 void MyPrintf（ const char *pszText）
2 {
3  assert（pszText != NULL）;
4
5  cout << pszText;
6 }
7
8 template<typename T， typename... Args>
9 void MyPrintf（ const char *pszText， T value， Args... args）
10 {
11  assert（pszText != NULL）;
12
13   while （*pszText）
14  {
15    if （*pszText == "" ％ "" && *++pszText != "" ％ ""）
16   {
17    cout << value;
18    MyPrintf（++pszText， args...）;
19     return;
20   }
21   cout << *pszText++;
22  }
23 }

调用MyPrintf函数时的推理过程与Print的推理过程类似，这里就不再赘述了。别的，若是想更深切地进修可变参数模板，还可以参阅tuple的源代码，或者本身下手实现一个简化版的tuple。

介绍C++ 11新特点的文章列表：

1、【原】C++ 11右值引用

2、【原】C++ 11 Lambda表达式

3、【原】C++ 11 auto & decltype
4、【原】C++ 11完美转发

5、【原】C++ 11语法甜点

6、【原】C++ 11 tuple & 可变参数模板卢梭