条款21： 必须返回对象时，别妄想返回reference

最新推荐文章于 2021-10-02 20:16:12 发布
最新推荐文章于 2021-10-02 20:16:12 发布
阅读量220 收藏
点赞数
文章标签： c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/poinsettia/article/details/115690595
版权
本文探讨了C++中关于对象作为函数返回值时的注意事项，包括不应返回局部栈对象的引用，避免返回堆分配对象的引用以防止内存泄漏，以及不建议返回局部静态对象的引用。现代编译器会对返回局部变量进行优化，避免额外的构造和析构。同时，返回静态变量或对象一部分时，会触发新的构造。最后，通过实例展示了引用接收返回值的不同行为及其潜在风险。
摘要由CSDN通过智能技术生成

请记住

绝不要返回pointer或者reference指向一个local stack 对象（因为已经离开生命周期），
或返回reference指向一个heap-allocated对象（因为要承担释放内存的责任），
或返回pointer或者reference指向local static对象。

请记住

当你必须在返回一个reference或者object之间抉择时，你的工作就是挑出行为正确的那个。
让编译器厂商为尽可能降低成本鞠躬尽瘁吧，你可以享受你的生活。

实际上，现代编译器也做了优化。

当局部变量接收局部变量的时候，函数内的局部变量不会析构，而是直接把整个对象传出去，也不会重新执行构造。

#include <string>
#include <iostream>
using namespace std;

class AuthInfo {
    public:
    AuthInfo(int a, bool b): m_a(a), m_b(b) {
        cout << "AuthInfo is called" << endl;
    }

    AuthInfo(const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "copy construct is called" << endl;
    }
    AuthInfo& operator = (const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "operator construct is called" << endl;
        return *this;
    }
    ~AuthInfo() {
        cout << "Deonstruct is called" << endl;
    }

    private:
        int m_a;
        bool m_b;
};

AuthInfo getAuth() 
{
    AuthInfo a(1,0);
    cout << "&a = " << &a << endl;
    return a;
}

int getInt()
{
    int b = 100;
    cout << "&b = " << &b << endl;
    return b;
}

int main()
{   
    AuthInfo a1 = getAuth();  // 编译器实际是有优化的, a1没有再一次调用构造函数，直接使用了已经构造过的局部变量a，局部变量a也没有调用析构函数
    cout << "&a1 = " << &a1 << endl; // a1和局部变量a的地址完全一样.
    cout << endl;

    int b1 = getInt();  // 对应内置类型int，编译器就没有做过类似上面的优化了
    cout << "&b1 = " << &b1 << endl; // b1和局部变量b的地址是不同的
    cout << endl;
    return 0;
}

运行结果

用非引用接收非引用的局部变量，既没有发生析构，也没有发生重新构造。
在这里插入图片描述

但如果返回的是静态变量，那么会重新构造

#include <string>
#include <iostream>
using namespace std;

class AuthInfo {
    public:
    AuthInfo(int a, bool b): m_a(a), m_b(b) {
        cout << "AuthInfo is called" << endl;
    }

    AuthInfo(const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "copy construct is called" << endl;
    }
    AuthInfo& operator = (const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "operator construct is called" << endl;
        return *this;
    }
    ~AuthInfo() {
        cout << "Deonstruct is called" << endl;
    }

    private:
        int m_a;
        bool m_b;
};

AuthInfo getStaticAuth(bool staticFlag)
{
    if (staticFlag) {
        static AuthInfo staticA(46,0);
        cout << "&staticA = " << &staticA << endl; // 返回静态变量
        return staticA;
    } else {
        AuthInfo a(1,0);
        cout << "&a = " << &a << endl;
        return a;
    }
}

int main()
{   

    AuthInfo a2 = getStaticAuth(true);  // 返回的是static变量，会调用构造函数，重新生成
    cout << "&a2 = " << &a2 << endl; 
    cout << endl;

    AuthInfo a3 = getStaticAuth(false);  // 返回的是局部变量，会直接被a3接收，不会重新析构和构造
    cout << "&a3 = " << &a3 << endl; 
    cout << endl;

    return 0;
}

如果返回的是一个对象中的一部分，那么也会重新构造。就算是引用接收也没有用。

struct AuthContainer
{
    AuthInfo auth;
    int int_temp;
    AuthContainer(int a, bool b, int c) : auth(a,b), int_temp(c)
    {

    };
};


AuthInfo getAuthFromAuth()
{
    AuthInfo a(789,0); // 构造
    cout << "address of a is : " << &a << endl;
    return a;
}

AuthInfo getAuthFromAStruct()
{
    AuthContainer b(0,1,2);
    cout << "address of b.auth is : " << &b.auth << endl;
    return b.auth;
}

int main() {
    AuthInfo b1 = getAuthFromAStruct(); // 非引用接收会重新构造
    cout << "address of b1 is : " << &b1 << endl;

    const AuthInfo& b2 = getAuthFromAStruct(); // 引用接收也会重新构造
    cout << "address of b2 is : " << &b2 << endl;
    return 0;
}

运行结果

在这里插入图片描述

局部变量不能返回引用

  1. 首先会有编译告警
  2. 其次局部变量会析构调。
#include <string>
#include <iostream>
using namespace std;

class AuthInfo {
    public:
    AuthInfo(int a, bool b): m_a(a), m_b(b) {
        cout << "AuthInfo is called" << endl;
    }

    AuthInfo(const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "copy construct is called" << endl;
    }
    AuthInfo& operator = (const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "operator construct is called" << endl;
        return *this;
    }
    ~AuthInfo() {
        cout << "Deonstruct is called" << endl;
    }

    private:
        int m_a;
        bool m_b;
};

AuthInfo& getAuth() // 局部变量返回引用
{
    AuthInfo a(1,0);
    cout << "&a = " << &a << endl;
    return a;
}

int main()
{   
    AuthInfo& a1 = getAuth();  
    cout << "&a1 = " << &a1 << endl; 
    cout << endl;

    return 0;
}

运行结果

在这里插入图片描述

上面的例子是使用引用接收返回，如果不用引用接收返回值，那么就是用一个已经析构的对象，去初始化对象。

#include <string>
#include <iostream>
using namespace std;

class AuthInfo {
    public:
    AuthInfo(int a, bool b): m_a(a), m_b(b) {
        cout << "AuthInfo is called" << endl;
    }

    AuthInfo(const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "copy construct is called" << endl;
    }
    AuthInfo& operator = (const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "operator construct is called" << endl;
        return *this;
    }
    ~AuthInfo() {
        cout << "Deonstruct is called" << endl;
    }

    private:
        int m_a;
        bool m_b;
};

AuthInfo& getAuth() // 局部变量返回引用
{
    AuthInfo a(1,0);
    cout << "&a = " << &a << endl;
    return a;
}

int main()
{   
    AuthInfo a1 = getAuth();   // 用非引用接收引用
    cout << "&a1 = " << &a1 << endl; 
    cout << endl;

    return 0;
}

运行结果

用已经析构的对象初始化函数接收对象
在这里插入图片描述

有一种情况是用引用变量去接收return by value，从运行结果看，和使用value去接收value的情况一直，既不会发生析构，也不会发生重新构造。 不知这种用法是否是推荐的。

#include <string>
#include <iostream>
using namespace std;

class AuthInfo {
    public:
    AuthInfo(int a, bool b): m_a(a), m_b(b) {
        cout << "AuthInfo is called" << endl;
    }

    AuthInfo(const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "copy construct is called" << endl;
    }
    AuthInfo& operator = (const AuthInfo& a) {
        m_a = a.m_a;
        m_b = a.m_b;
        cout << "operator construct is called" << endl;
        return *this;
    }
    ~AuthInfo() {
        cout << "Deonstruct is called" << endl;
    }

    private:
        int m_a;
        bool m_b;
};

AuthInfo getAuth() // 局部变量返回非引用
{
    AuthInfo a(1,0);
    cout << "&a = " << &a << endl;
    return a;
}

int main()
{   
    const AuthInfo& a1 = getAuth();   // 用引用接收非引用
    cout << "&a1 = " << &a1 << endl; 
    cout << endl;

    return 0;
}

在这里插入图片描述

总结

  1. local对象不能返回引用。
  2. local对象返回值的时候，使用值接收，编译器会有优化，既不会发生局部变量的析构，也不会发生接收值的构造。
  3. static的local对象返回值的时候，使用值接收，会发生接收值的重新构造。
  4. 特别的，local对象返回值的时候，可以用const的引用类型接收，这个过程中既不会发生局部变量的析构，也不会发生接收值的构造，不知是为何？？ 不知道是否是一种推荐的做法。
poinsettia
关注
《Effective C++》条款02、条款03、条款20、条款21阅读笔记：关于static、const、constexpr的思考
小勇博客
01-15 162
—— 杭州 2024-01-15 原文： 旧式编译器也许不支持上述语法，它们不允许static成员在其声明式上获得初值。此外所谓的"in-class初值设定"也只允许对整数常量进行。如果你的编译器不支持上述语法，你可以将初值放在定义式。唯一例外是当你在class编译期间需要一个class常量值，例如在上述的GamePlayer::scores的数组声明式中（是的，编译器坚持必须在编译期间知道数组的大小）。这时候万一你的编译器（错误地）不允许"static整数型class常量"完成"in class初值设定"
《Effective C++》笔记
weixin_42065178的博客
08-19 1919
《Effective C++》笔记
条款21:必须返回对象时,别妄想返回其reference
scofieldzhu的专栏
06-18 825
条款21:必须返回对象时,别妄想返回其reference    (Dont try to return a reference when you must return an object.)内容:    前面一款我们提到了pass-by-value方式参数传递的效率带来的一系列可能引发的问题,你可能对pass-by-reference-const的参数传递方式特别的青睐,而现在我们需要
条款21（一）：必须返回对象时，别妄想返回其reference
不积跬步无以至千里
08-22 477
不要盲目使用reference去替代value，在stack与heap内创建对象
条款21（二）：必须返回对象时，别妄想返回其reference
不积跬步无以至千里
08-22 332
直接返回新对象
条款21：必须返回对象时，别妄想返回其reference
刘清涛的专栏
07-13 114
绝对不要返回pointer或者reference指向一个local stack对象。如：const Rational&amp; operator*(const Rational&amp; lhs, const Rational&amp; rhs){    Rational result(lhs.n*rhs.n,lhs.d*rhs.d);    return result;}这个函数返回一个refe...
21 必须返回对象时，别妄想返回其 reference
GaoJuno23的博客
02-03 167
条款-21 必须返回对象时，别妄想返回其 reference Remember: 1-绝不要返回 pointer 或 reference 指向一个 local stack 对象，或返回 reference 指向一个 heap-allocated 对象，或返回 pointer 或 reference 指向一个 local static 对象而有可能同时需要多个这样的对象。 ​ 条款-4 已经为 “在单线程环境中合理返回 reference 指向一个 local static ” 对象提供了一份设计实例。 .
条款21：static对象引起的多线程安全性
onlyou2030的博客
10-03 768
看到条款21：必须返回对象时，别妄想返回其reference时，看到一句话“就像所有用上static对象的设计一样，这一个也立刻造成我们对多线程安全性的疑虑。”虽然多线程有一点了解，但多线程安全性居然还没听过（囧）。 #include #include long global1 = 0; volatile long global2 = 0; class MyClass { public:
Effective C++（第三版）
01-13
条款21：必须返回对象时，别妄想返回其reference don't try to return a reference when you must return an object. 条款22：将成员变量声明为private declare data members private. 条款23：宁以non-member、non-...
Effective C++ 中文版
10-04
条款21：必须返回对象时，别妄想返回其reference 条款22: 将成员变量声明为private 条款23: 宁以non-member、non-friend替换member函数 条款24：若有所参数皆需类型转换，请为此采用non-member函数 条款25：考虑...
必须返回对象时，别妄想返回其reference
IT_iverson的博客
12-02 581
此条款核心的宗旨就是在需要返回一个对象的时候不要试图返回他的引用。尽管你可能会在成本之间纠结，但是最终的正确才是你要的结果。 下面用operator*来举例子说名这个问题。因为大家都直到oerator返回的是对象绝不是引用 1.有如下代码 class Rational { private: int a, b; public: friend const Rational operato
条款 21 ：必须返回对象时，别妄想返回其reference
weixin_45730130的博客
10-02 182
MFC基本绘图函数 在Windows平台上，应用程序的图形设备接口被抽象为设备上下文CDC类。在微软基类库MFC中，CDC类是定义设备上下文的基类，封装了绘图所需的成员函数。 CDC类结构与GDI对象 CDC类 CDC类派生了CClientDC类，CMetaFileDC类，CPaintDC类和CWindowDC类。 CClientDC类：显示器客户区设备上下文类。只能在窗口的客户区绘图，（0，0）是客户去左上角。 CMetaFileDC类：Windows图元文件设备上下文类。CMetaFileDC封装了在
Effective C++之条款21：必须返回对象时，别妄想返回其reference
HakunaMatata的博客
04-03 203
声明： 文中内容收集整理自《Effective C++（中文版）第三版》，版权归原书所有。 本内容在作者现有能力的基础上有所删减，另加入部分作者自己的理解，有纰漏之处敬请指正。 条款21：必须返回对象时，别妄想返回其reference Don't try to return a reference when you must return an object. 直接进入正题。 考虑一个有...
Effective C++条款21：必须返回对象时，别妄想返回其reference
Dylan的博客
04-19 231
当我们在返回对象的时候，如果return by value就会造成析构函数和构造函数的构建成本。 返回reference时，会有以下几个需要注意的问题。 1、在这里既是一开始就返回引用，也会创建出一个对象，因为一开始就期待它存在一个Rational对象在调用operator*前就存在，所以此时调用reference还是会有构造和析构的成本 Rational a(1,2); Rational...
必须返回对象时，别妄想返回其reference——条款21
yj_android_develop的博客
03-30 281
一旦程序员领悟了pass-by-value(传值)的效率牵连层面（见条款20），往往变成十字军战士，一心一意根除pass-by-value带来的种种邪恶。在坚定追求pass-by-reference的纯度中，他们一定会犯下一个致命错误：开始传递一些references指向其实并不存在的对象。这可不是件好事。 考虑一个用来表现有理数（rational numbers...
条款21：必须返回对象时，别妄想返回其reference——120
缇珞的博客
11-27 168
文章目录返回reference可能指向一个销毁的local stack对象 ——120返回reference指向一个Heap对象可能程序爱你内存泄漏——122返回reference指向static对象仍不可取——122一个“必须返回新对象”的函数的正确写法总结——124 返回reference可能指向一个销毁的local stack对象 ——120 考虑下列程序： class Rational{ ...
妄想山海跑图python脚本
最新发布
06-08
很好，我可以帮你编写一个简单的Python脚本来实现山海经跑图。 首先你需要导入两个Python库：PIL和pytesseract。PIL库用于图像处理，pytesseract库用于OCR识别文字。 接下来，你需要从图片中提取出文字。...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值