C++ 中参数包 (typename ...) 学习笔记

本文所属地址

https://www.lucien.ink

起因

突然好奇 STL 的 std::tuple 是怎么实现不定参数的，遂搜了搜，发现了 template <typename ...> 这个东西，继续搜了一下，发现中文资料很少，在 $Google$ 上用英文搜了一下才找到比较好的资料。

其实 cppreference 上有比较详尽的说明，但是我太菜了，自己捣鼓了一阵才弄明白这个大概是怎么一回事。

例子

例1

https://pasteme.cn/2780

#include <bits/stdc++.h>

template <typename Type>
void print(Type x) {
    std::cout << x << ", 233333" << std::endl;
}

template <typename Type, typename... Targs>
void print(Type x, Targs... args) {
    std::cout << x << std::endl;
    print(args...);
}

int main() {
    print('1', 1.5, "Hello World");
    return 0;
}

输出

1
1.5
Hello World, 233333

分析

可以注意到我写了两个同名函数，一个是只有单一参数的，另一个是前面有一个参数，后面有一个参数包。

这样一来实现了一个不定参数个数的输出函数。

调用过程大概是这样的（$\{\}$ 指代参数包）：

$$print(\{a, b, c\}) \Rightarrow print(a, \{b, c\})$$

$$\downarrow$$

$$print(\{b, c\}) \Rightarrow print(b, \{c\})$$

$$\downarrow$$

$$print(\{c\}) \Rightarrow print(c, \{\}) \Rightarrow print(c)$$

我个人的理解是，每一次调用的时候参数包就会默认把最左边的参数挪到外面去变成一个显式参数供函数调用。

可以发现调用到最后参数包为空，就等价于直接调用了 print(x) 这个函数，所以在这里我们要显式声明一个不包含参数包的同名函数，这样一来包含参数包的同名函数才可以正常结束，否则会报 no matching function 的 error 。

我在不含有参数包的同名函数中加了一个额外的输出，可以看到只有最后一个参数的输出后面带上了一个 233333 ，证明前面的分析是（完全）正确的（吧）。

例2

https://pasteme.cn/2781

#include <bits/stdc++.h>

template <typename ... Tail> class Tuple;

template<> class Tuple<> {};

template <typename Value, typename ... Tail>
class Tuple<Value, Tail ...> : Tuple<Tail ...> {
    Value Val;
public:
    Tuple() {}
    Tuple(Value value, Tail ... tail) : Val(value), Tuple<Tail ...>(tail ...) {}
    Value value() { return Val; }
    Tuple<Tail ...> next() { return *this; }
};

int main() {
    Tuple<char, double, std::string> tuple('1', 1.5, "Hello World");
    std::cout << tuple.value() << std::endl;
    std::cout << tuple.next().value() << std::endl;
    std::cout << tuple.next().next().value() << std::endl;
    return 0;
}