1. 代码层面上:
1.1 指针:
指针p是一个对象,它同样有地址&p和存储的值p。
只不过p存储的数据类型是地址。如果我们要以p中存储的数据为地址,来访问对象的值,则要在p前加操作符"*",即(*p)。
1.2 引用
int m;
int &n = m;
n 相当于 m 的别名(绰号),对 n 的任何操作就是对m的操作。
所以 n 既不是m的拷贝,也不是指向 m 的指针,其实n就是 m 它自己。
引用的规则:
(1)引用被创建的同时必须被初始化(指针则可以在任何时候被初始化)。
(2)不能有 NULL 引用,引用必须与合法的存储单元关联(指针则可以是 NULL)。
(3)一旦引用被初始化,就不能改变引用的关系(指针则可以随时改变所指的对象)。
int i = 5;
int j = 6;
int &k = i;
k = j; // k 和 i 的值都变成了 6;
k 被初始化为i的引用。
语句 k = j 并不能将 k 修改成为j的引用,只是把k的值改变成为 6。
由于 k 是 i 的引用,所以i的值也变成了 6。
void Func1(int x)
{
x = x + 10;
}
...
int n = 0;
Func1(n);
cout << "n = " << n << endl; // n = 0
由于 Func1 函数体内的 x 是外部变量 n 的一份拷贝,改变 x 的值不会影响 n, 所以 n 的值仍然是 0。
void Func2(int *x)
{
(* x) = (* x) + 10;
}
...
int n = 0;
Func2(&n);
cout << "n = " << n << endl; // n = 10
由于 Func2 函数体内的 x 是指向外部变量 n 的指针,改变该指针的内容将导致 n 的值改变,所以 n 的值成为 10。
void Func3(int &x)
{
x = x + 10;
}
...
int n = 0;
Func3(n);
cout << "n = " << n << endl; // n = 10
由于 Func3 函数体内的 x 是外部变量 n 的引用,x 和 n 是同一个东西,改变 x 等于改变 n,所以 n 的值成为 10。
2. 底层层面上:
2.1 const 修饰符
const默认作用于其左边的东西,否则作用于其右边的东西:
const int*
const只有右边有东西,所以const修饰int成为常量整型,然后*再作用于常量整型。所以这是a pointer to a constant integer(指向一个整型,不可通过该指针改变其指向的内容,但可改变指针本身所指向的地址)
int const *
const左边有东西,所以const作用于int,*再作用于int const所以这还是 a pointer to a constant integer(同上)
int* const
这个const的左边是*,所以const作用于指针(不可改变指向的地址),所以这是a constant pointer to an integer,可以通过指针改变其所指向的内容但只能指向该地址,不可指向别的地址。
const int* const
这里有两个const。左边的const 的左边没东西,右边有int那么此const修饰int。右边的const作用于*使得指针本身变成const(不可改变指向地址),那么这个是a constant pointer to a constant integer,不可改变指针本身所指向的地址也不可通过指针改变其指向的内容。
int const * const
这里也出现了两个const,左边都有东西,那么左边的const作用于int,右边的const作用于*,于是这个还是是a constant pointer to a constant integer。
2.2 引用的实质
引用在功能上等于一个指针常量,即一旦指向某一个单元就不能在指向别处。
- 引用和指针,在内存中都是占用4个字节(32bits系统中)的存储空间。
- 指针和引用存放的都是被引用对象的地址,引用必须在定义的同时进行初始化。
- sizeof 引用”得到的是所指向的变量(对象)的大小,而“sizeof 指针”得到的是指针本身(所指向的变量或对象的地址)的大小;
- 指针和引用的自增(++)运算意义不一样;引用自增被引用对象的值,指针自增内存地址。