博文

C++引用(源)(2007-04-12 13:12:00)

摘要:引用是C++引入的新语言特性,是C++常用的一个重要内容之一,正确、灵活地使用引用,可以使程序简洁、高效。我在工作中发现,许多人使用它仅仅是想当然,在某些微妙的场合,很容易出错,究其原由,大多因为没有搞清本源。故在本篇中我将对引用进行详细讨论,希望对大家更好地理解和使用引用起到抛砖引玉的作用。  引用简介  引用就是某一变量(目标)的一个别名,对引用的操作与对变量直接操作完全一样。  引用的声明方法:类型标识符 &引用名=目标变量名;  【例1】:int a; int &ra=a; //定义引用ra,它是变量a的引用,即别名  说明:  (1)&在此不是求地址运算,而是起标识作用。  (2)类型标识符是指目标变量的类型。  (3)声明引用时,必须同时对其进行初始化。  (4)引用声明完毕后,相当于目标变量名有两个名称,即该目标原名称和引用名,且不能再把该引用名作为其他变量名的别名。   ra=1; 等价于 a=1;   (5)声明一个引用,不是新定义了一个变量,它只表示该引用名是目标变量名的一个别名,它本身不是一种数据类型,因此引用本身不占存储单元,系统也不给引用分配存储单元。故:对引用求地址,就是对目标变量求地址。&ra与&a相等。  (6)不能建立数组的引用。因为数组是一个由若干个元素所组成的集合,所以无法建立一个数组的别名。  引用应用  1、引用作为参数   引用的一个重要作用就是作为函数的参数。以前的C语言中函数参数传递是值传递,如果有大块数据作为参数传递的时候,采用的方案往往是指针,因为这样可以避免将整块数据全部压栈,可以提高程序的效率。但是现在(C++中)又增加了一种同样有效率的选择(在某些特殊情况下又是必须的选择),就是引用。  【例2】:void swap(int &p1, int &p2) //此处函数的形参p1, p2都是引用 { int p; p=p1; p1=p2; p2=p; }   为在程序中调用该函数,则相应的主调函数的调用点处,直接以变量作为实参进行调用即可,而不需要实参变量有任何的特殊要求。如:对应上面定义的swap函数,相应的主调函数可写为:main( ){  int a,b; cin>>a>>b; //输入a,b两变量的值 swap(a,b); /......

阅读全文(1901) | 评论:0

C++引用规则 (2007-04-12 13:09:00)

摘要:首先,引用是C++引入的新语言特性,是一个变量的别名, 它必须指向一个实实在在的地址(且这个地址要在引用产生作用时还在内存中),系统始终不为其分配内存,只是新建了一对对应关系。正因如此,1、引用必须在定义时初始化,且初始化后程序不能改变此引用关系(引用声明完毕后,相当于目标变量名有两个名称,即该目标原名称和引用名,且不能再把该引用名作为其他变量名的别名。)2、所以允许指针的引用,而不允许引用的指针。 C++中有四种引用方式:1、 独立引用。      如 int  a = 5;   int & ref = a;      // cout<<&a<<"  "<<&ref<<endl;  可以检测到二者是同一个地址 0013FF60  0013FF60 2、 返回引用。int & get( int * a, int i ) {  return  *(a+i);        }  // 返回数组的 i+1 个元素的值void main() { int array[4] = {1, 2, 3, 4 }; int i = 0; i = get( array, 2 ); cout<<i<<endl;      // 结果为3 system( "pause" );}// 补:  引用作为返回值,必须遵守以下规则:(参考: http://hi.baidu.com/pavelliu/blog/item/33ec8a35876ddc1191ef395b.html)  (1)不能返回局部变量的引用。这条可以参照Effective C++[1]的Item 31。主要原因是局部变量会在函数返回后被销毁,因此被返回的引用就成为了'无所指'的引用,程序会进入未知状态。   (2)不能返回函数内部new分配......

阅读全文(3450) | 评论:0

C++对象布局及多态之虚成员函数如何调用(2007-04-12 12:58:00)

摘要:在构造函数中调用虚成员函数,虽然这是个不很常用的技术,但研究一下可以加深对虚函数机制及对象构造过程的理解。这个问题也和一般直观上的认识有所差异。先看看下面的两个类定义。 struct C180 {    C180() {        foo();        this->foo();    }    virtual foo() {        cout << "<< C180.foo this: " << this             << " vtadr: " << *(void**)this             << endl;    }}; struct C190 : public C180 {    C190() {}    virtual foo() {        cout << "<< C190.foo this: " << this             << " vtadr: " << *(void**)this             << endl;&n......

阅读全文(2083) | 评论:0