C++函数返回值的特殊情况（返回引用、非引用、引用左值）

关于函数返回值的问题，关键是我们要清楚返回过程中，值得复制过程

1、返回内置类型

      string make_plural(size_t i,const string &word,const string &ending)
      {
             return (i==1)?word:word+ending;
      }

      以上函数，当i等于1时，函数返回word形参的副本；当i不等于1时函数返回一个临时的string对象，这个临时对象是由字符串word和ending相加而成的。

        这两种情况下，return都在调用该函数的地方复制了返回的string对象

      （首先，func将返回值复制到一个匿名临时变量中，在这里假设该临时变量为anony（其实是没有名字的，这里方便阐述）；然后，再将anony的值复制到result，可以看出，这里是进行了两次复制的。而并非一次复制。）

      （一个比较大的缺点就是如果返回值比较大的话，函数的性能会受到一定的影响）。

2、返回指针

。。。

2、返回引用

      const string &shorterString(const string &s1,const string &s2)
      {
             return s1.size()<s2.size()?s1:s2;
      }

      以上函数的返回值是引用类型。无论返回s1或是s2,调用函数和返回结果时，都没有复制这些string对象。

        千万不要返回局部对象的引用

      const string &mainip(const string &s)
      {
             string ret=s;
             return ret;
      }
      
      当函数执行完毕，程序将释放分配给局部对象的存储空间。此时，对局部对象的引用就会指向不确定的内存。（我在dev c++里运行通过。。。。 但是vc6和vc2008不能编译通过）。同理，也不能返回局部对象的指针。

最后补一个例子：

   

// LJJ.cpp : Defines the entry point for the console application.//#include "stdafx.h"#include <string>#include <iostream>using namespace std;const int &weatherb(const int &b){return b;}int main(int argc, char* argv[]){int b = 1;int result ;cout<<"b:"<<&b<<endl;cout<<"result:"<<&result<<endl;result= weatherb(b);cout<<endl<<"b:"<<&b<<" "<<b<<endl;cout<<"result:"<<&result<<" "<<result<<endl;b+=1;result+=2;cout<<endl<<"b:"<<&b<<" "<<b<<endl;cout<<"result:"<<&result<<" "<<result<<endl;return 0;}

运行结果：

   

需要说明的是：按很多人的理解，这里返回的是一个引用，因此result就是b的引用，其实并非如此，这里返回引用只是减少了一次临时变量值的复制。如果真的要让result能够引用b，可以这样做：int &result = func(b);

3、引用返回左值（比较奇妙）

      char &get_val(string &str,string::size_type ix)
      {
             return str[ix];
      }

      使用语句调用:
       string s("123456");
       cout<<s<<endl;
       get_val(s,0)='a';
       cout<<s<<endl;
      把函数应用于左值，还是第一次见到（真是孤陋寡闻）。

// LJJ.cpp : Defines the entry point for the console application.//#include "stdafx.h"#include <string>#include <iostream>using namespace std;int &re(int &b){return b;}int main(int argc, char* argv[]){int b = 1;cout<<b<<endl;//1re(b) = 2;cout<<b<<endl;//2return 0;}

以下是上面几种情况的实例代码：

//liujiajia
//2008-7-16
#include<iostream>
using namespace std;
string make_plural(size_t,const string&,const string&);
const string &shorterString(const string &,const string &);
const string &mainip(const string&);
char &get_val(string &,string::size_type);
int main(void)
{
    cout<<make_plural(1,"dog","s")<<endl;
    cout<<make_plural(2,"dog","s")<<endl;
    
    string string1="1234";
    string string2="abc";
    cout<<shorterString(string1,string2)<<endl;
    
    cout<<mainip("jiajia")<<endl;
    
    
    string s("123456");
    cout<<s<<endl;
    get_val(s,0)='a';
    
    cout<<s<<endl;
    
    getchar();
    return 0;
}
//返回非引用 
string make_plural(size_t i,const string &word,const string &ending)
{
    return (i==1)?word:word+ending;
}
//返回引用 
const string &shorterString(const string &s1,const string &s2)
{
    return s1.size()<s2.size()?s1:s2;
}
//禁止返回局部对象的引用（我的dev c++ 没有报错，比较可怕） 
const string &mainip(const string &s)
{
    string ret=s;
    return ret;
}
//引用返回左值（第一次听说） 
char &get_val(string &str,string::size_type ix)
{
    return str[ix];
}

from ： http://www.cppblog.com/liujiajia/archive/2008/07/16/56244.html

刚又有一个例子，关于const的：

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

// d1.cpp : Defines the entry point for the console application.//#include "stdafx.h"#include <iostream>using namespace std;const int &abc(int a,int b,int c,int &re){re = a+b+c;return re;}int main(int argc, char* argv[]){int a = 1;int b = 2;int c = 3;int z;//abc(a,b,c,z)++;//<-------------error C2166: l-value specifies const objectabc(a,b,c,z);//right!!z++;//right!!cout<<z<<endl;//7return 0;}