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;
}