mirror of
https://github.com/changkun/modern-cpp-tutorial.git
synced 2025-12-17 04:34:40 +03:00
see #2: add std::initializer_list for printf back
This commit is contained in:
@@ -712,14 +712,37 @@ int main() {
|
|||||||
|
|
||||||
```cpp
|
```cpp
|
||||||
template<typename T0, typename... T>
|
template<typename T0, typename... T>
|
||||||
void printf(T0 t0, T... t) {
|
void printf2(T0 t0, T... t) {
|
||||||
std::cout << t0 << std::endl;
|
std::cout << t0 << std::endl;
|
||||||
if constexpr (sizeof...(t) > 0) printf(t...);
|
if constexpr (sizeof...(t) > 0) printf2(t...);
|
||||||
}
|
}
|
||||||
```
|
```
|
||||||
|
|
||||||
> 事实上,有时候我们虽然使用了变参模板,却不一定需要对参数做逐个遍历,我们可以利用 `std::bind` 及完美转发等特性实现对函数和参数的绑定,从而达到成功调用的目的。
|
> 事实上,有时候我们虽然使用了变参模板,却不一定需要对参数做逐个遍历,我们可以利用 `std::bind` 及完美转发等特性实现对函数和参数的绑定,从而达到成功调用的目的。
|
||||||
|
|
||||||
|
**3. 初始化列表展开**
|
||||||
|
|
||||||
|
> 这个方法需要之后介绍的知识,读者可以简单阅读一下,将这个代码段保存,在后面的内容了解过了之后再回过头来阅读此处方法会大有收获。
|
||||||
|
|
||||||
|
递归模板函数是一种标准的做法,但缺点显而易见的在于必须定义一个终止递归的函数。
|
||||||
|
|
||||||
|
这里介绍一种使用初始化列表展开的黑魔法:
|
||||||
|
|
||||||
|
```cpp
|
||||||
|
template<typename T, typename... Ts>
|
||||||
|
auto printf3(T value, Ts... args) {
|
||||||
|
std::cout << value << std::endl;
|
||||||
|
(void) std::initializer_list<T>{([&args] {
|
||||||
|
std::cout << args << std::endl;
|
||||||
|
}(), value)...};
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
在这个代码中,额外使用了 C++11 中提供的初始化列表以及 Lambda 表达式的特性(下一节中将提到),而 std::initializer_list 也是 C++11 新引入的容器(以后会介绍到)。
|
||||||
|
|
||||||
|
通过初始化列表,`(lambda 表达式, value)...` 将会被展开。由于逗号表达式的出现,首先会执行前面的 lambda 表达式,完成参数的输出。
|
||||||
|
为了避免编译器警告,我们可以将 `std::initializer_list` 显式的转为 `void`。
|
||||||
|
|
||||||
### 折叠表达式
|
### 折叠表达式
|
||||||
|
|
||||||
C++ 17 中将变长参数这种特性进一步带给了表达式,考虑下面这个例子:
|
C++ 17 中将变长参数这种特性进一步带给了表达式,考虑下面这个例子:
|
||||||
|
|||||||
@@ -17,7 +17,7 @@ void magic(Ts... args) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
// 1 recursive parameter unpack
|
// 1. recursive parameter unpack
|
||||||
template<typename T0>
|
template<typename T0>
|
||||||
void printf1(T0 value) {
|
void printf1(T0 value) {
|
||||||
std::cout << value << std::endl;
|
std::cout << value << std::endl;
|
||||||
@@ -28,13 +28,22 @@ void printf1(T value, Ts... args) {
|
|||||||
printf1(args...);
|
printf1(args...);
|
||||||
}
|
}
|
||||||
|
|
||||||
// 2 variadic template parameter unfold
|
// 2. variadic template parameter unfold
|
||||||
template<typename T0, typename... T>
|
template<typename T0, typename... T>
|
||||||
void printf2(T0 t0, T... t) {
|
void printf2(T0 t0, T... t) {
|
||||||
std::cout << t0 << std::endl;
|
std::cout << t0 << std::endl;
|
||||||
if constexpr (sizeof...(t) > 0) printf2(t...);
|
if constexpr (sizeof...(t) > 0) printf2(t...);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// 3. parameter unpack using initializer_list
|
||||||
|
template<typename T, typename... Ts>
|
||||||
|
auto printf3(T value, Ts... args) {
|
||||||
|
std::cout << value << std::endl;
|
||||||
|
(void) std::initializer_list<T>{([&args] {
|
||||||
|
std::cout << args << std::endl;
|
||||||
|
}(), value)...};
|
||||||
|
}
|
||||||
|
|
||||||
int main() {
|
int main() {
|
||||||
magic();
|
magic();
|
||||||
magic(1);
|
magic(1);
|
||||||
@@ -42,5 +51,6 @@ int main() {
|
|||||||
|
|
||||||
printf1(1, 2, "123", 1.1);
|
printf1(1, 2, "123", 1.1);
|
||||||
printf2(1, 2.3, "abc");
|
printf2(1, 2.3, "abc");
|
||||||
|
printf3(111, 123, "alpha", 1.2);
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
Reference in New Issue
Block a user