C++11新特性(深度剖析+总结)


1. 前言

在本文中,我们将深入探讨C++11标准(也称为C++0x)带来的新特性和改进。

本文将着重讲解初始化列表、C++11中新加入的一些声明、范围for循环、STL中的一些变化、右值引用和移动语义、新的类功能、可变参数模板、lambda表达式以及包装器。

2. C++11简介

在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增加的语法特性非常篇幅非常多,我们这里没办法一一讲解,所以本节课程主要讲解实际中比较实用的语法。

C++11官方网站链接

3. 统一的列表初始化

3.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;
};
int main()
{
    
    
	int x1 = 1;
	int x2{
    
     2 };
	int array1[]{
    
     1, 2, 3, 4, 5 };
	int array2[5]{
    
     0 };
	Point p{
    
     1, 2 };
	// C++11中列表初始化也可以适用于new表达式中
	int* pa = new int[4] {
    
     0 };
	return 0;
}

创建对象时也可以使用列表初始化方式调用构造函数初始化。比如:

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;
};
int main()
{
    
    
	Date d1(2024, 1, 1); // old style
	// C++11支持的列表初始化,这里会调用构造函数初始化
	Date d2{
    
     2024, 1, 2 };
	Date d3 = {
    
     2024, 1, 3 };
	return 0;
}

3.2 std::initializer_list

std::initializer_list的介绍文档:

在这里插入图片描述

翻译过来就是:

  • 这种类型用于访问 C++ 的初始化列表(initialization list),它是一个包含 const T 类型元素的列表。
  • 编译器会自动从初始化列表声明中构造这种类型的对象,初始化列表是一系列用逗号分隔、括在花括号中的元素。
  • 需要注意的是,这个模板类并不是隐式定义的,需要包含 <initializer_list> 头文件才能访问它,即使这种类型在使用时是隐式的。
  • initializer_list 对象会被自动构造,就好像分配了一个类型为 T 的元素数组,列表中的每个元素都会使用必要的非缩小转换进行复制初始化,与数组中相应的元素对应。
  • initializer_list 对象引用这个数组的元素,而不包含它们:复制一个 initializer_list 对象会产生另一个引用相同底层元素的对象,而不是对它们进行新的拷贝(引用语义)。
  • 这个临时数组的生命周期与 initializer_list 对象相同。
  • 当使用初始化列表构造语法时,只有一个参数的构造函数是一种特殊类型的构造函数,称为初始化列表构造函数。使用初始化列表构造函数语法时,初始化列表构造函数优先于其他构造函数。

std::initializer_list使用场景:

std::initializer_list一般是作为构造函数的参数,C++11对STL中的不少容器就增加std::initializer_list作为参数的构造函数,这样初始化容器对象就更方便了。也可以作为operator=的参数,这样就可以用大括号赋值。

int main()
{
    
    
	vector<int> v = {
    
     1,2,3,4 };
	list<int> lt = {
    
     1,2 };
	// 这里{"sort", "排序"}会先初始化构造一个pair对象
	map<string, string> dict = {
    
     {
    
    "sort", "排序"}, {
    
    "insert", "插入"} };
	// 使用大括号对容器赋值
	v = {
    
     10, 20, 30 };
	return 0;
}

让模拟实现的vector也支持{}初始化和赋值:

namespace my_vector
{
    
    
	template<class T>
	class vector {
    
    
	public:
		typedef T* iterator;
		vector(initializer_list<T> l)
		{
    
    
			_start = new T[l.size()];
			_finish = _start + l.size();
			_endofstorage = _start + l.size();
			iterator vit = _start;
			typename initializer_list<T>::iterator lit = l.begin();
			while (lit != l.end())
			{
    
    
				*vit++ = *lit++;
			}
			//for (auto e : l)
			// *vit++ = e;
		}
		vector<T>& operator=(initializer_list<T> l) {
    
    
			vector<T> tmp(l);
			std::swap(_start, tmp._start);
			std::swap(_finish, tmp._finish);
			std::swap(_endofstorage, tmp._endofstorage);
			return *this;
		}
	private:
		iterator _start;
		iterator _finish;
		iterator _endofstorage;
	};
}

4. 声明

c++11提供了多种简化声明的方式,尤其是在使用模板时。

4.1 auto

在C++98中auto是一个存储类型的说明符,表明变量是局部自动存储类型,但是局部域中定义局部的变量默认就是自动存储类型,所以auto就没什么价值了。C++11中废弃auto原来的用法,将其用于实现自动类型推断。这样要求必须进行显示初始化,让编译器将定义对象的类型设置为初始化值的类型。

比如:

int main()
{
    
    
	int i = 10;
	auto p = &i; auto pf = strcpy;
	cout << typeid(p).name() << endl;
	cout << typeid(pf).name() << endl;
	map<string, string> dict = {
    
     {
    
    "sort", "排序"}, {
    
    "insert", "插入"} };
	//map<string, string>::iterator it = dict.begin();
	auto it = dict.begin(); // auto被自动推断为map<string, string>::iterator类型
	return 0;
}

4.2 decltype

关键字decltype将变量的类型声明为表达式指定的类型。

decltype的一些使用使用场景:

template<class T1, class T2>
void F(T1 t1, T2 t2)
{
    
    
	decltype(t1 * t2) ret;
	cout << typeid(ret).name() << endl;
}
int main()
{
    
    
	const int x = 1;
	double y = 2.2;
	decltype(x * y) ret; // ret的类型是double
	decltype(&x) p; // p的类型是int*
	cout << typeid(ret).name() << endl;
	cout << typeid(p).name() << endl;
	F(1, 'a');
	return 0;
}

4.3 nullptr

由于C++中NULL被定义成字面量0,这样就可能回带来一些问题,因为0既能指针常量,又能表示整型常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针

#ifndef NULL
#ifdef __cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
#endif

5. 范围for循环

范围for循环是C++11引入的一种用于遍历容器、数组和其他支持迭代器的数据结构的语法结构。它提供了一种简洁、直观的方式来迭代访问容器中的元素。

范围for循环的语法是 for (element_declaration : range_expression),其中 element_declaration 是一个变量声明,用于存储每个迭代步骤中的元素值,而 range_expression 是一个可迭代的对象,例如容器、数组或支持迭代器的数据结构。

下面是一个使用范围for循环的示例代码:

#include <iostream>
#include <vector>

int main()
{
    
    
    std::vector<int> numbers = {
    
    1, 2, 3, 4, 5};

    // 使用范围for循环遍历vector中的元素
    for (int number : numbers)
    {
    
    
        std::cout << number << " ";
    }

    return 0;
}

在上述代码中,我们定义了一个 std::vector<int> 类型的容器 numbers,其中包含一些整数。然后,我们使用范围for循环来遍历 numbers 中的元素。

在每次迭代中,范围for循环将容器中的下一个元素赋值给 element_declaration,然后执行循环体中的代码。循环体的代码块将被重复执行,直到遍历完容器中的所有元素为止。

6. STL中的一些变化

新容器

用橘色圈起来是C++11中的几个新容器,但是实际最有用的是unordered_map和unordered_set。这两个我们前面已经进行了非常详细的讲解,其他的大家了解一下即可。

在这里插入图片描述

容器中的一些新方法

如果我们再细细去看会发现基本每个容器中都增加了一些C++11的方法,但是其实很多都是用得比较少的。

比如提供了cbegin和cend方法返回const迭代器等等,但是实际意义不大,因为begin和end也是可以返回const迭代器的,这些都是属于锦上添花的操作。

实际上C++11更新后,容器中增加的新方法是插入接口函数的右值引用版本,如:emplace_back,push_back,insert,emplace等接口。

但是这些接口到底意义在哪?网上都说他们能提高效率,他们是如何提高效率的?

请看下面各小章节的讲解。

7. 右值引用和移动语义

7.1 左值引用和右值引用

传统的C++语法中就有引用的语法,而C++11中新增了的右值引用语法特性,所以从现在开始我们之前学习的引用就叫做左值引用。无论左值引用还是右值引用,都是给对象取别名。

什么是左值?什么是左值引用?

左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋值,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义const修饰符后的左值,不能给它赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。

比如:

int main()
{
   
   
	// 以下的p、b、c、*p都是左值
	int* p = new int(0);
	int b = 1;
	const int c = 2;
	// 以下几个是对上面左值的左值引用
	int*& rp = p;
	int& rb = b;
	const int& rc = c;
	int& pvalue = *p;
	return 0;
}

什么是右值?什么是右值引用?

右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。右值引用就是对右值的引用,给右值取别名。<

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

自信不孤单

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值