C++基础——auto、范围for、nullptr

七月不远.

于 2023-01-06 17:23:26 发布

阅读量179

点赞数

分类专栏： C++ 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/weixin_58165485/article/details/128580044

版权

C++ 专栏收录该内容

8 篇文章 0 订阅

订阅专栏

1. auto

2. 范围for

3. nullptr(c++11 指针空值)

1. auto

随着程序越来越复杂，程序中用到的类型也越来越复杂，经常体现在：

1. 类型难于拼写
2. 含义不明确导致容易出错

C++11中，标准委员会赋予了auto全新的含义即：auto不再是一个存储类型指示符，而是作为一个新的类型指示符来指示编译器，auto声明的变量必须由编译器在编译时期推导而得

auto可以自动推导一个变量的类型

int TestAuto()
{
	return 10;
}

struct T
{
	int x;
	char y;
};

int main()
{
	int a = 10;
	auto b = a;
	T t = { 10,'a' };


	auto c = 'a';
	auto d = TestAuto();
	auto e = t;

	cout << typeid(b).name() << endl;     // int
	cout << typeid(c).name() << endl;     // char
	cout << typeid(d).name() << endl;     // int
	cout << typeid(e).name() << endl;     // struct T

	//auto f; 无法通过编译，使用auto定义变量时必须对其进行初始化

	return 0;
}

使用auto定义变量时必须对其进行初始化，在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明，而是一个类型声明时的“占位符”，编译器在编译期会将auto替换为变量实际的类型

在上面的代码中，注意到类型的输出使用了typeid().name()

typeid().name()   // 用于打印变量类型


int main() 
{
	int a = 10;

	cout << typeid(int).name() << endl;   // int
	cout << typeid(a).name() << endl;     // int
	cout << typeid(&a).name() << endl;    // int *

	return 0;
}

在gcc中使用typeid().name()时，往往只输出类型名的第一个字符，可以使用下面的代码获得完整类型值

#include <iostream>
#include <typeinfo>
#include <cxxabi.h> // 使用abi 

int main()
{
	int a = 10;
	double b = 10.1;

	std::cout << typeid(a).name() << std::endl;         // i
	std::cout << typeid(b).name() << std::endl;         // d
	std::cout << abi::__cxa_demangle(typeid(int).name(), 0, 0, 0) << std::endl; // int
	std::cout << abi::__cxa_demangle(typeid(b).name(), 0, 0, 0) << std::endl;   // double

	return 0;
}

auto的使用细则

1. auto与指针和引用结合起来使用

用auto声明指针类型时，用 auto 和 auto* 没有任何区别，但用 auto 声明引用类型时则必须加 &

int main()
{
	int x = 10;
	auto a = &x;
	auto* b = &x;
	auto& c = x;

	cout << typeid(a).name() << endl;  // int*   a是x的地址，指针类型
	cout << typeid(b).name() << endl;  // int*   b是x的地址，指针类型，因此auto == auto*
	cout << typeid(c).name() << endl;  // int    c是x的别名，在这里为引用

	// 使用a，b，c分别修改x的方式
	*a = 20;            
	*b = 30;
	c = 40;

	return 0;
}

2. 在同一行定义多个变量

当在同一行声明多个变量时，这些变量必须是相同的类型，否则编译器将会报错，因为编译器实际只对第一个类型进行推导，然后用推导出来的类型定义其他变量

void TestAuto()
{
	auto a = 1, b = 2;
	auto c = 3, d = 4.0; // 该行代码会编译失败，因为c和d的初始化表达式类型不同
}

报错信息为：error C3538: 在声明符列表中，“auto”必须始终推导为同一类型

3. auto不能推导的场景

❌ auto不能作为函数的参数

// 此处代码编译失败，auto不能作为形参类型，因为编译器无法对a的实际类型进行推导
void TestAuto(auto a)
{}

❌ auto不能直接用来声明数组

// error C3318: “auto []”: 数组不能具有其中包含“auto”的元素类型

void TestAuto()
{
	int a[] = { 1,2,3 };
	auto b[] = { 4，5，6 };
}

2. 范围for

范围for的语法

通常我们遍历一个数组采用的代码是

int main()
{
	int arr[] = { 0,1,2,3,4,5 };

	for (int i = 0; i < sizeof(arr) / sizeof(arr[0]);++i)
	{
		cout << arr[i] << " ";
	}
	cout << endl;

	return 0;
}

对于一个有范围的集合而言，由程序员来说明循环的范围是多余的，有时候还会容易犯错误。因此C++11中引入了基于范围的for循环

for循环后的括号由冒号“ ：”分为两部分：

第一部分是范围内用于迭代的变量
第二部分则表示被迭代的范围

int main()
{
	int arr[] = { 0,1,2,3,4,5 };

	for (auto e : arr)     // 范围内用于迭代的变量(用e接受arr内的变量，并用auto自动推导类型) ：范围(arr这个范围)
	{
		cout << e << " ";  // 依次将arr[0]、arr[1]、arr[2]...赋给e并输出
	}
	cout << endl;

	return 0;
}

范围for能够自动依次取a的数据，赋值给e，并且能够自动迭代，自动判断结束

上面的代码是将arr内的数依次赋值给e，类似于形参，对e的修改不影响原数组，要想在循环中实现对原数组的修改，需要使用引用

int main()
{
	int arr[] = { 0,1,2,3,4,5 };

	for (auto& e : arr)          // e 依次是arr[0]、arr[1]、arr[2]的别名，可以进行修改
	{
		cout << e++ << " ";      // 0，1，2，3，4，5
	}
	cout << endl;

	for (auto e : arr)
	{
		cout << e << " ";         // 1,2,3,4,5,6
	}
	cout << endl;

	return 0;
}

注意：与普通循环类似，范围for中可以用continue来结束本次循环，也可以用break来跳出整个循环

范围for的使用条件

🅰 for循环迭代的范围必须是确定的

对于数组而言，就是数组中第一个元素和最后一个元素的范围；对于类而言，应该提供begin和end的方法，begin和end就是for循环迭代的范围

注意：以下代码就有问题，因为for的范围不确定

void TestFor(int array[])
{
	for (auto& e : array)
	{
		cout << e << endl;
	}
}

🅱 迭代的对象要实现++和==的操作

关于迭代器和范围for实现原理将在后续介绍

3. nullptr(c++11 指针空值)

在良好的C/C++编程习惯中，声明一个变量时最好给该变量一个合适的初始值，否则可能会出现不可预料的错误，比如未初始化的指针。如果一个指针没有合法的指向，我们基本都是按照如下方式对其进行初始化：

void TestPtr()
{
	int* p1 = NULL;
	int* p2 = 0;
	// ……
}

NULL实际是一个宏，在传统的C头文件(stddef.h)中，可以看到如下代码：

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

可以看到，NULL可能被定义为字面常量0，或者被定义为无类型指针(void*)的常量。不论采取何种定义，在使用空值的指针时，都不可避免的会遇到一些麻烦，比如：

void f(int)
{
	cout << "f(int)" << endl;
}

void f(int*)
{
	cout << "f(int*)" << endl;
}

int main()
{
	f(0);           // f(int)

	f(NULL);        // f(int)

	f((int*)NULL);  // f(int*)

	return 0;
}