文章目录
decltype
使用它让编译器来推测出一个表达式的类型,相当于
typeof
三个用途:
①用来声明return type
②用于元编程
③用来传递lambda的类型
lambda
lambda的语法形式:
[函数对象参数]:
捕捉列表。捕捉列表总是出现在Lambda函数的开始处。实际上,[]是Lambda引出符。编译器根据该引出符判断接下来的代码是否是Lambda函数。捕捉列表能够捕捉上下文中的变量以供Lambda函数使用;
(parameters):
参数列表。与普通函数的参数列表一致。如果不需要参数传递,则可以连同括号“()”一起省略
mutable 或 exception 声明:
mutable修饰符,默认情况下,Lambda函数总是一个const函数,mutable可以取消其常量性。在使用该修饰符时,参数列表不可省略(即使参数为空);exception 声明用于指定函数抛出的异常。
->return-type:
返回类型。用追踪返回类型形式声明函数的返回类型。我们可以在不需要返回值的时候也可以连同符号”->”一起省略。此外,在返回类型明确的情况下,也可以省略该部分,让编译器对返回类型进行推导
举例:
uniform initialization
在c++11之前,初始化可以发生在
小括号、大括号或者赋值符号上面
,如下图所示:
c++11导入了
uniform initialization
,只需要使用
大括号
上图中,
但若函数参数是个initializer_list<T>,调用者却不能给予数个T参数然后以为它们会被自动转为一个initializer_list<T>传入
这句话是错误的,
当存在函数参数是个initializer_list<T>,并且调用者给予{}括起来数个T参数时,优先匹配该函数
。
initializer_list
initializer_list的背后有一个array在支撑;initializer_list只是引用数组的元素,而不包含它们,
即只是传了指针进去
。
variadic tmplates
举例:
=default,=delete
如果你自行定义了一个ctor,那么编译器就不会再给你一个default ctor
如果你强行加上=default,就可以重新获得并使用default ctor;加上=delete则取消对该函数的使用
=default,=delete一般用在类的构造函数和析构函数上
右值引用与左值引用
c++98
中的引用很常见了,就是给变量取了个别名,在
c++11
中,因为增加了
右值引用(rvalue reference)
的概念,所以
c++98
中的引用都称为了
左值引用(lvalue reference)
。
int a = 10;
int& refA = a; // refA是a的别名, 修改refA就是修改a, a是左值,左移是左值引用
int& b = 1; //编译错误! 1是右值,不能够使用左值引用
c++11
中的右值引用使用的符号是
&&
,如
int&& a = 1; //实质上就是将不具名(匿名)变量取了个别名
int b = 1;
int && c = b; //编译错误! 不能将一个左值复制给一个右值引用
class A {
public:
int a;
};
A getTemp()
{
return A();
}
A && a = getTemp(); //getTemp()的返回值是右值(临时变量)
getTemp()
返回的右值本来在表达式语句结束后,其生命也就该终结了(因为是临时变量),而通过右值引用,该右值又重获新生,其生命期将与右值引用类型变量
a
的生命期一样,只要
a
还活着,该右值临时变量将会一直存活下去。实际上就是给那个临时变量取了个名字。
注意
:这里
a
的
类型
是右值引用类型(
int &&
),但是如果从左值和右值的角度区分它,它实际上是个
左值
。因为可以对它取地址,而且它还有名字,是一个已经命名的右值。
所以,左值引用只能绑定左值,右值引用只能绑定右值,如果绑定的不对,编译就会失败。但是,
常量左值引用
却是个奇葩,它可以算是一个“万能”的引用类型,它可以绑定非常量左值、常量左值、右值,而且在绑定右值的时候,常量左值引用还可以像右值引用一样将右值的生命期延长,缺点是,只能读不能改。
总结;
-
左值引用, 使用
T&
, 只能绑定
左值
-
右值引用, 使用
T&&
, 只能绑定
右值
-
常量左值, 使用
const T&
, 既可以绑定
左值
又可以绑定
右值
-
已命名的
右值引用
,编译器会认为是个
左值
移动语义与完美转发
移动语义
右值引用是一种新的引用类型,用来解决
不必要的复制
。当赋值的右手边是一个右值,并且左手边的对象能够从右手边对象中
偷取/搬移
资源而不是执行一次不同的分配,从而引出了
移动语义
。被
偷取/搬移
之后的原来那个东西不能再使用了。
写一个move aware class
#include <iostream>
#include <cstring>
#include <vector>
using namespace std;
class MyString
{
public:
static size_t CCtor; //统计调用拷贝构造函数的次数
static size_t MCtor; //统计调用移动构造函数的次数
static size_t CAsgn; //统计调用拷贝赋值函数的次数
static size_t MAsgn; //统计调用移动赋值函数的次数
public:
// 构造函数
MyString(const char* cstr=0){
if (cstr) {
m_data = new char[strlen(cstr)+1];
strcpy(m_data, cstr);
}
else {
m_data = new char[1];
*m_data = '\0';
}
}
// 拷贝构造函数
MyString(const MyString& str) {
CCtor ++;
m_data = new char[ strlen(str.m_data) + 1 ];
strcpy(m_data, str.m_data);
}
// 移动构造函数
MyString(MyString&& str) noexcept
:m_data(str.m_data) {
MCtor ++;
str.m_data = nullptr; //不再指向之前的资源了
}
// 拷贝赋值函数 =号重载
MyString& operator=(const MyString& str){
CAsgn ++;
if (this == &str) // 避免自我赋值!!
return *this;
delete[] m_data;
m_data = new char[ strlen(str.m_data) + 1 ];
strcpy(m_data, str.m_data);
return *this;
}
// 移动赋值函数 =号重载
MyString& operator=(MyString&& str) noexcept{
MAsgn ++;
if (this == &str) // 避免自我赋值!!
return *this;
delete[] m_data;
m_data = str.m_data;
str.m_data = nullptr; //不再指向之前的资源了
return *this;
}
~MyString() {
if(m_data)
delete[] m_data;
}
char* get_c_str() const { return m_data; }
private:
char* m_data;
};
size_t MyString::CCtor = 0;
size_t MyString::MCtor = 0;
size_t MyString::CAsgn = 0;
size_t MyString::MAsgn = 0;
int main()
{
vector<MyString> vecStr;
vecStr.reserve(1000); //先分配好1000个空间
for(int i=0;i<1000;i++){
vecStr.push_back(MyString("hello"));
}
cout << "CCtor = " << MyString::CCtor << endl;
cout << "MCtor = " << MyString::MCtor << endl;
cout << "CAsgn = " << MyString::CAsgn << endl;
cout << "MAsgn = " << MyString::MAsgn << endl;
}
/* 结果
CCtor = 0
MCtor = 1000
CAsgn = 0
MAsgn = 0
*/
可以看出,移动构造函数与拷贝构造函数的区别是,拷贝构造的参数是
const MyString& str
,是
常量左值引用
,而移动构造的参数是
MyString&& str
,是
右值引用
,而
MyString("hello")
是个临时对象,是个右值,优先进入
移动构造函数
而不是拷贝构造函数。而移动构造函数与拷贝构造不同,它并不是重新分配一块新的空间,将要拷贝的对象复制过来,而是”偷”了过来,将自己的指针指向别人的资源,然后将别人的指针修改为
nullptr
,这一步很重要,如果不将别人的指针修改为空,那么临时对象析构的时候就会释放掉这个资源,”偷”也白偷了。下面这张图可以解释copy和move的区别。
又一个例子:
MyString str1("hello"); //调用构造函数
MyString str2("world"); //调用构造函数
MyString str3(str1); //调用拷贝构造函数
MyString str4(std::move(str1)); // 调用移动构造函数、
// cout << str1.get_c_str() << endl; // 此时str1的内部指针已经失效了!不要使用
//注意:虽然str1中的m_dat已经称为了空,但是str1这个对象还活着,知道出了它的作用域才会析构!而不是move完了立刻析构
MyString str5;
str5 = str2; //调用拷贝赋值函数
MyString str6;
str6 = std::move(str2); // str2的内容也失效了,不要再使用
需要注意一下几点:
-
str6 = std::move(str2)
,
虽然将
str2
的资源给了
str6
,但是
str2
并没有立刻析构,只有在
str2
离开了自己的作用域的时候才会析构
,所以,如果继续使用
str2
的
m_data
变量,可能会发生意想不到的错误。 -
如果我们没有提供移动构造函数,只提供了拷贝构造函数,
std::move()
会失效但是不会发生错误,因为编译器找不到移动构造函数就去寻找拷贝构造函数,
也这是拷贝构造函数的参数是
const T&
常量左值引用的原因!
-
c++11中
的所有容器都实现了
move
语义,
move
只是转移了资源的控制权,本质上是将左值强制转化为右值使用,以用于移动拷贝或赋值,避免对
含有资源的对象
发生无谓的拷贝。
move
对于拥有如内存、文件句柄等资源的成员的对象有效,如果是一些基本类型,如int和char[10]数组等,如果使用move,仍会发生拷贝(因为没有对应的移动构造函数),所以说
move
对含有资源的对象说更有意义。
移动语义对
swap()
函数的影响也很大,之前实现swap可能需要三次内存拷贝,而有了移动语义后,就可以实现高性能的交换函数了。
template <typename T>
void swap(T& a, T& b)
{
T tmp(std::move(a));
a = std::move(b);
b = std::move(tmp);
}
如果T是可移动的,那么整个操作会很高效,如果不可移动,那么就和普通的交换函数是一样的,不会发生什么错误,很安全。
完美转发
所谓转发,就是通过一个函数将参数继续转交给另一个函数进行处理,原参数可能是右值,可能是左值,如果还能继续保持参数的原有特征,那么它就是完美的。
例子:
#include <iostream>
#include <cstring>
#include <vector>
using namespace std;
void RunCode(int &&m) {
cout << "rvalue ref" << endl;
}
void RunCode(int &m) {
cout << "lvalue ref" << endl;
}
void RunCode(const int &&m) {
cout << "const rvalue ref" << endl;
}
void RunCode(const int &m) {
cout << "const lvalue ref" << endl;
}
// 这里利用了universal references,如果写T&,就不支持传入右值,而写T&&,既能支持左值,又能支持右值
template<typename T>
void perfectForward(T && t) {
RunCode(forward<T> (t));
}
template<typename T>
void notPerfectForward(T && t) {
RunCode(t);
}
int main()
{
int a = 0;
int b = 0;
const int c = 0;
const int d = 0;
notPerfectForward(a); // lvalue ref
notPerfectForward(move(b)); // lvalue ref
notPerfectForward(c); // const lvalue ref
notPerfectForward(move(d)); // const lvalue ref
cout << endl;
perfectForward(a); // lvalue ref
perfectForward(move(b)); // rvalue ref
perfectForward(c); // const lvalue ref
perfectForward(move(d)); // const rvalue ref
}
智能指针
智能指针主要用于管理堆内存对象的生命周期,本身指针对象是位于栈内存的对象,当智能指针对象的生命周期结束后,会在析构函数里释放管理的堆内存对象的内存空间,从而方式内存泄露。
C++中有四种智能指针:
● auto_ptr 自动指针,C++98提出,目前已不推荐使用
● unique_ptr 唯一指针,C++11
● shared_ptr 共享指针,C++11
● weak_ptr 虚指针,C++11
智能指针的使用需要引入头文件
auto_ptr(c++11已弃用)
#include<iostream>
#include<memory>//auto_ptr的头文件
using namespace std;
class Test
{
public:
Test(string s)
{
str = s;
cout<<"Test creat\n";
}
~Test()
{
cout<<"Test delete:"<<str<<endl;
}
string& getStr()
{
return str;
}
void setStr(string s)
{
str = s;
}
void print()
{
cout<<str<<endl;
}
private:
string str;
};
int main()
{
auto_ptr<Test> ptest(new Test("123"));//调用构造函数输出Test creat
ptest->setStr("hello ");//修改成员变量的值
ptest->print();//输出hello
ptest.get()->print();//输出hello
ptest->getStr() += "world !";
(*ptest).print();//输出hello world
ptest.reset(new Test("123"));//成员函数reset()重新绑定指向的对象,而原来的对象则会被释放,所以这里会调用一次构造函数,还有调用一次析构函数释放掉之前的对象
ptest->print();//输出123
return 0;//此时还剩下一个对象,调用一次析构函数释放该对象
}
当我们对智能指针进行赋值时,如ptest2 = ptest,ptest2会接管ptest原来的内存管理权,ptest会变为空指针,如果ptest2原来不为空,则它会释放原来的资源。
基于这个原因,应该避免把auto_ptr放到容器中,因为算法对容器操作时,很难避免STL内部对容器实现了赋值传递操作,这样会使容器中很多元素被置为NULL。判断一个智能指针是否为空不能使用if(ptest == NULL),应该使用if(ptest.get() == NULL),如下代码
int main()
{
auto_ptr<Test> ptest(new Test("123"));//构造函数输出Test creat
auto_ptr<Test> ptest2(new Test("456"));//构造函数输出Test creat
ptest2 = ptest;//ptest2会接管ptest原来的内存管理权,ptest2不为空,先释放原来的资源
ptest2->print();
if(ptest.get() == NULL)
cout<<"ptest = NULL\n";//输出ptest = NULL
return 0;//此时还剩下一个对象,调用一次析构函数释放该对象
}
还有一个值得我们注意的成员函数是release,这个函数只是把智能指针赋值为空,但是它原来指向的内存并没有被释放,相当于它只是释放了对资源的所有权
,从下面的代码执行结果可以看出,析构函数没有被调用。
int main()
{
auto_ptr<Test> ptest(new Test("123"));//构造函数输出Test creat
ptest.release();
return 0;
}
那么当我们想要在中途释放资源,而不是等到智能指针被析构时才释放,我们可以使用ptest.reset(); 语句。
unique_ptr
unique_ptr,
是用于取代c++98的auto_ptr的产物。
unique_ptr 是一个独享所有权的智能指针,它提供了严格意义上的所有权,包括:
1、拥有它指向的对象
2、无法进行复制构造,无法进行复制赋值操作。即无法使两个unique_ptr指向同一个对象。但是可以进行移动构造和移动赋值操作
3、保存指向某个对象的指针,当它本身被删除释放的时候,会使用给定的删除器释放它指向的对象
unique_ptr 可以实现如下功能:
1、为动态申请的内存提供异常安全
2、将动态申请的内存所有权传递给某函数
3、从某个函数返回动态申请内存的所有权
4、在容器中保存指针
5、auto_ptr 应该具有的功能
#include<iostream>
#include<memory>
using namespace std;
class Test
{
public:
Test(string s)
{
str = s;
cout<<"Test creat\n";
}
~Test()
{
cout<<"Test delete:"<<str<<endl;
}
string& getStr()
{
return str;
}
void setStr(string s)
{
str = s;
}
void print()
{
cout<<str<<endl;
}
private:
string str;
};
unique_ptr<Test> fun()
{
return unique_ptr<Test>(new Test("789"));//调用了构造函数,输出Test creat
}
int main()
{
unique_ptr<Test> ptest(new Test("123"));//调用构造函数,输出Test creat
unique_ptr<Test> ptest2(new Test("456"));//调用构造函数,输出Test creat
ptest->print();//输出123
ptest2 = std::move(ptest);//不能直接ptest2 = ptest,调用了move后ptest2原本的对象会被释放,ptest2对象指向原本ptest对象的内存,输出Test delete 456
if(ptest == NULL)cout<<"ptest = NULL\n";//因为两个unique_ptr不能指向同一内存地址,所以经过前面move后ptest会被赋值NULL,输出ptest=NULL
Test* p = ptest2.release();//release成员函数把ptest2指针赋为空,但是并没有释放指针指向的内存,所以此时p指针指向原本ptest2指向的内存
p->print();//输出123
ptest.reset(p);//重新绑定对象,原来的对象会被释放掉,但是ptest对象本来就释放过了,所以这里就不会再调用析构函数了
ptest->print();//输出123
ptest2 = fun(); //这里可以用=,因为使用了移动构造函数,函数返回一个unique_ptr会自动调用移动构造函数
ptest2->print();//输出789
return 0;//此时程序中还有两个对象,调用两次析构函数释放对象
}
unique_ptr 和 auto_ptr用法很相似,不过不能使用两个智能指针赋值操作,应该使用std::move; 而且它可以直接用if(ptest == NULL)来判断是否空指针;
release、get、reset等用法也和auto_ptr一致,使用函数的返回值赋值时,可以直接使用=, 这里使用c++11 的移动语义特性。另外注意的是当把它当做参数传递给函数时,传实参时也要使用std::move,比如foo(std::move(ptest))。它还增加了一个成员函数swap用于交换两个智能指针的值
shared_ptr
资源可以被多个指针共享,它使用计数机制来表明资源被几个指针共享。可以通过成员函数use_count()来查看资源的所有者个数。除了可以通过new来构造,还可以通过传入auto_ptr, unique_ptr,weak_ptr来构造。当我们调用release()时,当前指针会释放资源所有权,计数减一。当计数等于0时,资源会被释放。
#include<iostream>
#include<memory>
using namespace std;
class Test
{
public:
Test(string s)
{
str = s;
cout<<"Test creat\n";
}
~Test()
{
cout<<"Test delete:"<<str<<endl;
}
string& getStr()
{
return str;
}
void setStr(string s)
{
str = s;
}
void print()
{
cout<<str<<endl;
}
private:
string str;
};
unique_ptr<Test> fun()
{
return unique_ptr<Test>(new Test("789"));
}
int main()
{
shared_ptr<Test> ptest(new Test("123"));//调用构造函数输出Test create
shared_ptr<Test> ptest2(new Test("456"));//调用构造函数输出 Test creat
cout<<ptest2->getStr()<<endl;//输出456
cout<<ptest2.use_count()<<endl;//显示此时资源被几个指针共享,输出1
ptest = ptest2;//"456"引用次数加1,“123”销毁,输出Test delete:123
ptest->print();//输出456
cout<<ptest2.use_count()<<endl;//该指针指向的资源被几个指针共享,输出2
cout<<ptest.use_count()<<endl;//2
ptest.reset();//重新绑定对象,绑定一个空对象,当时此时指针指向的对象还有其他指针能指向就不会释放该对象的内存空间,
ptest2.reset();//此时“456”销毁,此时指针指向的内存空间上的指针为0,就释放了该内存,输出Test delete
cout<<"done !\n";
return 0;
}
weak_ptr
weak_ptr是用来解决shared_ptr相互引用时的死锁问题,如果说两个shared_ptr相互引用,那么这两个指针的引用计数永远不可能下降为0,资源永远不会释放。它是对对象的一种弱引用,不会增加对象的引用计数,和shared_ptr之间可以相互转化,shared_ptr可以直接赋值给它,它可以通过调用lock函数来获得shared_ptr。
#include<iostream>
#include<memory>
using namespace std;
class B;
class A
{
public:
shared_ptr<B> pb_;
~A()
{
cout<<"A delete\n";
}
};
class B
{
public:
shared_ptr<A> pa_;
~B()
{
cout<<"B delete\n";
}
};
void fun()
{
shared_ptr<B> pb(new B());
shared_ptr<A> pa(new A());
pb->pa_ = pa;
pa->pb_ = pb;
cout<<pb.use_count()<<endl;
cout<<pa.use_count()<<endl;
}
int main()
{
fun();
return 0;
}
可以看到fun函数中pa ,pb之间互相引用,两个资源的引用计数为2,当要跳出函数时,智能指针pa,pb析构时两个资源引用计数会减一,但是两者引用计数还是为1,导致跳出函数时资源没有被释放(A B的析构函数没有被调用)
如果把其中一个改为weak_ptr就可以了,我们把类A里面的shared_ptr
pb_; 改为weak_ptr
pb_; 这样的话,资源B的引用开始就只有1,当pb析构时,B的计数变为0,B得到释放,B释放的同时也会使A的计数减一,同时pa析构时使A的计数减一,那么A的计数为0,A得到释放。
注意的是我们不能通过weak_ptr直接访问对象的方法,比如B对象中有一个方法print(),我们不能这样访问,pa->pb_->print(); 因为pb_是一个weak_ptr,应该先把它转化为shared_ptr,如:shared_ptr
p = pa->pb_.lock(); p->print();
static的用法
1、static的引入
当程序执行到它的定义处时,编译器为它在栈上分配空间,函数在栈上分配的空间在此函数执行结束时会释放掉,这样就产生了一个问题:
如果想将函数中此变量的值保存至下一次调用时,如何实现?
最容易想到的方法是定义为全局的变量,但定义一个全局变量有许多缺点,最明显的缺点是破坏了此变量的访问范围(使得在此函数中定义的变量,不仅仅只受此函数控制)。
static
关键字则可以很好的解决这个问题。
2、在c/c++中static的作用
2.1 总的来说
- (1)在修饰变量的时候,static 修饰的静态局部变量只执行初始化一次,而且延长了局部变量的生命周期,直到程序运行结束以后才释放。
- (2)static 修饰全局变量的时候,这个全局变量只能在本文件中访问,不能在其它文件中访问,即便是 extern 外部声明也不可以。
- (3)static 修饰一个函数,则这个函数的只能在本文件中调用,不能被其他文件调用。static 修饰的变量存放在全局数据区的静态变量区,包括全局静态变量和局部静态变量,都在全局数据区分配内存。初始化的时候自动初始化为 0。
- (4)不想被释放的时候,可以使用static修饰。比如修饰函数中存放在栈空间的数组。如果不想让这个数组在函数调用结束释放可以使用 static 修饰。
- (5)考虑到数据安全性(当程序想要使用全局变量的时候应该先考虑使用 static)。
2.2 静态变量与普通变量
静态全局变量:
- (1)静态变量都在全局数据区分配内存,包括静态局部变量;
- (2)未经初始化的静态全局变量会被程序自动初始化为0(在函数体内声明的自动变量的值是随机的,除非它被显式初始化,而在函数体外被声明的自动变量也会被初始化为 0);
- (3)静态全局变量在声明它的整个文件都是可见的,而在文件之外是不可见的。
全局变量与全局静态变量
- 1)全局变量是不显式用 static 修饰的全局变量,全局变量默认是有外部链接性的,作用域是整个工程,在一个文件内定义的全局变量,在另一个文件中,通过 extern 全局变量名的声明,就可以使用全局变量。
- 2)全局静态变量是显式用 static 修饰的全局变量,作用域是声明此变量所在的文件,其他的文件即使用 extern 声明也不能使用。
2.3 静态局部变量
- (1)该变量在全局数据区分配内存;
- (2)静态局部变量在程序执行到该对象的声明处时被首次初始化,即以后的函数调用不再进行初始化;
- (3)静态局部变量一般在声明处初始化,如果没有显式初始化,会被程序自动初始化为 0;
- (4)它始终驻留在全局数据区,直到程序运行结束。但其作用域为局部作用域,当定义它的函数或语句块结束时,其作用域随之结束。
3、static的用法
3.1 在c++中
static 关键字最基本的用法是:
-
1、被 static 修饰的变量属于类变量,可以通过
类名::变量名
直接引用,而不需要 new 出一个类来 -
2、被 static 修饰的方法属于类方法,可以通过
类名::方法名
直接引用,而不需要 new 出一个类来
被 static 修饰的变量、被 static 修饰的方法统一属于类的静态资源,是类实例之间共享的
在 C++ 中,静态成员是属于整个类的而不是某个对象,静态成员变量只存储一份供所有对象共用。所以在所有对象中都可以共享它。使用静态成员变量实现多个对象之间的数据共享不会破坏隐藏的原则,保证了安全性还可以节省内存。
静态成员的定义或声明要加个关键 static。静态成员可以通过双冒号来使用即
<类名>::<静态成员名>
。
①不能通过类名来调用类的非静态成员函数
②类的对象可以使用静态成员函数和非静态成员函数
③静态成员函数中不能引用非静态成员
④类的非静态成员函数可以调用用静态成员函数,但反之不能
⑤类的静态成员变量必须先初始化再使用
静态数据成员
- (1)静态数据成员可以实现多个对象之间的数据共享,它是类的所有对象的共享成员,它在内存中只占一份空间,如果改变它的值,则各对象中这个数据成员的值都被改变。
- (2)静态数据成员是在程序开始运行时被分配空间,到程序结束之后才释放,只要类中指定了静态数据成员,即使不定义对象,也会为静态数据成员分配空间。
-
(3)静态数据成员可以被初始化,
但是只能在类体外进行初始化
,若未对静态数据成员赋初值,则编译器会自动为其初始化为 0。 - (4)静态数据成员既可以通过对象名引用,也可以通过类名引用。
静态成员函数
- (1)静态成员函数和静态数据成员一样,他们都属于类的静态成员,而不是对象成员。
- (2)非静态成员函数有 this 指针,而静态成员函数没有 this 指针。
- (3)静态成员函数主要用来访问静态数据成员而不能访问非静态成员。