分享

c++ 函数返回值、引用

 若渴若愚 2011-12-16

c++ 函数返回引用

一,c++函数的返回分为以下几种情况

1)主函数main的返回值:这里提及一点,返回0表示程序运行成功。

2)返回非引用类型:函数的返回值用于初始化在跳用函数出创建的临时对象。用函数返回值初始化临时对象与用实参初始化形参的方法是一样 的。如果返回类型不是引用,在调用函数的地方会将函数返回值复制给临时对象。且其返回值既可以是局部对象,也可以是求解表达式的结果。

3)返回引用:当函数返回引用类型时,没有复制返回值。相反,返回的是对象本身。

二,函数返回引用

1,当函数返回引用类型时,没有复制返回值。相反,返回的是对象本身。先看两示例,示例1如下:

const string &shorterString(const string &s1,const string &s2)

{

return s1.size < s2.size ? s1:s2;

}

 示例2: 

View Code
1 ostream &operator<<(ostream &output, const AAA &aaa)
2 {
3 output << aaa.x << ' ' << aaa.y << ' ' << aaa.z << endl;
4 return output;
5 }

     形参和返回类型都是指向const string对象的引用,调用函数和返回结果时,都没有复制这些string对象。

2,返回引用,要求在函数的参数中,包含有以引用方式或指针方式存在的,需要被返回的参数。比如:

View Code
1 int& abc(int a, int b, int c, int& result){
2
3 result = a + b + c;
4 return result;
5 }
6
7 这种形式也可改写为:
8
9 int& abc(int a, int b, int c, int *result){
10 *result = a + b + c;
11 return *result;
12 }

     但是,如下的形式是不可以的:

View Code
1 int& abc(int a, int b, int c){
2 return a + b + c;
3 }

3,千万不要返回局部对象的引用。当函数执行完毕时,将释放分配给局部对象的存储空间。此时,对局部对象的引用就会指向不确定的内存。如:

  const string &manip(const string &s)

  {

   string ret =s;

   return ret;  //wrong:returning reference to a local object

  }

4,引用返回左值。返回引用的函数返回一个左值。因此这样的函数可用于任何要求使用左值的地方。示例见:c++ primer p215

5,由于返回值直接指向了一个生命期尚未结束的变量,因此,对于函数返回值(或者称为函数结果)本身的任何操作,都在实际上,是对那个变量的操作,这就是引入const类型的返回的意义。当使用了const关键字后,即意味着函数的返回值不能立即得到修改!如下代码,将无法编译通过,这就是因为返回值立即进行了++操作(相当于对变量z进行了++操作),而这对于该函数而言,是不允许的。如果去掉const,再行编译,则可以获得通过,并且打印形成z = 7的结果。

 include <iostream>
 include <cstdlib>
 const int& abc(int a, int b, int c, int& result){
    result = a + b + c;
    return result;
 }


 int main() {
   int a = 1; int b = 2; int c=3;
   int z;
   abc(a, b, c, z)++;  //wrong: returning a const reference
   cout << "z= " << z << endl;
   SYSTEM("PAUSE");
   return 0;
 }

三,思考:   

1,什么时候返回引用是正确的?而什么时候返回const引用是正确的?

    返回指向函数调用前就已经存在的对象的引用是正确的。当不希望返回的对象被修改时,返回const引用是正确的。

本文来自CSDN博客,转载请标明出处:http://blog.csdn.net/keyouan2008/archive/2010/07/17/5741917.aspx



源代码如下

#   include   <stdio.h>

int   testA   (void)
{
int   b   =   1   ;
return   b   ;
}

char   *   testB   (void)
{
char   str[]   =   "abc "   ;
return   str   ;
}
 
int   main()
{
printf(   "   the   value   of   testA   is   %d   \n ",   testA()   )   ;
printf(   "   the   value   of   testB   is   %c   ",   *(   testB()   )   )   ;
}


问题1   :

根据《高质量c编程》里所说,testB函数返回了一个临时指针,因为函数结束时,该指针会被销毁,因此这里的返回语句是错误的,我用vc6编译时的确也收到了警告,但是为什么build还是能通过呢?而且为什么运行时也没有任何问题,正确返回 'a   '这个值。我的理解是运行时return还是返回了一个指向栈的指针,并且这段内存暂时还没有被其他的数据所覆盖,因此能够正确返回 'a '这个值,但是如果程序中又多次调用其他函数并占据了该内存,那么就会得到其他的数据而不是 'a '了,是不是这样理解呢?

问题2   :

同样testB里也是返回一个临时值b,但是为什么这样是完全可行的呢?因为不是一个地址?不知道return的返回机制是怎么样的,请各位帮我解释一下,谢谢

answer:

C里面的return   val都是传回一个值,你不可能得到val这个变量,所有修改作用于接收val的那个对象;C++里面返回引用就不一样了,返回的就是原来的对象,所有修改都作用于val 。
而指针和引用非常相似,通过指针可以操纵原来的对象,所以返回一个不存在的对象的指针时不正确的。但是作为逻辑上讲,返回一个指针的值并没有错误,无论这个指针指向的是什么位置。


对于返回值的情况:
        testA与main函数同在栈区,testA结束时C++创建临时变量,然后将返回值复制给该临时
变量。
        printf(   "   the   value   of   testA   is   %d   \n ",   testA()   )   时输出的是该临时变量的值,testA中的b已经不存在。

对于返回指针的情况:
        这是最复杂的部分。首先,对于上面的情形:返回一个数组的首地址,由于是返回char   * 类型,所以C++会首先创建一个char   *类型的临时变量,再把该数组的首地址赋给临时变量;
函数结束后该数组也就被销毁,这就意味着临时变量指向了一个“未声明的地址”,幸运的情况下,这段内存暂时还没有被其他的数据所覆盖,因此还能输出正确的内容。
        在testB里面,如果换成char*   str= "abc ";return   str;   由于这时str指向的是全局数据区 的一段内存地址,所以函数结束后临时变量也指向该地址,所以编译器不会提出警告。但这样 的方法是不推荐的。

返回引用:
        这中情况的效率最高,它直接返回一个对象,不产生返回值的副本。但同时也要注意避免 返回局部引用的情况。

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多