C++基础篇之C++入门(2)

目录

引用

引用概念

引用特性

常引用

引用的使用场景

传值、传引用的效率比较

引用和指针的区别

内联函数

内联函数的概念

内联函数的特性

C++11新特性

auto关键字

auto简介

auto使用细则

基于范围的for循环

指针空值nullptr


引用

引用概念

引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空间,它和它引用的变量共用同一块内存空间
表达方式:类型&引用变量名 = 引用实体

代码表示:

int a = 10;
int& b = a; // b为引用变量
int& c = b; // c本质上也是a的引用
int& d = a; // d也是a的引用

如何证明引用变量和实体公用一块内存空间呢?

void TestRef()
{
    int a = 10;
    int& ra = a;//<====定义引用类型
    printf("%p
", &a);
    printf("%p
", &ra);
}

 在Vs 2019运行结果为:

watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETiBATGVpLi4=,size_12,color_FFFFFF,t_70,g_se,x_16

 由上图结果可知,a和ra的内存地址一致,因此实体和引用变量共用一块内存空间!

注意:引用类型必须和引用实体是同种类型的!!!

引用特性

  • 引用在定义时必须初始化
  • 一个变量可以有多个引用
void TestRef()
{
    int a = 10;
    // int& ra; // 该条语句编译时会出错
    int& ra = a;
    int& rra = a;
    printf("%p %p %p
", &a, &ra, &rra);
}
  • 引用一旦引用一个实体,再不能引用其他实体 
int a = 10;
int& b = a; // 别名
int c = 20;
b = c;      // 此时是把c的值赋给b,不是取别名

常引用

首先在对变量进行引用的时候,应注意权限可以缩小或者不变,但是不能增大!!!

// 权限不变
int a = 10;
int& ra = a;
// 权限变小
const int& cra = a;
// 权限放大
const int b = 20;
//int& rb = b; error
const int& rb = b 

然后对一个常量进行引用的时候,应当加上const修饰

// int& a = 10;    // error
const int& a = 10; // ok

最后对类型不同的变量,也应注意权限的问题

double d = 13.14
// int& rd = d;    // error
const int& rd = d; // ok

为什么这里需要加上const呢?

因为double类型的变量是8字节,而int类型的变量是4字节,引用的时候会出现类型转换,中间产生一个临时变量,临时变量存储截断为4字节后的数值,rd为临时变量的引用,而不是d的引用。与此同时,临时变量具有常性,需要const修饰!!!所以在类型不同的情况下,我们需要考虑是否应加上const进行修饰!!!

引用的使用场景

1.做函数参数

以交换函数Swap为例,要想交换两个变量的值,传值是不可取的

void swap(int a, int b)  // 传值
{
	int tmp = a;
	a = b;
	b = tmp;
}

int main()
{
	int x = 10;
	int y = 20;
	swap(x, y);
	return 0;
}

传值调用只会影响形参的值,函数调用结束,形参销毁,实参不会改变。

因此我们学了指针后,采用传址的方法,Swap函数可写为:

void swap(int* pa, int* pb) // 传地址
{
	int tmp = *pa;
	*pa = *pb;
	*pb = tmp;
}
int main()
{
	int x = 10;
	int y = 20;
	swap(&x, &y);
	return 0;
}

通过把x和y的地址传给函数,通过解引用修改参数可以实现,但每次调用swap函数时,很容易把取地址&忘记。

所以在这里介绍一种全新的方法:传引用!!!

void swap(int& ra, int& rb) // 传引用
{
	int tmp = ra;
	ra = rb;
	rb = tmp;
}
int main()
{
	int x = 10;
	int y = 20;
	swap(x, y);
	return 0;
}

 PS:传值传参的swap函数与传引用的swap函数构成函数重载,但是调用时swap(x, y)存在歧义,不知道调用传值还是传引用!!!类似于缺省参数,f()调用时也会存在歧义。

void f();
void f(int x = 1, int y = 2);

2.做返回值

 之前学过值作为函数返回值,返回的不是z,而是z的临时拷贝。

// 值返回,创建了一个临时变量来存放返回值
// 返回值较小时(4 or 8),临时变量为寄存器
// 返回值较大时,在调用函数的栈帧中创建空间
int Add(int x, int y)
{
	int z = 0;
	z = x + y;
	return z;
}
int main()
{
	int ret = Add(1, 2);
	cout << ret << endl;
	return 0;
}

 当引用作为函数的返回值时,不会生成c的拷贝返回,直接返回c的引用。

int& Add(int a, int b)
{
    int c = a + b;
    return c;
}
int main()
{
    int& ret = Add(1, 2);
    Add(3, 4);
    cout << "Add(1, 2) is :"<< ret <<endl;
    return 0;
}

此时存在非法访问的问题,因此Add函数结束后,c已经被销毁,在主函数中去访问c的空间,访问被销毁的空间,编译器无法检测出。

如果函数栈帧销毁,且清理空间,那么访问c的空间,会得到一个随机值,取决于编译器。

传值、传引用的效率比较

#include <time.h>
struct A 
{ 
	int arr[10000]; 
};
A a;
void TestFunc1(A b)
{
	
}
void TestFunc2(A& b) 
{

}
A Test1()
{
	return a;
}
A& Test2()
{
	return a;
}
void TestRefAndValue()
{
	// 以值作为函数参数 -- 拷贝
	size_t begin1 = clock();
	for (size_t i = 0; i < 10000; ++i)
		TestFunc1(a);
	size_t end1 = clock();
	// 以引用作为函数参数
	size_t begin2 = clock();
	for (size_t i = 0; i < 10000; ++i)
		TestFunc2(a);
	size_t end2 = clock();
	// 分别计算两个函数运行结束后的时间
	cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
	cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;

	// 以值作为返回值 -- 拷贝
	size_t begin3 = clock();
	for (size_t i = 0; i < 10000; ++i)
		Test1();
	size_t end3 = clock();
	// 以引用作为函数返回值
	size_t begin4= clock();
	for (size_t i = 0; i < 10000; ++i)
		Test2();
	size_t end4 = clock();
	// 分别计算两个函数运行结束后的时间
	cout << "A Test1()-time:" << end3 - begin3 << endl;
	cout << "A& Test2()-time:" << end4 - begin4 << endl;
}
int main()
{
	TestRefAndValue();
	return 0;
}

 输出结果为:

watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETiBATGVpLi4=,size_19,color_FFFFFF,t_70,g_se,x_16

 从结果可以发现,传值传参在返回期间,函数不会直接传递实参或者将变量本身直接返回,而是传递一份临时拷贝,因此用值作为参数的返回值,效率低于引用返回。

引用和指针的区别

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

内联函数

内联函数的概念

inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数压栈的开销,提升程序运行的效率。

内联函数的特性

  1. inline是一种以空间换时间的做法,省去调用函数额开销。所以代码很长或者有循环/递归的函数不适宜使用作为内联函数。
  2. inline对于编译器而言只是一个建议,编译器会自动优化,如果定义为inline的函数体内有循环/递归等等,编译器优化时会忽略掉内联。
  3. inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址了,链接就会找不到。

C++11新特性

auto关键字

auto简介

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

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;
    cout << typeid(b).name() << endl;
    cout << typeid(c).name() << endl;
    return 0;
}

运行结果: 

watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETiBATGVpLi4=,size_14,color_FFFFFF,t_70,g_se,x_16

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

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

auto不能推导的场景:

  1. auto不能作为函数的参数
  2. auto不能直接用来声明数组

基于范围的for循环

常规的for循环为:

for(int i = 0; i < num; ++i)
{
    //...
}

C++11引入了范围for循环,由冒号“ :”分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围

for(auto i:num)
{
    //...
}

使用示例:

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

输出结果为:

1bd26d02dae7490cbb70f3a41acb4d47.png

指针空值nullptr

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

猜你喜欢

转载自blog.csdn.net/weixin_42301369/article/details/122988938