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;//1
	re(b) = 2;
	cout<<b<<endl;//2
	return 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 object
	abc(a,b,c,z);				//right!!
	z++;						//right!!
	cout<<z<<endl;				//7
	return 0;
}