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:

[cpp] view plain copy

  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,返回引用,要求在函数的参数中,包含有以引用方式或指针方式存在的,需要被返回的参数。比如:

int& abc(int a, int b, int c, int& result){

result = a + b + c;
    return result;
}

这种形式也可改写为:

int& abc(int a, int b, int c, int *result){
   *result = a + b + c;
   return *result;
}

但是,如下的形式是不可以的:
int& abc(int a, int b, int c){
   return a + b + c;
}

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引用是正确的。

 MYTEST1:

本机测试,函数返回问题。 发现在mac上xcode中,返回直接返回局部变量,并没有拷贝,而是直接替换。

//
//  main.cpp
//  TestVector
//
//  Created by New_Life on 2017/4/19.
//  Copyright ? 2017年 chenhuan001. All rights reserved.
//

#include <iostream>

class A {
public:
    A() {
        std::cout << "A construct" << std::endl;
    }

    ~A() {
        std::cout << "A destory" << std::endl;
    }

    A(const A& a) {
        std::cout << "A copy" << std::endl;
    }

    A& operator = (const A& a) {
        std::cout << "A =" << std::endl;
        return *this;
    }
    int aa;
};

A Test() {
    A a;
    std::cout << "a: " << &a << std::endl;
    A b(a);
    std::cout << "b: " << &b << std::endl;
    return b;
}

int main(int argc, const char * argv[]) {
    A c = Test();//编译器做了优化。
//    A c(TestVector());
    std::cout << "c: " << &c << std::endl;
    A d;
    std::cout << "d: " << &d << std::endl;
    //std::cout << c << std::endl;
    return 0;
}

运行结果:

A construct
a: 0x7fff5fbff6b8
A copy
b: 0x7fff5fbff738
A destory
c: 0x7fff5fbff738
A construct
d: 0x7fff5fbff728
A destory
A destory

从结果中可以看出,b和c的地址相同。

并且在函数内的局部变量b,并没有析构。

(猜想,编译器的优化)

MYTEST2:

//
//  main.cpp
//  TestVector
//
//  Created by New_Life on 2017/4/19.
//  Copyright ? 2017年 chenhuan001. All rights reserved.
//

#include <iostream>

class A {
public:
    A() {
        std::cout << "A construct" << std::endl;
    }

    ~A() {
        std::cout << "A destory" << std::endl;
    }

    A(const A& a) {
        std::cout << "A copy" << std::endl;
    }

    A& operator = (const A& a) {
        std::cout << "A =" << std::endl;
        return *this;
    }
    int aa;
};

A& TestVector() {
    A a;
    std::cout << "a: " << &a << std::endl;
    A b(a);
    std::cout << "b: " << &b << std::endl;
    return b;
}

int main(int argc, const char * argv[]) {
    A& c = TestVector();//编译器做了优化。
//    A c(TestVector());
    std::cout << "c: " << &c << std::endl;
    A d;
    std::cout << "d: " << &d << std::endl;
    //std::cout << c << std::endl;
    return 0;
}

结果:

A construct
a: 0x7fff5fbff6b8
A copy
b: 0x7fff5fbff6a8
A destory
A destory
c: 0x7fff5fbff6a8
A construct
d: 0x7fff5fbff730
A destory

这次实验,函数返回了引用,可以发现c指向了未知内存。

时间: 2024-10-22 04:15:48

c++ 函数返回研究[转]的相关文章

一个函数返回临时对象引起的编译器优化问题

我们都知道,如果在一个函数调用另一个函数,假设是 main 函数调用 fun 函数,这个 fun 函数返回一个临时类类型变量,那么这个时候编译器就会在 main 函数申请一个空间并生成一个临时对象,通过拷贝构造函数将 fun 返回的临时变量的值拷贝到这个临时对象.我们看如下的代码: #include <iostream> #include <cstring> using namespace std; class Matrix { public: explicit Matrix(do

Linux下tcp协议socket的recv函数返回时机分析(粘包)

http://www.vckbase.com/index.php/wv/10http://blog.csdn.net/zlzlei/article/details/7689409 文章一: 当前在网络传输应用中,广泛采用的是TCP/IP通信协议及其标准的socket应用开发编程接口(API).TCP/IP传输层有两个并列的协议:TCP和UDP.其中TCP(transport control protocol,传输控制协议)是面向连接的,提供高可靠性服务.UDP(user datagram pro

4 C++基础4 类 const函数 转全局函数 返回*this 数组类。友元 函数 类 操作符重载

1,请问类中函数 const修饰的谁? [email protected]:~/c++$ cat main.cpp  #include <iostream> #include <stdlib.h> using namespace std; class A { public: //const的三种写法 //const void fun(int a,int b) //void const fun(int a,int b) //void fun(int a,int b) const vo

Python 2.X-关于函数返回的数值类型

在使用同一个函数,相同的参数的时候,参数在传递的过程中使用了不同的形式(有无小数点)决定了该函数返回的值的类型. # -*- coding:utf-8 -*- def return_types(one, two): return (one / two) int_type = return_types(3, 2) print "%f" % int_type float_type = return_types(3.0, 2.0) print "%f" % float_t

Entity Framework 6 Recipes 2nd Edition(11-2)译 -&gt; 为一个”模型定义”函数返回一个计算列

11-3. 为一个”模型定义”函数返回一个计算列 问题 想从”模型定义”函数里返回一个计算列 解决方案 假设我们有一个员工(Employee)实体,属性有: FirstName, LastName,和BirthDate, 如 Figure 11-3所示. Figure 11-3. An Employee entity with a few typical properties 我们想要创建一个”模型定义”函数,让它返回FirstName 和LastName 合并后的full name . 我们想

实战c++中的string系列--函数返回局部变量string(引用局部string,局部string的.c_str()函数)

当函数返回字符串的时候,我们可以定义返回string和string&. 1写一个返回string引用的函数 std::string & TestStringReference() { std::string loal_str = "holy shit"; return loal_str; } 这个函数当然是错误的,编译器会提示我们: 返回局部变量或临时变量的地址: loal_str 即不能返回局部变量的引用. 2写一个返回string的函数(函数返回局部变量string

[Oracle]Oracle之Chr函数返回

Chr函数 返回:返回 String,其中包含有与指定的字符代码相关的字符. Chr("0") 为0的字符 Chr("1") Chr("2") Chr("3") Chr("4") Chr("5") Chr("6") Chr("7") 响铃 Chr("8") 回格 Chr("9") tab(水平制表符) Chr

理解-加号重载要使用全局函数+返回值非引用

一.C++中的加号重载使用全局函数的一个有点是可以使用级联的方式进行加法操作. Fraction a,b,c,d,e; A=b+c+d+e; 若为成员函数 1.返回的b的this指针分别作用于后面的变量,因此是对b的修改: 2.如果返回一个新的变量,上面的级联的问题似乎可以解决. 3.问题在于如果存在隐式类型转换,且第一个参数为需要转化的类型时,可能找不到该定义的成员函数,因此使用全局的方式可以便面这个问题 二.返回值需要时一个值,而不是引用 从一个局部函数返回引用,可以考虑两种情况. 1.如果

【转载】让c++ 函数返回一个数组

在c++中是不允许数组作为函数的返回值的 int [] someFunction( ); //ILLEGAL 要想实现函数返回一个数组,那返回对应数组里面类型的指针 you must return a pointer to the array base type and have the pointer point to the array. So, the function declaration would be as follows: int* someFunction( ); //Leg