天水建设局网站渣土治理,怎么免费推广自己网站,网站做网页,网站后台内容编辑器下载可变参数模板(参考《C Templates 英文版第二版》)
Chapter 4 可变参数模板
自从C11,模板可以接受可变数量的参数
4.1 可变参数模板
可以定义模板,去接受无限数量的模板参数
这种行为的模板叫做可变参数模板
4.1.1 例子
#include iostreamtemplatetypename T…可变参数模板(参考《C Templates 英文版第二版》)
Chapter 4 可变参数模板
自从C11,模板可以接受可变数量的参数
4.1 可变参数模板
可以定义模板,去接受无限数量的模板参数
这种行为的模板叫做可变参数模板
4.1.1 例子
#include iostreamtemplatetypename T
void print(T arg)
{std::cout arg std::endl;
}templatetypename T, typename... Types
void print(T firstArg, Types... args)
{std::cout firstArg \n; // print first argumentprint(args...); // call print() for remaining arguments
}int main(int argc, char* argv[])
{print(1, 4, 7, 妙);
}4.1.3 运算符sizeof
C11 之后,sizeof操作符对于可变参数模板有新的用法sizeof...,他返回参数包里面包含多少个元素
templatetypename T, typename... Types
void print(T firstArg, Types... args)
{std::cout sizeof... (Types) std::endl;std::cout sizeof... (args) std::endl;
}4.2 折叠表达式
C11 提供了可变模板参数包, 使函数可以接受任意数量的参数. 但在 C11中展开参数包稍显麻烦, 而 C17 的折叠表达式使得展开参数包变得容易,其基本语法是使用 (...) 的语法形式进行展开.
支持的操作符
折叠表达式支持 32 个操作符: , -, *, /, %, ^, , |, , ,, , , , -, *, /, %, ^, , |, ,,, !, , , , ||, ,, .*, -*
对于一元右折叠 (E op …) 具体展开为 E1 op (… op (EN-1 op EN)).对于一元左折叠 (… op E) 具体展开为 (( E1 op E2) op …) op En.对于二元右折叠 (E op … op I) 具体展开为 E1 op (… op (EN-1 op (EN op I))).对于二元左折叠 (I op … op E) 具体展开为 (((I op E1) op E2) op …) op E2.
// define binary tree structure and traverse helpers:
struct Node {int value;Node* left;Node* right;Node(int i0) : value(i), left(nullptr), right(nullptr) {}//...
};
auto left Node::left;
auto right Node::right;// traverse tree, using fold expression:
templatetypename T, typename... TP
Node* traverse (T np, TP... paths) {return (np -* ... -* paths); // np -* paths1 -* paths2 ...
}int main()
{// init binary tree structure:Node* root new Node{0};root-left new Node{1};root-left-right new Node{2};//...// traverse binary tree:Node* node traverse(root, left, right);//...
}使用(np-* ... -* paths)这个折叠表达式去遍历参数代表的路径
使用折叠表达式我们可以实现打印参数列表
templatetypename ... Types
void print(Types const... args)
{(std::cout ... args) \n;
}int main()
{int a{ 12 };std::string b{ 博主是帅哥 };print(a, b);
}但是我们这个函数有个小缺陷,就是无法打印空格,让我们来实现一下:
templatetypename T
class AddSpace
{private:T const ref; // refer to argument passed in constructorpublic:AddSpace(T const r): ref(r) {}friend std::ostream operator (std::ostream os, AddSpaceT s) {return os s.ref ; // output passed argument and a space}
};templatetypename... Args
void print (Args... args) {( std::cout ... AddSpace(args) ) \n;
}运行:
int main()
{int a{ 12 };std::string b{ 博主是帅哥 };print(a, b);
}
