引用:
为对象起了另外一个名字,通过将声明符写成&d的形式来定义引用类型,对引用的所有操作等同于对引用对象的操作,可做等价替换。
如:
int a=10;
int &b=a;
注:
1、引用必须初始化,初始值必须是一个对象;
2、引用一旦初始化,则不能再重新绑定到另一个对象上;
3、引用本身不是一个对象,是一个已存在对象的别名;
4、不能定义引用的引用;即形如type &&d.
(以上特性均是从高级语言角度去看待引用,至于引用类型到底是什么?它和指针有什么关系?它本身占用内存空间吗?可参考:从底层汇编理解 c++ 引用实现机制 )
eg:
#include<iostream>
using namespace std;
int main()
{
int a=6;
int &b=a;
int &c=b;//此处并非是引用的引用,实际上是让c成为另一个a的引用.
cout<<a<<b<<c<<endl;
c=9;
cout<<a<<b<<c<<endl;
return 0;
}
输出结果如下:
指针:
是通过对象地址间接访问对象的一种复合类型,通过将声明符写成*d的形式,其中d是变量名,其值为指针所指对象的地址。
注:
1、指针类型要和它所指向对象严格匹配;
2、空指针可定义如下:
int *p1 = nullptr;
int *p2 = 0;
int *p3 = NULL;
3、因为引用不是一个对象,因此不能定义指向引用的指针,但指针是一个对象,因此存在对指针的引用;
eg:
#include<iostream>
using namespace std;
int main()
{
int i = 42;
int *p;
int *&r = p; //r是一个对指针p的引用,p是一个指针变量
r = &i; //r引用了一个指针,因此给r赋值&i就是令p指向i
*r = 11; //解引用r得到i,也就是p指向的对象,将i的值改为11
cout<<i<<" "<<*p<<" "<<r<<" "<<*r<<endl;
return 0;
}
输出结果如下:
此处出现*&这样的复合符号,对于此类复合符号,要理解r的类型到底是什么,最简单的办法就是从
右往左阅读r的定义。离变量名最近的符号(此例中是&r的符号&)对变量的类型有最直接的影响,因此此处r是一个引用,符号*表明r是一个指针的引用,int则表明r是一个int型指针的引用。
在指针和引用中,会经常见到&和*符号,具体可总结如下:
int i = 42;
int &r = i; //&紧随类型名出现,是声明的一部分,r是一个引用
int *p; //*紧随类型名出现,是声明的一部分,p是一个指针
p = &i; //&出现在表达式中,是一个取地址符
*p = i; //*出现在表达式中,是一个解引用符
int &r2 = *p; //&是声明的一部分,*是一个解引用符
4、指针的指针:
eg:
int ival=10;
int *pi=&ival;
//pi是一个指向int型的指针
int **ppi=π
//ppi是一个指向int型指针的指针 (从右到左阅读理解ppi的类型)