C++下
前言
引用
什么是引用?
C++ 中创建引用
引用特性
常引用
引用的使用场景
传值、传引用效率比较
值和引用作为返回值类型的性能比较
C++引用VS指针
内联函数
什么是内联函数?
inline函数的特性
auto关键字(C++11)
auto的使用规则
auto不能推到的场景
基于范围的for循环C++11
范围for的语法
范围for的使用条件
指针空置nullptr(C++11)
小结
博客主页:小智_x0___0x_
欢迎关注:点赞收藏✍️留言
系列专栏:C++初阶
代码仓库:小智的代码仓库
家银们更新不易,你们的点赞和关注真的对我真重要,各位路过的友友麻烦多多点赞关注,欢迎你们的私信提问,感谢你们的转发!
前面我们学习了C++的关键字、命名空间、输入输出、缺省参数、函数重载,今天我们再来学习C++中的引用、auto、nullptr、基于范围的for循环、内联函数,接下来我来给大家一一介绍以上内容。
引用变量是一个别名,也就是说,它是某个已存在变量的另一个名字。一旦把引用初始化为某个变量,就可以使用该引用名称或变量名称来指向变量。编译器也不会为引用变量开辟内存空间,它和它引用的的变量共用哦个一块内存空间。
类型& 引用变量名(对象名) = 引用实体;
举个栗子>
int main()
{
int a = 1;
int& ra = a;//定义引用类型变量
cout << a << endl;
cout << ra << endl;
cout << &a << endl;
cout << &ra << endl;
return 0;
}
运行结果>
不难看出引用变量并没有申请内存空间,而是和引用对象共用同一块空间。
int main()
{
int a = 10;
//int& ra;//编译器直接会报错
int& ra = a;
int& rra = ra;
cout << &a << endl;
cout << &ra << endl;
cout << &rra << endl;
return 0;
}
int main()
{
const int a = 10;
//int& ra = a;//error:a为const修饰的常量
const int& ra = a;
//int& b = 10;//error:b为常量
const int& b = 10;
double dd = 1.2;
//int& rd = d;//error:引用类型不同
const int& rd = dd;
return 0;
}
引用过程中权限可以平移或者减小,不能变大。
1.做参数
我们以往的Swap交换函数要通过传地址,指针接受来实现>
void Swap(int* a, int* b)
{
int tmp = *a;
*a = *b;
*b = tmp;
}
int main()
{
int a = 1;
int b = 2;
cout << "修改前:";
cout << " a = " << a ;
cout << " b = " << b << endl;
Swap(&a, &b);
cout << "修改后:";
cout << " a = " << a;
cout << " b = " << b << endl;
return 0;
}
上面这种指针类型的每次都要传地址,会很麻烦,当我们学了引用我们可以这样做>
void Swap(int& a, int& b)
{
int tmp = a;
a = b;
b = tmp;
}
int main()
{
int a = 1;
int b = 2;
cout << "修改前:";
cout << " a = " << a ;
cout << " b = " << b << endl;
Swap(a, b);
cout << "修改后:";
cout << " a = " << a;
cout << " b = " << b << endl;
return 0;
}
使用引用同样也可以完成交换,而且使用引用的还不需要为形参开辟新的空间,形参和实参公用同一块空间。
2.做返回值
int& Count(int x)
{
int n = x;
n++;
return n;
}
int main()
{
int& ret = Count(10);
cout << ret << endl;
return 0;
}
上面这段函数按照逻辑来看,当Count函数调用结束函数栈帧会被销毁,如果传引用的话指向的还是被销毁的那块空间,Count函数栈帧销毁之后如果被清理了,那么最终ret将会是随机值,如果没有被清理,那么ret的值侥幸正确,输出11/随机值,我们来看看结果>
可以看到函数栈帧并没有被清理,我们来这样试试>
#include
int& Count(int x)
{
int n = x;
n++;
return n;
}
int main()
{
int& ret = Count(10);
rand();
cout << ret << endl;
return 0;
}
在ret接收之后调用库函数rand();我们再来看看结果>
这次ret的结果就不是11了,而是随机值,是因为Count函数的栈帧被销毁之后,又调用了rand()函数,操作系统再为rand函数分配栈帧,同时ret所指向的地址有可能就会被覆盖导致ret出现随机值。
再看一个栗子>
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;
}
如果返回的对象还在(没有还给操作系统)那么就可以使用引用返回。
举个栗子>
#include
int& Count(int x)
{
static int n = x;
n++;
return n;
}
int main()
{
int& ret = Count(10);
cout << ret << endl;
rand();
cout << ret << endl;
return 0;
}
在Count函数中把n定义为static(静态变量)类型的静态变量,那么n就会在静态区中开辟空间,静态区直到程序最终结束才会销毁。
总结:
以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者讲变量本身直接返回,而是传递实参或者返回变量的一份临时的拷贝,因此用值作为参数或者返回值类型,效率是非常低下的,尤其是当参数或者返回值类型非常大的时候,效率就会更低。
#include
struct A { int a[10000]; };
void TestFunc1(A a) {}
void TestFunc2(A& a) {}
void TestRefAndValue()
{
A a;
// 以值作为函数参数
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;
}
int main()
{
TestRefAndValue();
return 0;
}
#include
struct A { int a[10000]; };
A a;
// 值返回
A TestFunc1() { return a; }
// 引用返回
A& TestFunc2() { return a; }
void TestReturnByRefOrValue()
{
// 以值作为函数的返回值类型
size_t begin1 = clock();
for (size_t i = 0; i < 100000; ++i)
TestFunc1();
size_t end1 = clock();
// 以引用作为函数的返回值类型
size_t begin2 = clock();
for (size_t i = 0; i < 100000; ++i)
TestFunc2();
size_t end2 = clock();
// 计算两个函数运算完成之后的时间
cout << "TestFunc1 time:" << end1 - begin1 << endl;
cout << "TestFunc2 time:" << end2 - begin2 << endl;
}
int main()
{
TestReturnByRefOrValue();
return 0;
}
通过上面的比较,可以发现传值和引用再作为传参以及返回值类型上效率差距还是很大的。
语法概念上引用是一个别名,没有独立空间,和其引用的是通共用一块空间。
在底层实现上实际是有空间的,因为引用是按照指针的方式来实现的。
int main()
{
int a = 10;
//引用
int& ra = a;
ra = 20;
//指针
int* pa = &a;
*pa = 20;
return 0;
}
我们来看引用和指针的汇编代码对比>
引用和指针的不同>
以inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数调用建立栈帧的开销,内联函数提升程序运行的效率。
如果再Add函数前加上inline关键字将其改为内联函数,在编译期间编译器会用函数体替换函数调用。
查看是否优化的方式>
inline是一种以空间换时间的做法,如果编译器将函数当成内联函数处理,在编译阶段,会用函数体替换函数调用,缺陷:可能会是目标文件变大,优势:少了调用开销,提高程序运行效率。
inline对于编译器而言只是一个建议,不同的编译器关于inline实现机制可能不同,一般建议:将函数规模较小(即函数不是很长,具体没有准确的说法,取决于编译器内部实现)、不是递归、频繁调用的函数采用inline修饰,否则编译器会自动忽略inline特性,下图是《C++prime》第五版关于inline的建议:
inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址了,链接就会找不到。
//F.h头文件
#pragma once
#include
using namespace std;
//声明
inline void f(int i);
//F.cpp文件
#include"F.h"
void f(int i)
{
cout << i << endl;
}
//test.cpp文件
#include"F.h"
int main()
{
f(10);
return 0;
}
执行上面代码会出现链接错误>
这是因为声明的时候告诉了编译器这是内联函数,那么编译器就会把f()函数展开,不会保存f()函数的地址,当调用main函数的时候会调用f()函数,就会去链接找f()函数的地址,而编译器认为f()函数是内联函数不会保存地址,所以才会出现链接不上的问题。
正确的写法应该是这样>
//F.h头文件
#pragma once
#include
using namespace std;
//inline void f(int i);
inline void f(int i)
{
cout << i << endl;
}
//test.cpp文件
#include"F.h"
int main()
{
f(10);
return 0;
}
在早期C/C++中auto的含义是:使用auto修饰的变量,是具有自动存储器的局部变量,但遗憾的是一直没有人去使用它。
C++11中,标准委员会赋予了auto全新的含义即:auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto生命的变量必须是由编译器在编译时期推导而得。
int testAuto()
{
return 10;
}
int main()
{
int a = 1;
auto b = a;
auto c = 'a';
auto d = 1 + 1.1;
auto e = testAuto();
//typeid(变量名称).name()可以用来打印变量的类型
cout << typeid(b).name() << endl;
cout << typeid(c).name() << endl;
cout << typeid(d).name() << endl;
cout << typeid(e).name() << endl;
return 0;
}
可以看到编译器可以自己根据=右边的值来推到出变量的类型。
auto e; 无法通过编译,使用auto定义变量时必须对其进行初始化
【注意】
使用auto定义变量时必须对其进行初始化,在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种"类型"的声明,而是一个类型声明时的"占位符",编译器在编译期会将auto替换为变量实际的类型。
void testAuto()
{
auto a = 1,b = 2;
autp c = 3,d = 4.0; // 该行代码会编译失败,因为c和d的初始化表达式类型不同
}
//编译报错,auto不能作为形参类型,因为编译器不能对a的实际类型进行推导
void testAuto(auto a)
{}
auto不能直接用来声明数组
为了避免C++98中auto发生混淆,C++11中只保留了auto作为类型指示符的用法。
auto在实际中最常见的优势用法就是跟C++11提供的新式for循环,还有lambda表达式等进行配合使用。
在C++98中如果要遍历一个数组,需要这样进行:
int main() { int a[] = { 1,2,3,4,5,6 }; for (int i = 0; i < sizeof(a) / sizeof(int); i++) { cout << *(a + i)<<" "; } printf("\n"); return 0; }
对于一个有范围的集合而言,由程序员来说明循环范围是多余的,有时候还会容易犯错误,因此C++11中引入了基于范围的for循环,for循环后的括号由冒号":"分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围。
int main() { int a[] = { 1,2,3,4,5,6 }; for (auto e : a) { cout << e << " "; } printf("\n"); return 0; }
【注意】:与普通循环累死,也可以用continue来结束本次循环,也可以用break来跳出整个循环。
- 佛如循环迭代的范围必须是确定的
对于数组而言,就是数组第一个元素和最后一个元素的范围;对于类而言,应该提供begin和end的方法,begin和恩典就是for循环迭代的范围。void testFor(char* a) { for(auto e:a) cout<
⚠这段代码是有问题的,因为for的范围不确定
迭代的对象要实现++和==的操作。(迭代会在以后的发文中为大家讲解)
C++98中的指针空值
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;
}
我们想通过f(NULL)调用指针版的f(int*)函数来看看结果>
我们可以发现NULL被定义为0,反而调用了f(int*)函数。
在C++98中,字面常量0既可以是一个整型数字,也可以是无类型的指针(void*)常量,但是编译器默认情况下将其看成一个整型常量,如果要将其按照指针方式来使用,必须对其进行强制转换(void*)0.
【注意】:
今天我们认识了C++引用、内联函数、auto关键字、nullptr相信大家看完有一定的收获。
种一棵树的最好时间是十年前,其次是现在! 把握好当下,合理利用时间努力奋斗,相信大家一定会实现自己的目标!加油!创作不易,辛苦各位小伙伴们动动小手,三连一波~~~,本文中也有不足之处,欢迎各位随时私信点评指正!
本节课的代码已上传gitee仓库