目录
1、引用存在的意义(既然有了指针为何还要有引用,引用的由来)
一、指针&引用的基本概念
说到指针和引用,首先看下变量名的概念:
变量名: 实质上就是一段连续存储空间的别称。
变量名是逻辑层的概念, 变量有类型, 例如 整型(int),字符型(char),单精度浮点型(float),双精度浮点型(double)
地址(可以简单理解成指针)是物理层的感念,每个地址都对应一个存储单元。地址没有类型,但是不同类型的变量占用的地址个数不一样。
变量名和地址之间的映射关系是由编译器决定的。(摘自https://www.oschina.net/question/1783725_2163287)
指针:是一个变量,这个变量存储的是一个地址,指向内存的一个存储单元。
引用: 前面提到 变量名是存储空间的别称,一段存储空间当然可以有多个别称。引用是一个已经定义的变量的别名。
二、引用
1、引用存在的意义(既然有了指针为何还要有引用,引用的由来)
- 引用作为变量的别名,在很多场合可以代替指针,并且具有更好的可读性和实用性。
- 另外不需要验证参数的无效性(如空指针等)提高了编码效率。
https://zh-google-styleguide.readthedocs.io/en/latest/google-cpp-styleguide/functions/#id4 google C++编码指出,函数中需要修改的值用指针传入,不需要修改的值用常引用传入,提高代码可读性。
举个栗子: set_age_point 与 set_age_ref同样可以起到修改变量值的作用,set_age_ref与之前的变量名操作完全一样,可读性更好。
例一:
/****************************
* 理解引用
*/
#include <iostream>
#include <cstdlib>
using namespace std;
struct Teacher {
char name[64];
int age;
};
void set_age(Teacher t) {
t.age = 45; // 时间如白驹过隙……
cout << "\t in set age loc=" << &t << " age=" << t.age << endl;
}
void set_age_point(Teacher* ptr) {
ptr->age = 30;
cout << "\t in set_age_point ptr=" << ptr << " age=" << ptr->age << endl;
}
void set_age_ref(Teacher& ref) {
ref.age = 33;
cout << "\t in set_age_ref loc=" << &ref << " age=" << ref.age << endl;
}
int main(int argc, char** argv) {
Teacher t;
t.age = 35;
cout << "start &t=" << &t << " t.age=" << t.age << endl;
set_age_point(&t);
cout << "after set_age_point &t=" << &t << " t.age=" << t.age << endl;
set_age_ref(t);
cout << "after set_age_ref &t=" << &t << " t.age=" << t.age << endl;
set_age(t);
cout << "after set_age &t=" << &t << " t.age=" << t.age << endl;
system("pause");
return 0;
}
输出结果:
2、引用实现原理
引用在C++内部实现是一个常指针。Type& name <--> Type* const name
从汇编代码来验证:
(gcc编译:https://blog.csdn.net/guoxiaoqian8028/article/details/18915513
汇编角度来解释指针:https://blog.csdn.net/wanwenweifly4/article/details/6739687)
#include <stdio.h>
#include <iostream>
using namespace std;
void main()
{
int x = 1;
int &b = x;
}
通过汇编查看代码如下:
9: int x = 1;
00401048 mov dword ptr [ebp-4],1
10: int &b = x;
0040104F lea eax,[ebp-4]
00401052 mov dword ptr [ebp-8],eax
可以知道x的地址为ebp-4,b的地址为ebp-8,因为栈内的变量内存是从高往低进行分配的。所以b的地址比x的低。
lea eax,[ebp-4] 这条语句将x的地址ebp-4放入eax寄存器
mov dword ptr [ebp-8],eax 这条语句将eax的值放入b的地址ebp-8中
上面两条汇编的作用即:将x的地址存入变量b中 。这个将变量地址存入指针是一样的。
3、const引用
const int& b = a;
const int& c = 10;
以上是常引用的两种初始化形式。
第一种是声明了一个b为a的引用,并且不能通过b修改a
第二种是声明了一个指向变量的引用,系统会为变量分配内存空间,并且内存空间的别名为c。同样不能通过c修改变量。
总之:常引用 就是不能修改指向值的引用。注意:第二种引用声明时有分配空间的操作!!!
三、指针
1、指针的概念
如上所述,是一个变量,变量的值为一段内存空间的地址。
2、指针的优点:
c++将指针暴露给了程序员,而Java , C#等语言则将指针隐藏起来。
- 指针最大的优点就是能够自由分配内存,实现内存的自由管理。各种大型索引库,索引压缩技术都会选择C/C++来实现。
- 形参的地址传递,与 值传递然后返回结果再赋值的操作相比,更加高效。
- 能够方便的操作字符串。
3、指针的用途
主要区分const的两个用途:
int* const a = &b; // a 的指向不能修改
const int* a = &b; // 不能通过a修改b的值
// 另外,提到const,不得不提一下const成员函数
class Rectangle {
public:
Rectangle() {};
~Rectangle() {};
void setLength(int l) { length = l; }
int getLength() const { return length; } // const修饰成员函数,函数中不能修改成员变量的值
private:
int length;
int width;
}
四、引用和指针的异同(高频面试题)
1、从本质上来讲, 引用是变量的别名,指针是一个存储地址的变量。引用本身不占用内存,指针本身占用内存。
PS:程序在编译时分别将指针和引用添加到符号表上,符号表记录的是变量名和对应的变量地址。不同的是指针变量在符号表上对应的地址,是指针变量本身的地址。引用对应的值是引用指向对象的地址。
2、从初始化的角度,指针可以为空,比如 int *p = NULL; 而引用必须在声明的时候初始化。指针初始化后可以改变,引用初始化后不能再指向其他变量了。
3、从类型角度:
引用有类型,通过sizeof可以获取引用指向变量的大小,引用自加(a++)是指向的变量自加。
指针本身是一个int型变量,对指针变量进行sizeof获得是指针本身一个整型数的大小。指针自加会根据指向变量的类型后移不同的长度。
4、从参数传递的角度:引用是地址传递,把原始变量的地址直接给到了函数。指针是地址的copy,传递的是地址,但是无法对指针的指向进行修改。
C++参数传递有三种,值传递,引用传递,指针传递。
例一中: setAge就是值传递,不会对实参进行修改。set_age_ref是引用传递,相当于把实参的地址传给了函数,可以达到修改原始数据的目的,通过输出看到t的地址与main函数中相同。set_age_point是指针传递,相当于把实参的地址拷贝到一个变量里面,然后把地址作为形参传递,也可以达到修改实参的目的,但是在set_age_point中并不能对指针的指向进行修改。
#include<iostream>
using namespace std;
void test(int *p)
{
int a=1;
p=&a;
cout<<p<<" "<<*p<<endl;
}
int main(void)
{
int *p=NULL;
test(p);
if(p==NULL)
cout<<"指针p为NULL"<<endl;
system("pause");
return 0;
}
输出:
0x22ff44 1
指针p为NULL