目录
一:使用列表初始化
二:decltype和nullptr
三:右值引用和移动语义
四:新的类功能
五:可变参数模板
六:lambda表达式
七:包装器
1.function包装器
2.bind包装器
接下来的日子会顺顺利利,万事胜意,生活明朗-----------林辞忧
1.统一使用{}初始化(对于内置类型和自定义类型)
在C++98中,标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定
struct Point
{
int _x;
int _y;
};
int main()
{
int array1[] = { 1, 2, 3, 4, 5 };
int array2[5] = { 0 };
Point p = { 1, 2 };
return 0;
}
C++11扩大了用大括号括起的列表(初始化列表)的使用范围,使其可用于所有的内置类型和用户自
定义的类型,使用初始化列表时,可添加等号(=),也可不添加
struct Point
{
int _x;
int _y;
};
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
, _month(month)
, _day(day)
{
cout << "Date(int year, int month, int day)" << endl;
}
private:
int _year;
int _month;
int _day;
};
//c++11支持一切使用列表初始化
int main()
{
int x1 = { 1 };
int array1[] = { 1, 2, 3, 4, 5 };
Point p = { 1, 2 };
Date d1={ 2022, 1, 2 };//多参数的构造函数的隐式类型转换
const Date& d2 = { 2024,8,31 };
//c++11支持可以不加=
int x2{1};
int array2[]{ 1, 2, 3, 4, 5 };
Point p1{ 1, 2 };
Date d3{ 2022, 1, 2 };
}
2.std::initializer_list(对于容器的多值构造)
对于vector,list等容器支持多个值来构造初始化
对于这里的Date类是多参数的构造函数的隐式类型转换,必须跟对应构造函数的参数个数匹配,而对于这里的vector,list等容器则是使用了initializer_list的构造函数
对于这里的initializer_list则是c++11新引入的一个类型,查阅官方文档介绍得
c++11在这里把列表的值识别为一个initializer_list的对象,每个值的类型都是initializer_list
在底层方面
对于上述的多值构造,实际上是用迭代器遍历这个initializer_list,将每个值插入到vector等容器中或者使用对应的迭代器区间来构造
对于这里的列表初始化和 initializer_list构造结合起来使用的优秀例子为
1.关键字decltype将变量的类型声明为表达式指定的类型
int i = 1;
map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };
//map<string, string>::iterator it = dict.begin();
auto it = dict.begin();
cout << typeid(i).name() << endl;
auto k = i;
vector<decltype(it)> v;
decltype(it) it1;
对于typeid().name()来获取的类型是以字符串形式获取到的,获取到的这个类型不能用来创建变量或者使用的,此时我们就可以使用auto来创建变量
但auto不能做参数,这是就得用decltype(变量)来推导对象的类型,这个类型是可以用来做模板实参或者再定义对象
2.nullptr
由于C++中NULL被定义成字面量0,这样就可能回带来一些问题,因为0既能指针常量,又能表示
整形常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针
1.左值,左值引用,右值,右值引用
// 以下的p、b、c、*p都是左值
// 左值:可以取地址
int* p = new int(0);
int b = 1;
const int c = b;
*p = 10;
string s("111111");
s[0];
cout << &c << endl;
cout << &s[0] << endl;
// 左值引用给左值取别名
int& r1 = b;
int*& r2 = p;
int& r3 = *p;
string& r4 = s;
// 右值:不能取地址
double x = 1.1, y = 2.2;
// 以下几个都是常见的右值,常量临时对象,匿名对象
10;
x + y;
fmin(x, y);
string("11111");
//cout << &10 << endl;
// 右值引用给右值取别名
int&& rr1 = 10;
double&& rr2 = x + y;
double&& rr3 = fmin(x,y);
string&& rr4 = string("11111");
///
//左值引用引用给右值取别名:不能直接引用,但是const 左值引用可以
const int& rx1 = 10;
const double& rx2 = x + y;
const double& rx3 = fmin(x, y);
const string& rx4 = string("11111");
//适用场景
// void push(const T& x);
vector<string> v;
string s1("1111");
v.push_back(s1);
v.push_back(string("1111"));
v.push_back("1111");
//右值引用引用给左值取别名:不能直接引用,但是move(左值)以后右值引用可以引用
int&& rrx1 = move(b);
int*&& rrx2 = move(p);
int&& rrx3 = move(*p);
string&& rrx4 = move(s);
这里实际在底层看来是没有左右值区分的,都是用指针来实现的,move的本质也就相当于强制类型转换
2.右值引用使用场景和意义
引用的意义为减少拷贝,在这里左值引用解决的场景:引用传参/引用传返回值
但当函数返回对象是一个局部变量,出了函数作用域就不存在了,就不能使用左值引用返回,
只能传值返回,这里就会有多次拷贝
因此提出使用右值引用的移动构造/赋值(移动构造本质是将参数右值的资源窃取过来,占位已有,那么就不用做深拷贝了,所以它叫做移动构造,就是窃取别人的资源来构造自己)来解决上述问题
但现在的编译器会做很大的优化处理,会影响观察到的结果,接下来就用一个实例来观察的
举例如下
namespace mjw
{
class string
{
public:
typedef char* iterator;
iterator begin()
{
return _str;
}
iterator end()
{
return _str + _size;
}
typedef const char* const_iterator;
const_iterator begin() const
{
return _str;
}
const_iterator end() const
{
return _str + _size;
}
string(const char* str = "")
:_size(strlen(str))
, _capacity(_size)
{
cout << "string(char* str)" << endl;
_str = new char[_capacity + 1];
strcpy(_str, str);
}
// s1.swap(s2)
void swap(string& s)
{
::swap(_str, s._str);
::swap(_size, s._size);
::swap(_capacity, s._capacity);
}
// 拷贝构造
// s2(s1)
string(const string& s)
:_str(nullptr)
{
cout << "string(const string& s) -- 深拷贝" << endl;
reserve(s._capacity);
for (auto ch : s)
{
push_back(ch);
}
}
// 赋值重载
string& operator=(const string& s)
{
cout << "string& operator=(const string& s) -- 深拷贝" << endl;
if (this != &s)
{
_str[0] = '// 移动构造
// 临时创建的对象,不能取地址,用完就要消亡
// 深拷贝的类,移动构造才有意义
string(string&& s)
{
cout << "string(string&& s) -- 移动拷贝" << endl;
swap(s);
}
// 移动赋值
string& operator=(string&& s)
{
cout << "string& operator=(string&& s) -- 移动拷贝" << endl;
swap(s);
return *this;
}
';
_size = 0;
reserve(s._capacity);
for (auto ch : s)
{
push_back(ch);
}
}
return *this;
}
~string()
{
delete[] _str;
_str = nullptr;
}
char& operator[](size_t pos)
{
assert(pos < _size);
return _str[pos];
}
void reserve(size_t n)
{
if (n > _capacity)
{
char* tmp = new char[n + 1];
if (_str)
{
strcpy(tmp, _str);
delete[] _str;
}
_str = tmp;
_capacity = n;
}
}
void push_back(char ch)
{
if (_size >= _capacity)
{
size_t newcapacity = _capacity == 0 ? 4 : _capacity * 2;
reserve(newcapacity);
}
_str[_size] = ch;
++_size;
_str[_size] = 'void Fun(int& x) { cout << "左值引用" << endl; }
void Fun(const int& x) { cout << "const 左值引用" << endl; }
void Fun(int&& x) { cout << "右值引用" << endl; }
void Fun(const int&& x) { cout << "const 右值引用" << endl; }
// 万能引用
// 传左值->左值引用
// 传右值->右值引用
template<typename T>
void PerfectForward(T&& t)
{
// 模版实例化是左值引用,保持属性直接传参给Fun
// 模版实例化是右值引用,右值引用属性会退化成左值,转换成右值属性再传参给Fun
Fun(t);
}
int main()
{
PerfectForward(10); // 右值
int a;
PerfectForward(a); // 左值
PerfectForward(std::move(a)); // 右值
const int b = 8;
PerfectForward(b); // const 左值
PerfectForward(std::move(b)); // const 右值
return 0;
}
';
}
//string operator+=(char ch)
string& operator+=(char ch)
{
push_back(ch);
return *this;
}
const char* c_str() const
{
return _str;
}
private:
char* _str = nullptr;
size_t _size = 0;
size_t _capacity = 0; // 不包含最后做标识的四:新的类功能
};
mjw::string to_string(int value)
{
bool flag = true;
if (value < 0)
{
flag = false;
value = 0 - value;
}
mjw::string str;
while (value > 0)
{
int x = value % 10;
value /= 10;
str += ('0' + x);
}
if (flag == false)
{
str += '-';
}
std::reverse(str.begin(), str.end());
return str;
}
}
int main()
{
mjw::string s1;
s1 = mjw::to_string(1234);
return 0;
}
string的移动构造和移动赋值
class Person
{
public:
Person(const char* name = "", int age = 0)
:_name(name)
, _age(age)
{}
//~Person() {}
private:
mjw::string _name;
int _age;
};
int main()
{
Person s1;
Person s2 = s1;
Person s3 = std::move(s1);
Person s4;
s4 = std::move(s2);
return 0;
}
在vs2022
这种编译器的最新优化下,上述过程还会优化的更深入,直接优化为构造
这里会想如果在这样优化的环境下,是不是移动构造/赋值就会意义,其实不然,就像下面的场景下是无法直接优化为构造的
对于右值引用的移动语义还有一些应用场景
对于大对象的传值返回,拷贝代价极大,就比如这里的杨辉三角
对于一些容器的插入接口也增加了右值引用的版本
3.关于右值引用本身的属性是左值的探究
问题引入:
在引入前面所写list文件(可从前面博客中寻找)后,在list.h中实现移动构造和移动赋值后
会发现这里的打印仍然是拷贝构造,移动构造并没有触发,造成这样的原因是
这里的右值引用x本身的属性还是左值,因此接下来还是会匹配到拷贝构造的
那么这里为啥要这样规定呢,其实主要是为了解决这个问题
如果这里swap(s),s的属性是右值的话,与swap函数的参数类型是不能匹配的,况且swap函数的参数类型只能写string&,const string&和string&& 的对象是不能修改的
因此为了解决上述问题可以使用move来解决的
4.完美转发
五:可变参数模板
对于这里的万能引用中Fun传参,是不能区分左右值的,都会被统一处理为左值,为了解决这个问题就可以使用完美转发
这时就会保持它的原有属性,不会发生右值退化为左值的情况
// Args是一个模板参数包,args是一个函数形参参数包
// 声明一个参数包Args...args,这个参数包中可以包含0到任意个模板参数。
//参数包包含多个类型和参数
template <class ...Args>
void ShowList(Args... args)
{}
1.移动构造和移动赋值
void Print()
{
cout << endl;
}
template <class T, class ...Args>
void Print(T&& x, Args&&... args)
{
cout << x << " ";
Print(args...);
}
// 编译时递归推导解析参数
template <class ...Args>
void ShowList(Args&&... args)
{
Print(args...);
}
int main()
{
ShowList();
ShowList(1);
ShowList(1, "xxxxx");
ShowList(1, "xxxxx", 2.2);
return 0;
}
如果这里没有显示写析构,拷贝构造,赋值的话,编译器就会自动生成移动构造和移动赋值
如果实现了其中的任意一个的话,就不会自动生成
2.强制生成默认函数的关键字default和禁止生成默认函数的关键字delete
在c++98中,当不想成员函数被拷贝时,就可以将成员函数只声明,不定义,放到private中;在c++11之后就采用delete关键字来解决
template <class T>
void PrintArg(T t)
{
cout << t << " ";
}
template <class ...Args>
void ShowList(Args... args)
{
int arr[] = { (PrintArg(args),0)... };
cout << endl;
}
// 编译推演生成下面的函数
//void ShowList(int x, char y, std::string z)
//{
// int arr[] = { PrintArg(x),PrintArg(y),PrintArg(z) };
// cout << endl;
//}
int main()
{
//ShowList(1);
//ShowList(1, 'A');
ShowList(1, 'A', std::string("sort"));
return 0;
}
template <class ...Args>
void ShowList(Args... args)
{
int arr[] = { (cout<<(args)<<" ", 0)...};
cout << endl;
}
//void ShowList(int x, char y, std::string z)
//{
// int arr[] = { (cout<<(x)<<" ", 0), (cout << (y) << " ", 0), (cout << (z) << " ", 0) };
//
// cout << endl;
//}
int main()
{
ShowList(1, 'A', std::string("sort"));
return 0;
}
1.对函数形参参数包sizeof得参数包的参数个数
2.使用递归函数方式展开参数包
在这里如果要展开参数包的话,或许我们会首先想到这样的方法
但这样是不支持的,因为可变参数模板是在编译时解析的,而这样的方式是在运行时获取和解析的,所以不支持
这里就要使用在编译时递归推导解析参数
.template <class... Args>
void emplace_back (Args&&... args);
对于这里的原理就是,比如是有三个参数的情况下,是将有三个参数的参数包传给args,再在编译时将参数包传给Print函数,就将第一个参数传给x然后解析出来,再将其余两个参数的参数包传给Print函数的第二个参数,再递归调用自己,依次解析参数包中的内容,直至为空,此时就调用Print()函数,完成整个参数包的解析
这里在编译器实例化的时候,其实是实例化为不同的函数,然后再分别调用,如下
3.使用逗号表达式展开参数包
六:lambda表达式
expand函数中的逗号表达式:(printarg(args), 0),也是按照这个执行顺序,先执行
printarg(args),再得到逗号表达式的结果0。同时还用到了C++11的另外一个特性——初始化列
表,通过初始化列表来初始化一个变长数组, {(printarg(args), 0)...}将会展开成((printarg(arg1),0),
(printarg(arg2),0), (printarg(arg3),0), etc... ),最终会创建一个元素值都为0的数组int arr[sizeof...
(Args)]。由于是逗号表达式,在创建数组的过程中会先执行逗号表达式前面的部分printarg(args)
打印出参数,也就是说在构造int数组的过程中就将参数包展开了
也可以使用这样的方式
#include<algorithm>
struct Goods
{
string _name; // 名字
double _price; // 价格
int _evaluate; // 评价
//...
Goods(const char* str, double price, int evaluate)
:_name(str)
, _price(price)
, _evaluate(evaluate)
{}
};
struct Compare1
{
bool operator()(const Goods& gl, const Goods& gr)
{
return gl._price < gr._price;
}
};
struct Compare2
{
bool operator()(const Goods& gl, const Goods& gr)
{
return gl._price > gr._price;
}
};
int main()
{
vector<Goods> v = { { "苹果", 2.1, 5 }, { "香蕉", 3, 4 }, { "橙子", 2.2,
3 }, { "菠萝", 1.5, 4 } };
sort(v.begin(), v.end(), Compare1());
sort(v.begin(), v.end(), Compare2());
return 0;
}
4.emplace_back接口与push_back等插入接口的区别
int x = 0;
int main()
{
// 只能用当前lambda局部域和捕捉的对象和全局对象
int a = 0, b = 1, c = 2, d = 3;
// 所有值传值捕捉
auto func1 = [=]
{
int ret = a + b + c + d + x;
return ret;
};
// 所有值传引用捕捉
auto func2 = [&]
{
a++;
b++;
c++;
d++;
int ret = a + b + c + d;
return ret;
};
// 混合捕捉
auto func3 = [&a, b]
{
a++;
// b++;
int ret = a + b;
return ret;
};
// 混合捕捉
// 所有值以引用方式捕捉,d用传值捕捉
auto func4 = [&, d]
{
a++;
b++;
c++;
//d++;
int ret = a + b + c + d;
};
auto func5 = [=, &d]() mutable
{
a++;
b++;
c++;
d++;
int ret = a + b + c + d;
};
return 0;
}
这里对于普通的左值还是右值的插入,这两个区别不大
这里的可变参数模板是针对多参数的,与push_back()不同的地方为
往下传的过程中,就会直接构造对象进行插入操作,而push_back是先构造,再拷贝/移动构造
5.在list中模拟实现emplace_back版本
// 价格升序
sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2)->bool
{
return g1._price < g2._price;
});
sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2)->bool
{
return g1._price > g2._price;
});
sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2)->bool
{
return g1._evaluate < g2._evaluate;
});
sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2)->bool
{
return g1._evaluate > g2._evaluate;
});
1.实例引入
class Rate
{
public:
Rate(double rate) : _rate(rate)
{}
double operator()(double money, int year)
{
return money * _rate * year;
}
private:
double _rate;
};
int main()
{
// 函数对象
double rate = 0.015;
Rate r1(rate);
cout << r1(10000, 2) << endl;
// lambda
auto r2 = [rate](double monty, int year)->double
{
return monty * rate * year;
};
cout << r2(10000, 2) << endl;
int x = 1, y = 2;
auto r3 = [=](double monty, int year)->double
{
return monty * rate * year;
};
cout << r3(10000, 2) << endl;
return 0;
}
在实际的排序实例当中,一般都是对结构体按照某个成员为标准的排序,但这样的话,就需要写很多的仿函数来参与不同的排序,但当仿函数
的函数名是不明确的时候,这时还得查看源代码,于是为了清晰明了,减少仿函数,就引入了lambda表达式
2. lambda表达式语法
3.简单的lambda表达式
实现加法
打印多行内容
lambda表达式的一些省略
4.关于捕获列表
实现一个交换函数
此时在函数体内部是无法直接使用a,b的,而要使用的话,就要使用捕捉列表的
要想改变外面捕捉的值,就得使用引用捕捉
其余几种捕捉方式
七:包装器
对于最初的排序问题,就可以使用lambda表达式添加排序方案
1.function包装器
5.函数对象与lambda表达式 ->探究lambda的底层实现
#include<functional>
int f(int a, int b)
{
return a + b;
}
struct Functor
{
public:
int operator() (int a, int b)
{
return a + b;
}
};
class Plus
{
public:
static int plusi(int a, int b)
{
return a + b;
}
double plusd(double a, double b)
{
return a + b;
}
};
int main()
{
// 包装可调用对象
function<int(int, int)> f1 = f;
function<int(int, int)> f2 = Functor();
function<int(int, int)> f3 = [](int a, int b) {return a + b; };
cout << f1(1, 1) << endl;
cout << f2(1, 1) << endl;
cout << f3(1, 1) << endl;
// 包装静态成员函数
function<int(int, int)> f4 = &Plus::plusi;
cout << f4(1, 1) << endl;
// 包装非静态成员函数(注意有隐含的this指针):方式1
function<double(Plus*, double, double)> f5 = &Plus::plusd;
Plus pd;
cout << f5(&pd, 1.1, 1.1) << endl;
//方式2
function<double(Plus, double, double)> f6 = &Plus::plusd;
cout << f6(pd, 1.1, 1.1) << endl;
cout << f6(Plus(), 1.1, 1.1) << endl;
return 0;
}
从使用方式上来看,函数对象与lambda表达式完全一样,函数对象将rate作为其成员变量,在定义对象时给出初始值即可,lambda表达式通过捕获列表可以直接将该变量捕获到
运行代码转到底层汇编代码得
实际在底层编译器对于lambda表达式的处理方式,完全就是按照函数对象的方式处理的,即:如
果定义了一个lambda表达式,编译器会自动生成一个类,在该类中重载了operator()。
对于我们上层看到的是lambda表达式是一个匿名函数对象,但实际在底层是有函数名的,构成为lambda_uuid
#include<functional>
using placeholders::_1;
using placeholders::_2;
using placeholders::_3;
int Sub(int a, int b)
{
return (a - b) * 10;
}
int SubX(int a, int b, int c)
{
return (a - b - c) * 10;
}
int main()
{
// bind 本质返回的一个仿函数对象
// _1代表第一个实参
// _2代表第二个实参
// ...
auto sub1 = bind(Sub, _1, _2);
cout << sub1(10, 5) << endl;
// 调整参数顺序(不常用)
auto sub2 = bind(Sub, _2, _1);
cout << sub2(10, 5) << endl;
// 调整参数个数 (常用)
auto sub3 = bind(Sub, 100, _1);
cout << sub3(5) << endl;
auto sub4 = bind(Sub, _1, 100);
cout << sub4(5) << endl;
// 分别绑死第123个参数
auto sub5 = bind(SubX, 100, _1, _2);
cout << sub5(5, 1) << endl;
auto sub6 = bind(SubX, _1, 100, _2);
cout << sub6(5, 1) << endl;
auto sub7 = bind(SubX, _1, _2, 100);
cout << sub7(5, 1) << endl;
return 0;
}
function包装器 也叫作适配器。C++中的function本质是一个类模板,也是一个包装器
1.function包装器的意义
ret = func(x);
// 上面func可能是什么呢?那么func可能是函数名?函数指针?函数对象(仿函数对象)?也有可能
是lamber表达式对象?所以这些都是可调用的类型!如此丰富的类型,可能会导致模板的效率低下
因此提出了用包装器来解决问题,提供一种统一的方式来访问
std::function在头文件<functional>
模板参数说明:
Ret: 被调用函数的返回类型
Args…:被调用函数的形参
2.包装实例1
class Plus
{
public:
static int plusi(int a, int b)
{
return a + b;
}
double plusd(double a, double b)
{
return a + b;
}
};
int main()
{
function<double(Plus, double, double)> f6 = &Plus::plusd;
Plus pd;
cout << f6(pd, 1.1, 1.1) << endl;
cout << f6(Plus(), 1.1, 1.1) << endl;
// bind一般用于,绑死一些固定参数
function<double(double, double)> f7 = bind(&Plus::plusd, Plus(), _1, _2);
cout << f7(1.1, 1.1) << endl;
return 0;
}
实例2
//auto func1 = [](double rate, double monty, int year)->double {return monty * rate * year;};
auto func1 = [](double rate, double monty, int year)->double {
double ret = monty;
for (int i = 0; i < year; i++)
{
ret += ret * rate;
}
return ret - monty;
};
function<double(double)> func3_1_5 = bind(func1, 0.015, _1, 3);
function<double(double)> func5_1_5 = bind(func1, 0.015, _1, 5);
function<double(double)> func10_2_5 = bind(func1, 0.025, _1, 10);
function<double(double)> func20_3_5 = bind(func1, 0.035, _1, 30);
cout << func3_1_5(1000000) << endl;
cout << func5_1_5(1000000) << endl;
cout << func10_2_5(1000000) << endl;
cout << func20_3_5(1000000) << endl;
std::bind函数定义在头文件中,是一个函数模板,它就像一个函数包装器(适配器),接受一个可
调用对象(callable object),生成一个新的可调用对象来“适应”原对象的参数列表。使用std::bind函数还可以实现参数顺序调整等操作
1.函数原型
2.实例演示
图示分析:
这里的bind包装器主要解决的是下面的这个例子
其余实例: