文章目录
- C++简介
- 统一的列表初始化
- {}初始化
- std::initializer_list
- std::initializer_list是什么类型:
- std::initializer_list使用场景:
- 声明
- auto
- decltype
- nullptr
- STL中一些变化
C++简介
在2003年C++标准委员会曾经提交了一份技术勘误表(简称TC1),使得C++03这个名字已经取代了C++98称为C++11之前的最新C++标准名称。不过由于C++03(TC1)主要是对C++98标准中的漏洞进行修复,语言的核心部分则没有改动,因此人们习惯性的把两个标准合并称为C++98/03标准。从C++0x到C++11,C++标准10年磨一剑,第二个真正意义上的标准珊珊来迟。相比于C++98/03,C++11则带来了数量可观的变化,其中包含了约140个新特性,以及对C++03标准中约600个缺陷的修正,这使得C++11更像从C++98/03中孕育出的一种新语言。相比较而言,C++11能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全,不仅功能更强大,而且能提升程序员的开发效率,公司实际项目开发中也用得比较多,所以我们要作为一个重点去学习。 C++11增加的语法特性非常篇幅非常多,我们这里没办法一 一讲解,所以本节课程主要讲解实际中比较实用的语法。
https://en.cppreference.com/w/cpp/11
小故事:
1998年是C++标准委员会成立的第一年,本来计划以后每5年视实际需要更新一次标准,C++国际标准委员会在研究C++ 03的下一个版本的时候,一开始计划是2007年发布,所以最初这个标准叫C++ 07。但是到06年的时候,官方觉得2007年肯定完不成C++ 07,而且官方觉得2008年可能也完不成。最后干脆叫C++ 0x。x的意思是不知道到底能在07还是08还是09年完成。结果2010年的时候也没完成,最后在2011年终于完成了C++标准。所以最终定名为C++11。
统一的列表初始化
{}初始化
在C++98中,标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定。比如:
struct Point
{int x;int y;
};
int main()
{int array[] = { 1, 2, 3, 4, 5 };int array[5] = { 0 };Point p = { 1, 2 };return 0;
}
C++11扩大了用大括号括起的列表(初始化列表)的使用范围,使其可用于所有的内置类型和用户自定义的类型,使用初始化列表时,可添加等号(=),也可不添加。
int main()
{//C++11 内置类型支持列表初始化int a = 0;//不推荐int b = { 1 };int c{ 1 }; //可以省略=//C++11 列表初始化也可适用于new表达式中int* pa = new int[5] {0};return 0;
}
创建对象时也可以使用列表初始化方式调用构造函数初始化
class Date
{
public:Date(int year, int month, int day):_year(year),_month(month),_day(day){}
private:int _year;int _month;int _day;
};
//一切皆可列表初始化
int main()
{//C++98 构造//多差数Date d1(2024, 3, 23);//C++11//构造 + 拷贝构造-》优化-》直接构造//多参数的隐式类型转换// C++11支持的列表初始化,这里会调用构造函数初始化Date d2 = { 2024, 3, 23 };Date d3{ 2023, 3, 23 };//单参数string s1("1111");//构造string s2 = "1111"; //单参数隐式类型转换//new表达式也可列表初始化Date* darr1 = new Date[3]{ d1, d2, d3 };Date* darr2 = new Date[3]{ {2023, 3, 4}, {2024, 3, 23}, {2024, 3, 24} };
}
std::initializer_list
std::initializer_list是什么类型:
int main()
{auto il1 = { 1, 2,3,4, 5 };cout << typeid(il1).name() << endl;//class std::initializer_list<int>
}
具体查看一下:
可以发现initializer_list其实就是一个模板类,且成员函数支持begin,end说明其支持迭代器,也就支持范围for,还有size接口提供其大小。
std::initializer_list使用场景:
std::initializer_list一般是作为构造函数的参数,C++11对STL中的不少容器就增加
std::initializer_list作为参数的构造函数,这样初始化容器对象就更方便了。也可以作为operator=的参数,这样就可以用大括号赋值。
int main()
{initializer_list<int>il1 = { 1, 2, 3,4,5 };initializer_list<int>il2 = { 1, 2, 3,4,5 ,6,7,8,9,10};cout << sizeof(il1) << endl; //16cout << sizeof(il2) << endl; //16
}
从代码结果大小来看,其实initializer_list底层就是有两个begin,end两个指针,指向这n个相同类型参数,编译器会将其存到静态区的一个数组空间里面的首和尾。
C++11支持一系列容器进行列表初始化,那正如上面所说,自定义类型可以单参数或者多参数隐式类型转换,也就是列表初始化去调用构造函数,这里容器列表初始化有n个相同类型的参数,怎么办呢?
int main()
{//C++11 容器也支持列表初始化vector<int> v1 = { 1, 2, 3, 4, 5, 6 };vector<int> v2;v2 = { 1, 2, 3 };for (auto e : v1){cout << e << " ";}pair<string, string> kv1("sort", "排序");pair<string, string> kv2("string", "字符串");map<string, string> dict1 = { kv1, kv2 }; //写法一map<string, string> dict2 = { {"sort", "排序"}, {"string", "字符串"} }; //写法二for (auto& kv : dict2){cout << kv.first << ":" << kv.second << endl;}pair<const char*, const char*> kv3("sort", "排序");pair<const string, string> kv4(kv3);return 0;
}
解释一:
vector容器可以进行列表初始化,原因是支持了initializer_list作为参数的构造函数,vector容器对象可以使用列表初始化进行赋值,也是增加了initializer_list作为参数的operator=函数。
解释二:
map<string, string> dict2 = { {"sort", "排序"}, {"string", "字符串"} };
对于每个pair使用列表初始化还能理解,map使用列表初始化也能理解,无非就是调用了C++11新增加的initializer_list作为参数的构造函数嘛为什么对于pair列表初始化时,pair是pair<const char*, const char*>类型,怎么到了initializer_list这里,就变成了initializer_list<pair<const string, string>类型呢?
原因如下:
template<class T1, class T2>
struct pair
{//pari<const char*, const char*> kv3pair(const T1& t1, cosnt T2& t2):first(t1),second(t2){}//pair<const string, string>kv4(kv3)//新玩法,新场景,拷贝构造实现模板template<class U, class V> pair(pair<U, V>& kv){first = kv.first; second = kv.second;}
private:T1 first;T2 second;
};
通过增加pair的模板拷贝构造函数就解决了。
声明
auto
在C++98中auto是一个存储类型的说明符,表明变量是局部自动存储类型,但是局部域中定义局部的变量默认就是自动存储类型,所以auto就没什么价值了。C++11中废弃auto原来的用法,将其用于实现自动类型腿断。这样要求必须进行显示初始化,让编译器将定义对象的类型设置为初始化值的类型。
//切记auto 不能用于函数的返回值
auto func2()
{return 2;
}
int fun()
{return 1;
}
int main()
{int i = 10;auto p = &i;auto pf = fun;cout << typeid(pf).name() << endl;cout << typeid(p).name() << endl;map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };//map<string, string>::iterator it = dict.begin();auto it = dict.begin();cout << typeid(it).name() << endl;return 0;
}
切记:auto不要用于函数返回值,尽管C++20之后支持
decltype
关键字decltype将变量的类型声明为表达式指定的类型。
int func()
{return 10;
}
int main()
{const int x = 1;const int* p1 = &x;decltype(p1) p2 = nullptr;cout << typeid(p2).name() << endl;//使用场景auto ret = func();//假设需要用vector存func的数据vector<decltype(ret)> v;return 0;
}
作用就是取出原生类型
nullptr
由于C++中NULL被定义成字面量0,这样就可能回带来一些问题,因为0既能指针常量,又能表示整形常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针。
#ifndef NULL
#ifdef __cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
#endif
STL中一些变化
新容器
一、array容器
array容器本质就是一个静态数组,即固定大小的数组。
array容器有两个模板参数,第一个模板参数代表的是存储的类型,第二个模板参数是一个非类型模板参数,代表的是数组中可存储元素的个数。比如:
int main()
{array<int, 10> a1; //定义一个可存储10个int类型元素的array容器array<double, 5> a2; //定义一个可存储5个double类型元素的array容器return 0;
}
array容器与普通数组对比:
- array容器与普通数组一样,支持通过[]访问指定下标的元素,也支持使用范围for遍历数组元素,并且创建后数组的大小也不可改变。
- array容器与普通数组不同之处就是,array容器用一个类对数组进行了封装,并且在访问array容器中的元素时会进行越界检查。用[]访问元素时采用断言检查,调用at成员函数访问元素时采用抛异常检查。
- 而对于普通数组来说,一般只有对数组进行写操作时才会检查越界,如果只是越界进行读操作可能并不会报错。
但array容器与其他容器不同的是,array容器的对象是创建在栈上的,因此array容器不适合定义太大的数组。
二、forward_list容器
forward_list容器本质就是一个单链表。
forward_list很少使用,原因如下:
- forward_list只支持头插头删,不支持尾插尾删,因为单链表在进行尾插尾删时需要先找尾,时间复杂度为O(N)。
- forward_list提供的插入函数叫做insert_after,也就是在指定元素的后面插入一个元素,而不像其他容器是在指定元素的前面插入一个元素,因为单链表如果要在指定元素的前面插入元素,还要遍历链表找到该元素的前一个元素,时间复杂度为O(N)。
- forward_list提供的删除函数叫做erase_after,也就是删除指定元素后面的一个元素,因为单链表如果要删除指定元素,还需要还要遍历链表找到指定元素的前一个元素,时间复杂度为O(N)。
因此一般情况下要用链表我们还是选择使用list容器。
三、unordered_map和unordered_set容器
unordered_map和unordered_set容器底层采用的都是哈希表。
C++11提供了各种内置类型与string之间相互转换的函数,比如to_string、stoi、stol、stod等函数。
容器中的一些新方法
- 提供了一个以initializer_list作为参数的构造函数和赋值函数,用于支持列表初始化。
- 提供了cbegin和cend方法,用于返回const迭代器。无关痛痒
- 提供了emplace系列方法,并在容器原有插入方法的基础上重载了一个右值引用版本的插入函数,用于提高向容器中插入元素的效率。
- push_xxx , insert ,增加了右值引用版本,意义重大。