缺省情况下函数的返回值是按值传递的，这意味着得到控制权的函数将接收返回语句中指定的表达式的拷贝。该缺省行为可以被改变，一个函数可以被声明为返回一个指针或一个引用

函数的返回主要分为以下几种情况：

1、主函数main的返回值：

允许主函数main没有返回值就可结束；可将主函数main返回的值视为状态指示器，返回0表示程序运行成功，其他大部分返回值则表示失败。

2、返回非引用类型：

• 函数的返回值用于初始化在调用函数时创建的临时对象(temporary object)，如果返回类型不是引用，在调用函数的地方会将函数返回值复制给临时对象。

• 在求解表达式的时候，如果需要一个地方存储其运算结果，编译器会创建一个没命名的对象，这就是临时对象。C++程序员通常用temporary这个术语来代替temporary object。

• 用函数返回值初始化临时对象与用实参初始化形参的方法是一样的。

• 当函数返回非引用类型时，其返回值既可以是局部对象，也可以是求解表达式的结果。

3、返回引用类型：

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

• 千万不要返回局部对象的引用！千万不要返回指向局部对象的指针！

当函数执行完毕时，将释放分配给局部对象的存储空间。此时对局部对象的引用就会指向不确定的内存！返回指向局部对象的指针也是一样的，当函数结束时，局部对象被释放，返回的指针就变成了不再存在的对象的悬垂指针。

• 返回引用时，要求在函数的参数中，包含有以引用方式或指针方式存在的，需要被返回的参数。

下面是一个段有错误的代码，找出其中的错误。



错误代码：

 #include 

 using namespace std;


int val() 
{ 

     int i = 1; 
     return i; 
}

 int & ref() 
{ int j=3; 
     int &i = j; 
     return i;
//wrong} 

int main() 
{ 

     

int   vv = val(); 
     

int & rv = val();//wrong

 int   vr = ref(); 

     int & rr = ref(); 

     return 0;


} 




正确代码：

 #include 


using namespace std;


int j=3;//j是全局变量


int val() 
{ 

     int i = 1; 
     return i; 
} 
int & ref() 

{ 
//   int j=3;j不能是局部变量！
    int &i = j; 
      return i; //不能返回局部对象的引用
} 
  


int main() 
{

 int   vv = val();

 int   rv = val();//int   &rv = val()错误！val()返回的是一个int型的数，而给引用&rv 赋值的必须是一个同类型的变量。
    

int   vr = ref(); 
      

int & rr = ref();

 cout<<vv<<endl;


      cout<<rv<<endl;
      

cout<<vr<<endl;

cout<<rr<<endl;

 return 0;


}





        
        
        
        

#include

using namespace std;

char *f();

char *f1();

int main()

{

 cout << f() << endl;

  cout << f1() << endl;

  return 0;

}

char * f()

{

  char s[] = "Hello";

  return s;

}



char *f1()

{

  static char s[] = "World" ;

  return s;

}
第一个打印的是乱码，因为s是局部变量，离开f则释放空间
第二个打印正确，因为s是静态变量，整个文件范围类都存在


同样下面这个程序中s是局部变量，返回的指针指向的可能是其一个成员变量，一旦s不存在了，该成员肯定也不存在。
故指针指向的内容是不确定的

#include

#include

using namespace std;

const char * f();

int main()

{

  const char *s = f();

  cout << s << endl;

  return 0;

}