int main() { // 内置类型变量 int x1 = {10}; int x2{10}; int x3 = 1+2; int x4 = {1+2}; int x5{1+2}; // 数组 int arr1[5] {1,2,3,4,5}; int arr2[]{1,2,3,4,5}; // 动态数组,在C++98中不支持 int* arr3 = new int[5]{1,2,3,4,5}; // 标准容器 vector<int> v{1,2,3,4,5}; map<int, int> m{{1,1}, {2,2,},{3,3},{4,4}}; return 0; }
多个对象本身不支持列表初始化,多个对象想要支持列表初始化,需给该类(模板类)添加一个带有initializer_list类型参数的构造函数即可。
template<class T> class Vector { public: // ... Vector(initializer_list<T> l) : _capacity(l.size()), _size(0) { _array = new T[_capacity]; for (auto e : l) _array[_size++] = e; } Vector<T>& operator=(initializer_list<T> l) { delete[] _array; size_t i = 0; for (auto e : l) _array[i++] = e; return *this; } // ... private: T* _array; size_t _capacity; size_t _size; }; //自定义类型容器用初始化列表 //用自定义类型的容器类进行初始化,需要定义一个构造函数,参数为initializer_list Vector<int> v2{ 1,2,3 }; Vector<int> v3 = { 1 };
decltype():根据表达式的实际类型推演出定义变量时所用的类型。
int fun(int a) { return a; } void test01() { auto a = 10; int b = 1; int c = 2; // 用decltype推演b+c的实际类型,作为定义d的类型 decltype(b + c) d; cout << typeid(d).name() << endl; // 如果带参数列表,推导的是函数返回值的类型,注意:此处只是推演,不会执行函数 cout << typeid(decltype(fun(a))).name() << endl; // 如果没有带参数,推导函数的类型 cout << typeid(decltype(fun)).name() << endl; }
在C++11中,可以在默认函数定义或者声明时加上**=default**,从而显式的指示编译器生成该函数的默认版本,用=default修饰的函数称为显式缺省函数。
class A { public: A(int a): _a(a) {} // 显式缺省构造函数,由编译器生成 A() = default; //由编译器生成一个拷贝构造函数 A(const A&a)=default; // 在类中声明,在类外定义时让编译器生成默认赋值运算符重载 A& operator=(const A& a); private: int _a; }; A& A::operator=(const A& a) = default; int main() { A a1(10); A a2; a2 = a1; return 0; }
如果能想要限制某些默认函数的生成,在C++98中,是该函数设置成private,并且不给定义,这样只要其他人想要调用就会报错。在C++11中更简单,只需在该函数声明加上**=delete**即可,该语法指示编译器不生成对应函数的默认版本,称=delete修饰的函数为删除函数。
注意:避免删除函数和explicit一起使
//delete:该语法指示编译器不生成对应函数的默认版本,称 = delete修饰的函数为删除函数。 class B { public: B(){} //成员函数定义为删除函数,表示函数不能被调用 //防拷贝:把拷贝构造和赋值运算符定义为delete // 禁止编译器生成默认的拷贝构造函数以及赋值运算符重载 B(const B&) = delete; B& operator=(const B&) = delete; }; void test() { B b; // 编译失败,因为该类没有拷贝构造函数 //B copy(b); // 编译失败,因为该类没有赋值运算符重载 //b = copy; }
void test() { //左值:可以出现现在“=”两边 //右值:只能出现在“=”右边 //左值:可以取地址 //右值不:能取地址 //但是上面两种分类都不是完全正确 int a = 10; int b = a; //10 = b;//错误 int* pa = &a; //int* pi = &10; //C++11中的区分方式 //右值:常量、临时变量/匿名变量、将亡值 b = fun(1); b = fun(a); //fun(a) = a; //右值不可以取地址 //int* pa2 = &(fun(a)); }
// 普通引用只能引用左值,不能引用右值,const引用既可引用左值,也可引用右值 void test() { //左值引用:可以引用左值 int a = 10; int& ra = a; //常量引用 const int& ri = 10; const int& ri2 = fun(a); //右值引用&&:只能引用右值,不能引用左值 //int&& ra = a; int&& rri = 10; int&& tt = fun(a); }
class String { public: String(char* str = "") { if (nullptr == str) str = ""; _str = new char[strlen(str) + 1]; strcpy(_str, str); } String(const String& s) : _str(new char[strlen(s._str) + 1]) { strcpy(_str, s._str); } String& operator=(const String& s) { if (this != &s) { char* pTemp = new char[strlen(s._str) +1]; strcpy(pTemp, s._str); delete[] _str; _str = pTemp; } return *this; } String operator+(const String& s) { char* pTemp = new char[strlen(_str) + strlen(s._str) + 1]; strcpy(pTemp, _str); strcpy(pTemp + strlen(_str), s._str); String strRet(pTemp); return strRet; } ~String() { if (_str) delete[] _str;} private: char* _str; }; int main() { String s1("hello"); String s2("world"); String s3(s1+s2); return 0; }
strRet在按照值返回时,必须创建一个临时对象,临时对象创建好之后,strRet就被销毁了,最后使用返回的临时对象构造s3,s3构造好之后,临时对象就被销毁了。仔细观察会发现:strRet、临时对象、s3每个对象创建后,都有自己独立的空间,而空间中存放内容也都相同,相当于创建了三个内容完全相同的对象,对于空间是一种浪费,程序的效率也会降低,而且临时对象确实作用不是很大。
//移动构造:使用移动语义,把对象中的资源移动到另一个对象 class String { public: String(char* str = "") { if (nullptr == str) str = ""; _str = new char[strlen(str) + 1]; strcpy(_str, str); } String(const String& s) : _str(new char[strlen(s._str) + 1]) { strcpy(_str, s._str); } String& operator=(const String& s) { if (this != &s) { char* pTemp = new char[strlen(s._str) + 1]; strcpy(pTemp, s._str); delete[] _str; _str = pTemp; } return *this; } //右值引用,浅拷贝 String(String&& s) :_str(s._str) { s._str = nullptr; cout << "String(String&& s)" << endl; } String& operator=(String&& s) { if (this != &s) { _str = s._str; s._str = nullptr; } } String operator+(const String& s) { char* pTemp = new char[strlen(_str) + strlen(s._str) + 1]; strcpy(pTemp, _str); strcpy(pTemp + strlen(_str), s._str); String strRet(pTemp); return strRet; } ~String() { if (_str) delete[] _str; } private: char* _str; }; int main() { String s1("hello"); String s2("world"); cout << "copy" << endl; String s3(s1 + s2); String s4(s2); cout << "---" << endl; s4=s1+s2; cout << "-----" << endl; }
因为strRet对象的生命周期在创建好临时对象后就结束了,即将亡值,C++11认为其为右值,在用strRet构造临时对象时,就会采用移动构造,即将strRet中资源转移到临时对象中。而临时对象也是右值,因此在用临时对象构造s3时,也采用移动构造,将临时对象中资源转移到s3中,整个过程,只需要创建一块堆内存即可,既省了空间,又大大提高程序运行的效率。
int main() { String s1("hello"); String s2("world"); cout << "copy" << endl; String s3(s1 + s2); String s4(s2); cout << "---" << endl; s4=s1+s2; cout << "-----" << endl; //move:将一个左值强制转化为右值引用,然后实现移动语义 String&& rs = std::move(s3); //错误的使用 //s3将资源转移到s6,s3的资源将无法使用,s3变为无效字符串 String s6(move(s3)); return 0; }
正确使用move的例子
class Person { public: Person(char* name, char* sex, int age) : _name(name) , _sex(sex) , _age(age) {} Person(const Person& p) : _name(p._name) , _sex(p._sex) , _age(p._age) {} #if 0 Person(Person&& p) : _name(p._name) , _sex(p._sex) , _age(p._age) {} #else Person(Person&& p) : _name(move(p._name)) , _sex(move(p._sex)) , _age(p._age) {} #endif private: String _name; String _sex; int _age; }; Person GetTempPerson() { Person p("prety", "male", 18); return p; } int main() { Person p(GetTempPerson()); return 0; }
完美转发是指在函数模板中,完全依照模板的参数的类型,将参数传递给函数模板中调用的另外一个函数。
//C++11通过forward<T>()函数来实现完美转发 void Fun(int& x) { cout << "lvalue ref" << endl; } void Fun(int&& x) { cout << "rvalue ref" << endl; } void Fun(const int& x) { cout << "const lvalue ref" << endl; } void Fun(const int&& x) { cout << "const rvalue ref" << endl; } template<typename T> //T&&:未定义引用类型,并不是右值引用 void PerfectForward(T&& t) { Fun(std::forward<T>(t)); } int main() { PerfectForward(10); // rvalue ref int a; PerfectForward(a); // lvalue ref PerfectForward(std::move(a)); // rvalue ref const int b = 8; PerfectForward(b); // const lvalue ref PerfectForward(std::move(b)); // const rvalue ref return 0; }
struct Greater { //仿函数类:重载() bool operator()(const T& a, const T& b) { return a > b; } }; struct MyPlus { int operator()(const int& a, const int& b) const { return a + b; } }; void test01() { Greater<int> g; bool ret=g.operator()(10, 20); ret = g(10, 20);//等价于g.operator()(10,20) } void test02() { MyPlus a; cout << MyPlus()(1, 2) << endl;//1、通过产生临时对象调用重载运算符 cout << a.operator()(1, 2) << endl;//2、通过对象显示调用重载运算符 cout << a(1, 2) << endl;//3、通过对象类似函数调用 隐示地调用重载运算符 return 0; }
在C++98中,如果想要对一个数据集合中的元素进行排序,可以使用std::sort方法。
int main() { int array[] = {4,1,8,5,3,7,0,9,2,6}; // 默认按照小于比较,排出来结果是升序 std::sort(array, array+sizeof(array)/sizeof(array[0])); // 如果需要降序,需要改变元素的比较规则 std::sort(array, array + sizeof(array) / sizeof(array[0]), greater<int>()); return 0; }
如果待排序元素为自定义类型,需要用户定义排序时的比较规则:
struct Goods { string _name; double _price; }; struct Compare { bool operator()(const Goods& gl, const Goods& gr) { return gl._price <= gr._price; } }; int main() { Goods gds[] = { { "苹果", 2.1 }, { "相交", 3 }, { "橙子", 2.2 }, {"菠萝", 1.5} }; sort(gds, gds+sizeof(gds) / sizeof(gds[0]), Compare()); return 0; }
随着C++语法的发展,人们开始觉得上面的写法太复杂了,每次为了实现一algorithm算法, 都要重新去写一个类,如果每次比较的逻辑不一样,还要去实现多个类,特别是相同类的命名,这些都给编程者带来了极大的不便。因此,在C11语法中出现了Lambda表达式。
int main() { Goods gds[] = { { "苹果", 2.1 }, { "相交", 3 }, { "橙子", 2.2 }, {"菠萝", 1.5} }; sort(gds, gds + sizeof(gds) / sizeof(gds[0]), [](const Goods& l, const Goods& r) ->bool { return l._price < r._price; }); return 0; }
上述代码就是使用C++11中的lambda表达式来解决,可以看出lamb表达式实际是一个匿名函数。
lambda表达式书写格式:[capture-list] (parameters) mutable -> return-type { statement }
void test() { //lamba表达式:[捕捉列表](参数列表)(mutable可选)->返回值类型(函数体) //捕捉列表:捕获父作用域中的变量 int a = 10; int b = 20; [a, b] {return a + b; }; //参数列表:类似函数列表 [a, b](int c, int d, int e) {return a + b + c; }; //返回值:类似函数返回值 [a, b](int c)->int {return a + b + c; }; //函数体:类似于函数的函数体,可以有多句指令 //mutable:修改捕捉列表中变量的属性为非const,默认const属性 //[a, b](int c)->int {a = 10};//a,b的属性不能修改创,默认为const //要修改捕捉列表中的值,需要加mutable关键字 [a, b](int c)mutable->int {a = 100; b = 200; return a; }; //在没有mutable的情况下,参数列表返回值可以省略 [] {}; //返回值类性一般不用写,编译器会自动推导 [a, b] {return a + b; }; //如果有mutable,即使参数列表为空,也需要显示写出来 //[a, b]mutable {return a + b; }; [a, b]()mutable {return a + b; }; auto f = [a, b](int c) {return a + b + c; }; //以上都是定义,不会运行 //运行 int e = f(10); //[=],以值的形式捕捉父作用域中的所有变量 auto f2 = [=] {return a + b + e; }; //[&],以引用的方式捕捉父作用域中的所有变量 auto f3 = [&]() {a = 1; b = 1000; }; //[=,&变量x]:x引用形式捕捉,其他的以值的形式捕捉 //错误的捕捉方式:[=,变量x],[&,&变量x] //[&,变量x]:x值得形式捕捉。其他的以引用的形式捕捉 auto f4 = [&, a]() {return a + b; }; auto f5 = [=, &a, &e]() {return a + b + e; }; //[this]:捕捉成员函数的this指针 struct A { void fun(int a) { auto f = [this]() {return _a; }; } int _a; }; }
//lambda表达式一些性质 typedef int(*ptr)(int); void test() { auto f = [](int a) {return a; }; auto f2 = [](int a) {return a; }; //1.lambda表达式不能进行赋值,即使类型相同 //f = f2; //2.允许lambda表达式拷贝 auto copy(f); //3.可以赋值给函数指针 ptr f4 = f; }
//如果定义了一个lambda表达式,编译器会自动生成一个类,在该类中重载了operator() struct Sum { int operator()(int a, int b) { return a + b; } }; void test() { auto f = [](int a, int b) {return a + b; }; int sum = f(10, 20); Sum s; s(10, 20); }
//线程库 void fun(int a) { cout << "fun(int a)" << endl; } struct Fun { void operator()() { cout << "Fun operator()" << endl; } }; void test() { thread t(); // 1.线程函数为函数指针 thread t1(fun, 10); //判断线程是否结束 t1.joinable(); //阻塞进程 t1.join(); //2.仿函数对象 Fun f; thread t2(f); t2.join(); //3.lambda表达式 thread t3([] {cout << "lambda" << endl; }); t3.join(); }
class A { public: void fun1(int a, int b) { cout << "fun1(int,int)" <<" "<< a <<" "<< b << endl; } }; void fun(int& a) { a += 10; } void fun1(int* atr) { *atr += 10; } void test() { A a; //成员函数需要显示取地址 thread t1(&A::fun1, &a,10, 20); t1.join(); // 在线程函数中对a修改,不会影响外部实参,因为:线程函数参数虽然是引用方式,但其实际引用的是线程栈中的拷贝 /*int a2 = 1; thread t2(fun, a2); t2.join(); cout << a2 << endl;*/ 地址的拷贝 int a3 = 1; thread t3(fun1, &a3); cout << a3 << endl; t3.join(); //参数如果是引用类型,需要加ref转换 thread t4(fun, ref(a3)); cout << a3 << endl; t4.join(); }
启动了一个线程后,当这个线程结束的时候,如何去回收线程所使用的资源呢?thread库给我们两种选择:
join()方式
join():主线程被阻塞,当新线程终止时,join()会清理相关的线程资源,然后返回,主线程再继续向下执行,然后销毁线程对象。由于join()清理了线程的相关资源,thread对象与已销毁的线程就没有关系了,因此一个线程对象只能使用一次join(),否则程序会崩溃。
detach()方式
detach():该函数被调用后,新线程与线程对象分离,不再被线程对象所表达,就不能通过线程对象控制线程了,新线程会在后台运行,其所有权和控制权将会交给c++运行库。同时,C++运行库保证,当线程退出时,其相关资源的能够正确的回收。
就像是你和你女朋友分手,那之后你们就不会再有联系(交互)了,而她的之后消费的各种资源也就不需要你去埋单了(清理资源)。
****detach()函数一般在线程对象创建好之后就调用,因为如果不是jion()等待方式结束,那么线程对象可能会在新线程结束之前被销毁掉而导致程序崩溃。因为std::thread的析构函数中,如果线程的状态是jionable,std::terminate将会被调用,而terminate()函数直接会终止程序。
void fun2(int n) { for (int i= 0; i < n; i++) { cout << i << " "; } cout << "fun2..." << endl; } void test() { //detach():该函数被调用后,新线程与线程对象分离,不再被线程对象所表达,就不能通 //过线程对象控制线程了,新线程会在后台运行,其所有权和控制权将会交给c++运行库。同时//C++运行库保证,当线程退出时,其相关资源的能够正确的回收。 thread t1(fun2, 1000); t1.detach(); cout << "test" << endl; }
//采用jion()方式结束线程时,jion()的调用位置非常关键。为了避免该问题,可以采用RAII的方式对线程对象进行封装, class ThreadManger { public: ThreadManger(thread& t) :_t(t) {} ~ThreadManger() { if (_t.joinable()) { _t.join(); } } private: thread& _t; }; void test() { thread t1([] {}); ThreadManger tm(t1); vector<int> v; v.at(3) = 10; //在这会正常结束 //return; t1.join(); } int main() { try { test(); } catch (exception& e) { cout << e.what() << endl; } return 0; }
多线程最主要的问题是共享数据带来的问题(即线程安全)。如果共享数据都是只读的,那么没问题,因为只读操作不会影响到数据,更不会涉及对数据的修改,所以所有线程都会获得同样的数据。但是,当一个或多个线程要修改共享数据时,就会产生很多潜在的麻烦。比如:
#include <iostream> using namespace std; #include <thread> unsigned long sum = 0L; void fun(size_t num) { for (size_t i = 0; i < num; ++i) sum++; } int main() { cout << "Before joining,sum = " << sum << std::endl; thread t1(fun, 10000000); thread t2(fun, 10000000); t1.join(); t2.join(); cout << "After joining,sum = " << sum << std::endl; return 0; }
C++98中传统的解决方式:可以对共享修改的数据可以加锁保护。
#include <thread> #include <mutex> std::mutex m; unsigned long sum = 0L; void fun(size_t num) { for (size_t i = 0; i < num; ++i) { m.lock(); sum++; m.unlock(); } } int main() { cout << "Before joining,sum = " << sum << std::endl; thread t1(fun, 10000000); thread t2(fun, 10000000); t1.join(); t2.join(); cout << "After joining,sum = " << sum << std::endl; return 0; }
虽然加锁可以解决,但是加锁有一个缺陷就是:只要一个线程在对sum++时,其他线程就会被阻塞,会影响程序运行的效率,而且锁如果控制不好,还容易造成死锁。
因此C++11中引入了原子操作。所谓原子操作:即不可被中断的一个或一系列操作,C++11引入的原子操作类型,使得线程间数据的同步变得非常高效。
//原子操作 atomic<int> sum(0); void fun(int n) { for (int i = 0; i < n; i++) { //不是原子操作,加atomic串行操作,或者加解锁 //mtx.lock(); sum++; //mtx.unlock(); } } void test() { int n; cin >> n; thread t1(fun, n); thread t2(fun, n); t1.join(); t2.join(); cout << sum << endl; }
//死锁 mutex mtx; template<class Mtx> class LockGuard { public: LockGuard(Mtx& mtx) :_mtx(mtx) { //在构造函数中加锁 mtx.lock(); } ~LockGuard() { //在析构函数中解锁 mtx.unlock(); } //保证一把锁只能被一个对象管理 LockGuard& operator=(const LockGuard&) = delete; LockGuard(const LockGuard&) = delete; private: Mtx& _mtx; }; void fun1() { //通过智能指针自动管理资源 LockGuard<mutex> lg(mtx);; cout << "fun1()" << endl; int n; cin >> n; //两个函数用同一把锁,在这里会产生死锁 //因为这里发生异常,线程直接退出,fun2()产生死锁 //通过lock_guard可以有效避免死锁 if (n == 0) return; mtx.unlock(); } void fun2() { LockGuard<mutex> lg(mtx); mtx.lock(); cout << "fun2()" << endl; mtx.unlock(); } void test() { thread t1(fun1); thread t2(fun2); t1.join(); t2.join(); }
通过上述代码可以看到,lock_guard类模板主要是通过RAII的方式,对其管理的互斥量进行了封装,在需要加锁的地方,只需要用上述介绍的任意互斥体实例化一个lock_guard,调用构造函数成功上锁,出作用域前,lock_guard对象要被销毁,调用析构函数自动解锁,可以有效避免死锁问题。