【C++11】可变参数和lambda表达式-创新互联
目录
创新互联主要从事成都做网站、成都网站设计、网页设计、企业做网站、公司建网站等业务。立足成都服务随县,十余年网站建设经验,价格优惠、服务专业,欢迎来电咨询建站服务:189820811081.可变参数模板
1.1可变参数的模板
1.2参数包的展开方式
1.21递归函数展开参数包
1.3逗号表达式展开参数包
2.STL库中的emplace相关接口
3.lambda表达式
3.1lambda的引入
3.2lambda的介绍
列表使用 lambda 表达式捕获
lambda实现swap函数
lambda表达式之间不能相互赋值
1.可变参数模板
1.1可变参数的模板可变参数模板可以说是C++的一大新收获,也是C++11新增的最强大的特性之一,它对参数高度泛化,能够让我们创建可以接受可变参数的函数模板和类模板。但是可变参数模板上手需要一定的技巧性,以及对C++进行初步的认识,所以我们来具体讲解一下。
template
返回类型 函数名(Args... args) { //函数主体 } //Args+省略号叫做模板参数包,args是函数形参参数包 //Args... args代表参数从0到多个 例如:
template
void ShowList(Args... args) { //函数主体 }
- 这里的template<>不禁让人想到了类模板和函数模板,这个其实和他很像,只不过那个指定参数了而这个Args...代表这从0到N的模板参数。
- 最为关键的是Args并不是关键字,只不过大家都用它来形容可变参数模板,你也可以叫他Brgs还可以叫做Crgs我是没有啥意见。
接下来我们用ShowList写一个传入不同参数的代码。
//可变参数 template
void ShowList(Args...args) { cout<< sizeof...(args)<< endl; //获取函数包中参数的个数 } 接下来传参------》
int main() { string str("hello"); ShowList(); //0 ShowList(1); //1 ShowList(11,str); //2 ShowList(1,'A',string("hello,world"), 12); //4 }
特别提醒:但是我们无法直接获取参数包中的每个参数,只能通过展开参数包的方式来获取,这是使用可变参数模板的一个主要特点 。语法并不支持使用args[i]
的方式来获取参数包中的参数同样也不支持范围for那个。
1.2参数包的展开方式 1.21递归函数展开参数包template
void ShowList(Args...args) { cout<< sizeof...(args)<< endl; //打印传入参数的个数 for (size_t i = 0; i< sizeof...(args); i++) { cout<< args[i]<< " "; } cout<< endl; }
1.3逗号表达式展开参数包这里用到两部分递归函数,但是这两部分递归函数的函数名相同:
- 递归函数
- 递归终止函数
递归展开参数包的方式如下:
- 给函数模板增加一个模板参数,这样就可以从接收到的参数包中分离出一个参数出来。
- 在函数模板中递归调用该函数模板,调用时传入剩下的参数包。
- 如此递归下去,每次分离出参数包中的一个参数,直到参数包中的所有参数都被取出来。
每次我们都要先写递归函数,而递归终结函数可以理解为当参数包中所有参数都被取出后,就会调用这个杀死循环的终止函数了。
template
void ShowList(const T& val, Args... args) { cout<< val<< " "; ShowList(args...); } 这个可变参数的整体就写好了,最棘手的就是那个递归终结函数了。
此时这个终结函数又会分为两类有参和无参两种情况,这两种情况还不太一样。
我们先看一下无参的情况:
void ShowList() { cout<< endl; } template
void ShowList(const T& val, Args... args) { cout<< val<< " "; ShowList(args...); } 此时当参数包的个数为0个的时候,就会走此函数,完成递归终止。
- 如果外部调用ShowList函数时就没有传入参数,那么就会直接匹配到无参的递归终止函数。
- 而我们本意是想让外部调用ShowList函数时匹配的都是函数模板,并不是让外部调用时直接匹配到这个递归终止函数。也就是说这个通道是我的老员工用的并且我也不想借给外界人员用,所以我们不得不再给外部人员提供一个新道路。
//递归终止函数 void ShowListArg() { cout<< endl; } //展开函数 template
void ShowListArg(T value, Args... args) { cout<< value<< " "; //打印传入的若干参数中的第一个参数 ShowListArg(args...); //将剩下参数继续向下传 } //外部人员专业通道 template void ShowList(Args... args) { ShowListArg(args...); } 带参的情况:
//递归终止函数-------》带参情况 template
void ShowListArg(const T& val) //终止函数带参 { cout<< endl; } //展开函数 template void ShowListArg(T value, Args... args) { cout<< value<< " "; //打印传入的若干参数中的第一个参数 ShowListArg(args...); //将剩下参数继续向下传 } //外部人员专业通道 template void ShowList(Args... args) { ShowListArg(args...); } int main() { ShowListArg(1,'A',string("hello,world"), 12); //4 }
- 当传入参数包中参数的个数为1时,就会传入这个终止函数中。
- 但该方法有一个弊端就是,我们在调用ShowList函数时必须至少传入一个参数,否则就会报错。因为此时无论是调用递归终止函数还是展开函数,都需要至少传入一个参数。
2.STL库中的emplace相关接口C++只允许数组里面是同一种类型,但是模板的可变参数就意味着我参数包的类型并不统一,会出现一会是int,一会是char……。为了解决此问题,我们可以单独封装一层函数(PrintArg),此函数专门用于获得参数包的每个数据并输出,我们可以使用逗号表达式将返回值重新放到数组中。
- 逗号表达式会从左到右依次计算各个表达式,并且将最后一个表达式的值作为返回值进行返回。
- 将逗号表达式的最后一个表达式设置为一个整型值,确保逗号表达式返回的是一个整型值。
- 将处理参数包中参数的动作封装成一个函数,将该函数的调用作为逗号表达式的第一个表达式。
//逗号表达式展开参数包 template
void PrintArg(const T& t) { cout<< t<< " "; } //展开函数 template void ShowList(Args... args) { int arr[] = { (PrintArg(args), 0)... }; //列表初始化+逗号表达式 cout<< endl; } int main() { ShowList(1,'A',string("hello,world"), 12); //4 }
- 可变参数的省略号需要加在逗号表达式外面,表示需要将逗号表达式展开,如果将省略号加在args的后面,那么参数包将会被展开后全部传入PrintArg函数,代码中的{(PrintArg(args), 0)...}将会展开成{(PrintArg(arg1), 0), (PrintArg(arg2), 0)(PrintArg(arg3), 0), etc...}。
vector - C++ Reference (cplusplus.com) 我们可以进入cplusplus官网搜索vector,就可以看到C++11新增的emplace
template
void emplace_back (Args&&... args); &&不是特指右值引用而是代表左右值引用都可以。
我们以vector的emplace_back和push_back为例进行说明 :
- 调用push_back函数插入元素时,可以传入左值对象或者右值对象,也可以使用列表进行初始化。
- 调用emplace_back函数插入元素时,也可以传入左值对象或者右值对象,但不可以使用列表进行初始化。
- 除此之外,emplace系列接口大的特点就是,插入元素时可以传入用于构造元素的参数包。
//emplace 相关应用
int main()
{
vector>vec;
pairkv(22, "emplace");
vec.push_back(kv); //传左值
vec.push_back(pair(1222, "2022")); //传右值
vec.push_back({ 30, "abc" }); //列表初始化
vec.emplace_back(kv); //传左值
vec.emplace_back(pair(1222, "2022")); //传右值
vec.emplace_back(50, "555"); //传参数包
for (auto e : vec)
{
cout<< e.first<< ": "<< e.second<< endl;
}
}
3.lambda表达式 3.1lambda的引入由于emplace系列接口的可变模板参数的类型都是万能引用,因此既可以接收左值对象,也可以接收右值对象,还可以接收参数包。
- 如果调用emplace系列接口时传入的是左值对象,那么首先需要先在此之前调用构造函数实例化出一个左值对象,最终在使用定位new表达式调用构造函数对空间进行初始化时,会匹配到拷贝构造函数。
- 如果调用emplace系列接口时传入的是右值对象,那么就需要在此之前调用构造函数实例化出一个右值对象,最终在使用定位new表达式调用构造函数对空间进行初始化时,就会匹配到移动构造函数。
- 如果调用emplace系列接口时传入的是参数包,那就可以直接调用函数进行插入,并且最终在使用定位new表达式调用构造函数对空间进行初始化时,匹配到的是构造函数。
使用emplace的原因:
- 之所以说emplace系列接口更高效是因为emplace系列接口大的特点就是支持传入参数包,用这些参数包直接构造出对象,这样就能减少一次拷贝,
- 但emplace系列接口并不是在所有场景下都比原有的插入接口高效,如果传入的是左值对象或右值对象,那么emplace系列接口的效率其实和原有的插入接口的效率是一样的。
3.2lambda的介绍lambda表达式有如下优点:
- 声明式编程风格:就地匿名定义目标函数或函数对象,不需要额外写一个命名函数或者函数对象。以更直接的方式去写程序,好的可读性和可维护性。
- 简洁:不需要额外再写一个函数或者函数对象,避免了代码膨胀和功能分散,让开发者更加集中精力在手边的问题,同时也获取了更高的生产率。
- 在需要的时间和地点实现功能闭包,使程序更灵活。
但是lambda具体的应用在什么地方?--------->
在学校这个完整的教育系统中老师会根据学生的考试成绩进行排名,而学校会根据班级成绩从而对教师进行考核,现在学校的后勤部要根据这些指标进行升序,降序排列。这里就会用到lambda表达式,这里一般会选择仿函数来指定排序的主要方式。
//lambda表达式 struct Teacher { string _name; // 名字 double _point; // 班级成绩 int _evaluate; // 总评分 Teacher(const char* str, double price, double evaluate) :_name(str) , _point(price) , _evaluate(evaluate) {} }; struct ComparePointLess { bool operator()(const Teacher& gl, const Teacher& gr) { return gl._point< gr._point; } }; struct ComparePointGreater { bool operator()(const Teacher& gl, const Teacher& gr) { return gl._point >gr._point; } }; int main() { vector
v = { { "李老师", 88, 8.9 }, { "张老师", 91, 8.7 }, { "徐老师", 86,9 }, { "王老师", 87, 8.7 } }; sort(v.begin(), v.end(), ComparePointLess());//按成绩升序排 sort(v.begin(), v.end(), ComparePointGreater());//按成绩降序排 } 这里我们就可以用lambda表达式解决这个问题了。
int main() { vector
v = { { "李老师", 88, 8.9 }, { "张老师", 91, 8.7 }, { "徐老师", 86,9 }, { "王老师", 87, 8.7 } }; sort(v.begin(), v.end(), [](const Teacher& g1, const Teacher& g2) { return g1._point< g2._point; }); sort(v.begin(), v.end(), [](const Teacher& g1, const Teacher& g2) { return g1._point >g2._point; }); sort(v.begin(), v.end(), [](const Teacher& g1, const Teacher& g2) { return g1._evaluate< g2._evaluate; }); sort(v.begin(), v.end(), [](const Teacher& g1, const Teacher& g2) { return g1._evaluate >g2._evaluate; }); }
列表使用 lambda 表达式捕获lambda 表达式定义了一个匿名函数,并且可以捕获一定范围内的变量。lambda 表达式的语法形式可简单归纳如下:
[ capture -list] ( params ) mutable ->return { body; };
- 其中 capture 是捕获列表,params 是参数表,
- mutable 默认情况下,lambda函数总是一个const函数,
mutable
可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。- return 是返回值类型,body是函数。
lambda函数的参数列表和返回值类型都是可选部分,但捕捉列表和函数体是不可省略的,因此最简单的lambda函数如下:
int main() { []{}; //最简单的lambda表达式 return 0; }
一个完整的 lambda 表达式看起来像这样:
auto f = [](int a) ->int { return a + 1; }; std::cout<< f(1)<< std::endl; // 输出: 2
需要注意的是,初始化列表不能用于返回值的自动推导:
auto x1 = [](int i){ return i; }; // OK: return type is int auto x2 = [](){ return { 1, 2 }; }; // error: 无法推导出返回值类型
这时我们需要显式给出具体的返回值类型。
另外,lambda 表达式在没有参数列表时,参数列表是可以省略的。因此像下面的写法都是正确的:auto f1 = [](){ return 1; }; auto f2 = []{ return 1; }; // 省略空参数表
lambda实现swap函数lambda 表达式还可以通过捕获列表捕获一定范围内的变量:
- [] 不捕获任何变量。
- [&] 捕获外部作用域中所有变量,并作为引用在函数体中使用(按引用捕获)。
- [bar] 按值捕获 bar 变量,同时不捕获其他变量。
- [&bar] 按值捕获外部作用域中所有变量,并按引用传递捕获bar变量。
- [=] 表示值传递方式捕获所有父作用域中的变量包括this。(按值捕获)。
- [this] 捕获当前类中的 this 指针,让 lambda 表达式拥有和当前类成员函数同样的访问权限。如果已经使用了 & 或者 =,就默认添加此选项。捕获 this 的目的是可以在 lamda 中使用当前类的成员函数和成员变量。
说明:
- 父作用域指的是包含lambda函数的语句块。
- 语法上捕捉列表可由多个捕捉项组成,并以逗号分割。比如[=, &a, &b]。
- 捕捉列表不允许变量重复传递,否则会导致编译错误。比如[=, a]重复传递了变量a。
- 在块作用域以外的lambda函数捕捉列表必须为空,即全局lambda函数的捕捉列表必须为空。
- 在块作用域中的lambda函数仅能捕捉父作用域中的局部变量,捕捉任何非此作用域或者非局部变量都会导致编译报错。
- lambda表达式之间不能相互赋值,即使看起来类型相同。
//lambda实现swap
int main()
{
int a=5, b=7;
cout<<"a: "<< a<<" "<< "b: "<< b<< endl;
auto swap = [](int& a, int& b)->void
{
int tmp = a;
a = b;
b = tmp;
};
swap(a, b); //别忘了分号
cout<< "a: "<< a<< " "<< "b: "<< b<< endl;
return 0;
}
- lambda表达式是一个匿名函数,该函数无法直接调用,如果想要直接调用,可借助auto将其赋值给一个变量,此时这个变量就可以像普通函数一样使用。
- lambda表达式的函数体在格式上并不是必须写成一行,如果函数体太长可以进行换行,但换行后不要忘了函数体最后还有一个分号。
其实这个代码还可以进行优化,我们还可以利用捕捉列表进行捕捉 :
int main()
{
int a=5, b=7;
cout<<"a: "<< a<<" "<< "b: "<< b<< endl;
//auto swap = [](int& a, int& b)->void
//{
// int tmp = a;
// a = b;
// b = tmp;
//}; //不要忘了后面的分号
//swap(a, b);
auto swap = [&a, &b]
{
int tmp = a;
a = b;
b = tmp;
};
swap(); //()里面不需要传参
cout<< "a: "<< a<< " "<< "b: "<< b<< endl;
return 0;
}
还有的交换函数会这样写:
auto swap = [a, b]()mutable
{
int tmp = a;
a = b;
b = tmp;
};
swap(); //()里面不需要传参
cout<< "a: "<< a<< " "<< "b: "<< b<< endl;
lambda表达式之间不能相互赋值注意:mutable的作用是取消lambda表达式的常量性,因为lambda总是一个const函数,光取消const属性还是不足以进行交换,这里还需要用到引用传递来捕获变量进行数据交换。
注意任何的lambda表达式之间的不能进行相互赋值,即使是两者的类型相同。
int main() { int a = 5, b = 7; cout<< "a: "<< a<< " "<< "b: "<< b<< endl; auto swap1 = [](int& a, int& b)->void { int tmp = a; a = b; b = tmp; }; //不要忘了后面的分号 auto swap2 = [](int& a, int& b)->void { int tmp = a; a = b; b = tmp; }; //不要忘了后面的分号 cout<< typeid(swap1).name()<< endl; // class
cout<< typeid(swap2).name()<< endl; //class return 0; }
- lambda表达式之间不能相互赋值,就算是两个一模一样的lambda表达式。
- 因为lambda表达式底层的处理方式和仿函数是一样的,在VS下,lambda表达式在底层会被处理为函数对象,该函数对象对应的类名叫做
。 - 类名中的uuid叫做通用唯一识别码(Universally Unique Identifier),简单来说,uuid就是通过算法生成一串字符串,保证在当前程序当中每次生成的uuid都不会重复。
- lambda表达式底层的类名包含uuid,这样就能保证每个lambda表达式底层类名都是唯一的。
- 因此每个lambda表达式的类型都是不同的,这也就是lambda表达式之间不能相互赋值的原因,我们可以通过typeid(变量名).name()的方式来获取lambda表达式的类型。
你是否还在寻找稳定的海外服务器提供商?创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源,准确流量调度确保服务器高可用性,企业级服务器适合批量采购,新人活动首月15元起,快前往官网查看详情吧
名称栏目:【C++11】可变参数和lambda表达式-创新互联
浏览路径:http://scyanting.com/article/coocge.html