引用和指针有如下三种区别:
1 引用必须在声明时初始化,而指针不用;
2 对于NULL不能引用,而指针可以指向NULL;
3 引用一旦声明,引用的对象不能改变(但对象的值可以改变);而指针可以随时改变指向的对象。
引用能做到的,指针也可以,但指针更危险;
(1)引用被创建的同时必须被初始化(指针则可以在任何时候被初始化)。
(2)不能有NULL引用,引用必须与合法的存储单元关联(指针则可以是NULL)。
(3)一旦引用被初始化,就不能改变引用的关系(指针则可以随时改变所指的对象)。
从上面的区别看,引用比指针安全。从编译器的角度看,引用仅仅是一个更为安全的指针。正是因为指针非常灵活,导致指针在编程时出错的可能性也很大,可以这样说指针是C++中最危险的。为了在不牺牲性能的情况下,更安全的利用指针特性,C++引入了引用。
实例分析:
#include <iostream> void swapint1(int *a,int *b) { int temp; temp=*a; *a=*b; *b=temp; } void swapint2(int &a,int &b) { int temp; temp=a; a=b; b=temp; } int main() { int a = 3; int b = 4; int &c = a; c = 12; swapint1(&a,&b); swapint2(a,b); return 0; }
swapint1和swapint2对应的汇编代码:
swapint1: pushl %ebp movl %esp, %ebp subl $16, %esp movl 8(%ebp), %eax movl (%eax), %eax movl %eax, -4(%ebp) movl 12(%ebp), %eax movl (%eax), %edx movl 8(%ebp), %eax movl %edx, (%eax) movl 12(%ebp), %eax movl -4(%ebp), %edx movl %edx, (%eax) leave ret swapint2: pushl %ebp movl %esp, %ebp subl $16, %esp movl 8(%ebp), %eax movl (%eax), %eax movl %eax, -4(%ebp) movl 12(%ebp), %eax movl (%eax), %edx movl 8(%ebp), %eax movl %edx, (%eax) movl 12(%ebp), %eax movl -4(%ebp), %edx movl %edx, (%eax) leave ret
从上面的代码可以看出,两种函数的实现在汇编层面是完全一样的。然后再从调用的层面进行分析。
// int a = 3 movl $3, 24(%esp) // int b = 4 movl $4, 20(%esp) // int &c = a; leal 24(%esp), %eax movl %eax, 28(%esp) // c = 12 movl 28(%esp), %eax movl $12, (%eax) // swapint1(a,b) leal 20(%esp), %eax movl %eax, 4(%esp) leal 24(%esp), %eax movl %eax, (%esp) call swapint1 // swapint2(a,b) leal 20(%esp), %eax movl %eax, 4(%esp) leal 24(%esp), %eax movl %eax, (%esp) call swapint2
可见两种实现方式在调用的角度也是一样的,均是采用传地址的方式来实现的。
另外,从 int & c = a; c = 12; 对应的汇编代码中可以看出对于引用类型也是分配了空间的,空间中保存的是被引用量的地址,这和指针的方式也是一致的。
原文:http://www.cnblogs.com/yanenquan/p/3721850.html