打一局无火力不如看看——C++入门 < 二 >

目录

引用

引用概念

引用特性

常引用

做参数

做返回值

注意

引用和指针的区别

auto关键字

注意

循环for

nullptr的引入


引用

引用概念

引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间。
 

由图可见,引用仅仅是给一个变量起了一个别名,所以他们的地址相同的。

引用特性

1. 引用在定义时必须初始化
2. 一个变量可以有多个引用
3. 引用一旦引用一个实体,再不能引用其他实体

常引用


void TestConstRef()
{
	const int a = 10;
	//int& ra = a; // 该语句编译时会出错,a为常量
	const int& ra = a;

	// int& b = 10; // 该语句编译时会出错,b为常量
	const int& b = 10;

	double d = 12.34;
	//int& rd = d; // 该语句编译时会出错,类型不同
	const int& rd = d;
}

做参数

在我们编写交换函数的时候,由于形参的改变不能影响实参,所以当时我们用的是指针法,现在我们也可以使用引用做参数来实现交换函数。

void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}

做返回值

int& Count()
{
static int n = 0;
n++;
// ...
return n;
}

注意

注意:如果函数返回时,出了函数作用域,如果返回对象还未还给系统,则可以使用引用返回,如果已经还给系统了,则必须使用传值返回。

引用和指针的区别

在语法概念上引用就是一个别名,没有独立空间,和其引用实体共用同一块空间。

int main()
{
int a = 10;
int& ra = a;
cout<<"&a = "<<&a<<endl;
cout<<"&ra = "<<&ra<<endl;
return 0;
}

1. 引用在定义时必须初始化,指针没有要求。
2. 引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在任何时候指向任何一个同类型实体。
3. 没有NULL引用,但有NULL指针。
4. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32位平台下占4个字节)。
5. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小。
6. 有多级指针,但是没有多级引用。
7. 访问实体方式不同,指针需要显式解引用,引用编译器自己处理。
8. 引用比指针使用起来相对更安全。

auto关键字

在早期C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,但遗憾的是一直没有人去使用它。
C++11中,标准委员会赋予了auto全新的含义即:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。
简而言之就是当我们声明一个变量时可以不直接给它定义何种类型,可以侧面的用auto给它定义一个已有的类型,代码如下:

int a = 10;
auto b = a;
auto c = 'a';
auto d=1.11;

在这里我们需要注意的是auto e; 无法通过编译,使用auto定义变量时必须对其进行初始化。

那么这个auto关键字到底在哪里可以用到呢,当我们需要用到一个类型非常长的类型时,可以很好的用auto来简化,代码如下:

 std::map<std::string, std::string>dict = { {"sort","排序"},{"insert","插入" }
 };
 
std:map < std::string, std::string>::iterator it = dict.begin();
 //根据右边的值去自动推导it的类型,写起来就方便了
 auto it = dict.begin();

auto与指针和引用结合起来使用用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&。
代码如下: 

int x = 10;
auto a = &x;
auto* b = &x;
auto& c = x;

我们在这里在引入一个可以求得某个数类型的方法。

代码如下:

auto a = &x;
auto* b = &x;
auto& c = x;
cout << typeid(a).name() << endl;
cout << typeid(b).name() << endl;
cout << typeid(c).name() << endl;

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

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

注意

需要注意的是,auto不能用于推导函数和数组!!

循环for

又称语法糖,既然叫做糖,顾名思义能看出来用着很甜,用着很舒服!

至于为什么很甜,甜在哪里,同遍历数组,可看出简便程度,代码如下:

一般情况下遍历数组的方法:

void TestFor()
{
int array[] = { 1, 2, 3, 4, 5 };
for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)
array[i] *= 2;
for (int* p = array; p < array + sizeof(array)/ sizeof(array[0]); ++p)
cout << *p << endl;
}

用了范围for之后:

void TestFor()
{
int array[] = { 1, 2, 3, 4, 5 };
for(auto& e : array)
e *= 2;
for(auto e : array)
cout << e << " ";
return 0;
}

 需要注意的是:for循环迭代的范围必须是确定的
对于数组而言,就是数组中第一个元素和最后一个元素的范围!!!!

nullptr的引入

在以往我们接触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(NULL);
f((int*)NULL);
return 0;
}

通过此代码可以看出,NULL已经被定义为0!

注意:1. 在使用nullptr表示指针空值时,不需要包含头文件,因为nullptr是C++11作为新关键字引入的。2. 在C++11中,sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同。
3. 为了提高代码的健壮性,在后续表示指针空值时建议最好使用nullptr。
 

猜你喜欢

转载自blog.csdn.net/m0_57249790/article/details/124874050