【C++入门必备知识:|引用| +|auto关键字| + |范围for|】

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

在这里插入图片描述


8bd5ded10b13450aaaa98ea787bcdca8.png


①.引用


Ⅰ.引用概念


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


比如水浒传里的李逵

小名叫铁牛,江湖人称黑旋风。这些都是他,只不过名字不同。


3302194f2dc243aebf280077bac91afd.png


Ⅱ.引用使用


类型& 引用变量名=引用实体


int main()
{
  int a = 10;
  int& ra = a;//给变量a取别名为ra
  int& rra = ra;//又给变量rra取别名为rra ,其实本质上都是a
  printf("%p\n", a);
  printf("%p\n", ra);
  printf("%p\n", rra);
}

cd767146aaff456d8513e007a4335a3a.png

fd4cbad58a5440f185c3210af9776150.png


从语法上我们看,就是给a取别名,并没有开辟空间。


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


Ⅲ.引用特性


1.一个变量可以有多个引用

2.引用在定义时必须初始化

3.引用一旦引用一个实体,再不能引用其他实体。 C++的引用不能改指向


1.一个变量可以有多个引用


就像李逵可以有多个别名一样。


int main()
{
  int a = 10;
  int& ra = a;
  int& rra = a;
  printf("%p\n", a);
  printf("%p\n", ra);
  printf("%p\n", rra);//它们的本质都是a
}


2.引用在定义时必须初始化


你要取别名,倒是说给谁取别名呀,你不说谁知道这个名字是谁的。


int main()
{
  int a=10;
  int&ra;//这样是不可以的,编译器会报错。
  //引用在定义时必须要初始化。
}


3.引用一旦引用一个实体,再不能引用其他实体。


int main()
{
  int a = 10;
  int&ra=a;
  int b=20;
  ra=b;//这里ra=b是将b的值赋给ra,而不是让ra变成b的别名。C++的引用不能改指向。ra仍然是a的别名
}


注意:

同一个域不能同名引用,不能域里可以同名,但在不同域里是可以同名的,是可以区分的。


Ⅳ.使用场景


引用第一使用场景:


1.做函数参数


void Swap(int*a, int* b)
{
  int tmp = a;
  a = b;
  b = tmp;
}
//引用
void Swap(int& a, int& b)
{
  int tmp = a;
  a = b;
  b = tmp;
}


意义:


1.引用做参数–【输出型参数】

什么叫输出型参数呢?就是传进去使用还要带出来

这里利用形参就是实参的变名,改变形参就改变了实参

不同于传指针参数。


2.引用做参数—【提高效率】

对于/大对象/深度拷贝的数据是可以提高效率的。

因为是引用不开空间


#include <time.h>
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();
}


066e4327f63c45858152884e8b2728fe.png


虽然指针也能做到上面的功能。

但是引用更方便。


引用第二大使用场景:


2.做函数返回值


int fun()//返回值就用int来接受
{
  int n = 0;
  n++;
  return n;
}
int main()
{
  int ret = fun();//最后将返回值返回ret
  printf("%d ", ret);
}

b1d056c1413a48689430b9a91cab7725.png


没有毛病吧。根据函数栈帧的创建和销毁我们知道,在函数调用完时,函数栈帧会销毁,而这个返回值将会保存在一个寄存器中,相当于一个临时变量。操作系统会开辟一个临时变量来保存这个返回值,如何再将临时变量赋给ret。最后ret得到了函数的返回值。


badc0ad5d6a34efb8560c7892b4bdee2.png


而这个过程需要需要创建临时变量,那么就需要开销。

其实只要看函数返回值,只要是传值返回的

不管怎么样编译器都会生成临时变量。

但是当用引用作为返回值时,最后就不需要创建临时变量了。

也就是传引用返回就不会生成临时变量。


int& fun()//用引用作为返回值
{
  static int n = 0;
  n++;
  return n;//最后函数返回的是n的别名,不需要创建临时变量保存,因为别名不需要开辟空间
}
int main()
{
  int ret = fun();//fun的返回值就是n的别名,别名不需要开辟空间,中间没有临时变量,直接就赋值会ret了。
  printf("%d ", ret);
}


那我们是不是以后函数返回值都用引用呢?


当然不行了,上面的案例也是特殊的,因为static修饰的变量在静态区,当函数栈帧销毁时,并不影响变量a,所有当引用取别名时可以找到它。


f769930758f4403d8131e51c7cd26fdc.png


所以这里打印的ret的值是不确定的。

如果fun函数结束,栈帧销毁,没有清理栈帧,那么ret的结果是侥幸是正确的。

如果fun函数结束,栈帧销毁,清理栈帧,那么ret的结果是随机值。


意义:


1.减少拷贝,提高效率


但要记住并不是任何地方都可以引用返回值

当函数 返回值为局部变量时,这种是不行的。

因为返回局部对象引用很危险。最后的结果取决于函数调用完栈帧销毁不销毁


当返回值为静态变量时不危险,函数调用结束,函数栈帧销毁不影响静态变量的存在。

不会有随机值的问题。静态变量还在,那么取别名就合法。


传引用返回–没有创建临时变量,只是取别名。别名==变量。

返回变量的别名,没有临时变量,也没有拷贝。所以可以提高效率。

传值返回–需要开辟临时变量-再拷贝回去。


引用返回门槛:不能随意引用传参返回


1.基本任何场景都可以用引用传参

2.但要谨慎用引用返回,出了函数作用域,对象不在, 就不能用引用返回,还在就能用。


2.查改返回值


引用做返回值,可以修改返回值,和获取返回值。

因为返回值就是这个要修改或者要返回变量的别名,对别名修改或者获取。就是修改该变量。


Ⅵ.常引用


1.引用过程中,权限不能放大


int main()
{
  1.//引用过程中,权限不能放大
  const int a = 0;//表示a不能修改
  int& b = a;//不能通过引用别名来修改a,这种方法是错误的。
    2.//引用过程中,权限是可以平移或缩小的。
    int x=0;
    int &y=x;
    const int&z=x;
    3.//对z这个别名进行修饰,也就是z这个别名权限缩小了。但其他别名的权限还是正常的。 
    ++x;
}


2.不能引用带有常性的变量。


double a=1.2;
int b=a;
//其实在类型转化会产生临时变量,产生一个int 类型的临时变量
int&bb=a;
//这个也是一样,a是double类型,别名bb是int类型,发生类型转化,然后产生一个临时变量存在着dd,这个dd就具有常性了,因为临时变量具有常性。


而带有常性的变量就不能使用引用了。


Ⅶ.引用与指针区别


1.引用在语法概念上就是一个别名,没有开辟空间,和其引用的实体共用同一块空间。

2.但在底层实现上,引用其实是有空间的,因为引用是按照指针方式来实现的。


不同点:


-1.引用概念上是定义一个变量的别名,指针是存储一个变量的的地址

-2.引用在定义时,需要初始化,指针没有要求。

-3.引用在初始化时引用一个实体后,就不能再引用其他实体,而指针可以在如何时候指向任何一个同类型实体。

-4.没有NULL引用概念,但有NULL指针

-5.有多级指针,但是没有多级引用。

-6.引用比指针使用起来更安全。

-8.在sizeof下含义不相同:在引用用计算的就是别名类型的大小,而指针是固定的,始终是地址空间所占字节个数。(32位下4字节)

-9.引用自加表示引用的实体加1,而指针自加,表示指针向后偏移一个类型的大小。


②.auto关键字


在C++11中,auto的作用是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译时期推导而得。


    int a = 0;
  auto b = a;//auto可以自动识别a的类型
  auto c = 's';//自动识别字符‘s’的类型


还有要注意在使用auto时定义变量时,必须要对其进行初始化


  int a=0;
  auto b;//使用auto却不初始的编译器会报错
  auto c ;//这样不初始化是不对的。


【注意】


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


1.使用规则


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

用auto声明指针类型时,用auto和auto没有区别。*

但用auto声明引用类型时,必须加上&。


  int a=0;
  auto pa=&a;//auto与指针和引用结合使用
  auto* pa = &a;
  auto&ra=a;


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

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


  auto a = 1, b = 2;
  auto c = 3, d = 4.0;//这样就不对了,auto一行定义多个变量虽然可以,但是要求这一行变量类型都相同才可以。d的类型与c不同


3.auto不能作为函数的参数。


void fun(auto a)//这种写法是不允许的
{}


4.auto不能直接用来声明数组


 int a[]={6,5,4};
 auto c={9,8,7};//这种写法是不允许的。

③.基于范围的for循环


如果我们想要打印一个数组,就必须遍历这个数组,而遍历这个数组就得需要知道这个数组的大小是多少。


int main()
{
  int a[] = { 9,8,7,6,5,4,3,2,1 };
  int n = sizeof(a) / sizeof(a[0]);
  for (int i = 0; i < n; i++)
  {
    cout << a[i] << endl;
  }
  return 0;
}


而对于我们来说,这种写法有时会出现很多问题,比如数组大小计算错误,或者循环条件写错,所以C++11中引入了基于范围的for循环。


for循环后面的括号由冒号" :"分为两个部分,第一部分是范围内用于迭代的变量类型,第二部分则表示被迭代的范围。


for(auto__:__);


int arr[] = { 9,8,7,5,6,3,2,4 };
  for (auto e : arr)
  {
  cout << e << endl;  
  }


1.使用规则


1.使用于数组

2.依次取数组中的数据赋值给e(这里的e可以随便写其他,没有规定,可以是x,可以是y)

3.自动迭代,自动判断结束。

4.与普通循环类似,可以用continue来结束本次循环,也可以用break跳出整个循环。


还有如果想要利用范围for改变数组内容该任何改变呢?

如果想让数组内数据都变成2倍这样写可以吗?


int arr[] = { 9,8,7,5,6,3,2,4 };
  for (auto x : arr)
  {
    x * 2;
  }


要注意,这里只是将arr数组内容依次赋值给x,但x改变能改变数组内的数据吗?当然不能了。

所以我们想要改动数组内的数据,只要传引用即可,每次改变的是数组数据的别名。改变别名就改变了数组数据。


int arr[] = { 9,8,7,5,6,3,2,4 };
  for (auto& x : arr)
  {
    x * 2;
  }


【注意】


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


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

相关文章
|
10天前
|
安全 编译器 C++
C++ `noexcept` 关键字的深入解析
`noexcept` 关键字在 C++ 中用于指示函数不会抛出异常,有助于编译器优化和提高程序的可靠性。它可以减少代码大小、提高执行效率,并增强程序的稳定性和可预测性。`noexcept` 还可以影响函数重载和模板特化的决策。使用时需谨慎,确保函数确实不会抛出异常,否则可能导致程序崩溃。通过合理使用 `noexcept`,开发者可以编写出更高效、更可靠的 C++ 代码。
16 0
|
2月前
|
存储 安全 编译器
【C++打怪之路Lv1】-- 入门二级
【C++打怪之路Lv1】-- 入门二级
32 0
|
2月前
|
自然语言处理 编译器 C语言
【C++打怪之路Lv1】-- C++开篇(入门)
【C++打怪之路Lv1】-- C++开篇(入门)
39 0
|
2月前
|
分布式计算 Java 编译器
【C++入门(下)】—— 我与C++的不解之缘(二)
【C++入门(下)】—— 我与C++的不解之缘(二)
|
2月前
|
编译器 Linux C语言
【C++入门(上)】—— 我与C++的不解之缘(一)
【C++入门(上)】—— 我与C++的不解之缘(一)
|
1月前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
51 2
|
1月前
|
存储 编译器 C++
【c++】类和对象(下)(取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象)
本文介绍了C++中类和对象的高级特性,包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项,帮助读者深入了解C++面向对象编程的核心机制。
105 5
|
1月前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
93 4
|
1月前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
111 4
|
2月前
|
存储 编译器 对象存储
【C++打怪之路Lv5】-- 类和对象(下)
【C++打怪之路Lv5】-- 类和对象(下)
32 4