运算符重载 成员函数里的 局部对象在函数退出时为何未调用对象析构 函数

mordorwww

Useless Useless:perator+(const Useless & f)const
{
    cout << "Entering operator+()\n";
    Useless temp = Useless(n + f.n);
    Useless hhh(10, 'd');
       
        temp.aa = 'b';
    for (int i = 0; i < n; i++)
        temp.pc = pc;
    for (int i = n; i < temp.n; i++)
        temp.pc = f.pc[i - n];
    cout << "operator+ temp object:" << " num "<< n << "\n";
    cout << "operator+ Leaving operator+()"<< " num "<< n << endl;
        hhh.aa = 'f';
        cout << "operator+ hhh aa = " << hhh.aa << endl;
    return temp;
}




// useless.cpp -- an otherwise useless class with move semantics
#include <iostream>
using namespace std;

// interface
class Useless
{
//private:
public:
    char aa = 'a';
    int n;          // number of elements
    char * pc;      // pointer to data
    static int ct;  // number of objects
    void ShowObject() const;
public:
    Useless();
    explicit Useless(int k);
    Useless(int k, char ch);
    Useless(const Useless & f); // regular copy constructor
    Useless(Useless && f);      // move constructor
    ~Useless();
    Useless operator+(const Useless & f)const;
// need operator=() in copy and move versions
    void ShowData() const;
};

// implementation
int Useless::ct = 0;

Useless::Useless()
{
    ++ct;
    n = 0;
    pc = nullptr;
    cout << "default constructor called; number of objects: " << ct << endl;
    ShowObject();
}

Useless::Useless(int k) : n(k)
{
    ++ct;
    cout << "int constructor called; number of objects: " << ct << endl;
    pc = new char[n];
    ShowObject();
}

Useless::Useless(int k, char ch) : n(k)
{
    ++ct;
    cout << "int, char constructor called; number of objects: " << ct << endl;
    pc = new char[n];
    for (int i = 0; i < n; i++)
        pc = ch;
    ShowObject();
}

Useless::Useless(const Useless & f): n(f.n)
{
    ++ct;
    cout << "copy const called; number of objects: " << ct << endl;
    pc = new char[n];
    for (int i = 0; i < n; i++)
        pc = f.pc;
    ShowObject();
}

Useless::Useless(Useless && f): n(f.n)
{
    ++ct;
    cout << "move constructor called; number of objects: " << ct << endl;
    pc = f.pc;       // steal address
    f.pc = nullptr;  // give old object nothing in return
    f.n = 0;
    ShowObject();
}

Useless::~Useless()
{
    //cout << "destructor called; objects left: " << --ct << " num "<< n << endl;
    cout << "****************deleted object:aa = " << aa << endl;
    //ShowObject();
        //ShowData();
    delete [] pc;
}

Useless Useless:perator+(const Useless & f)const
{
    cout << "Entering operator+()\n";
    Useless temp = Useless(n + f.n);
    Useless hhh(10, 'd');
       
        temp.aa = 'b';
    for (int i = 0; i < n; i++)
        temp.pc = pc;
    for (int i = n; i < temp.n; i++)
        temp.pc = f.pc[i - n];
    cout << "operator+ temp object:" << " num "<< n << "\n";
    cout << "operator+ Leaving operator+()"<< " num "<< n << endl;
        hhh.aa = 'f';
        cout << "operator+ hhh aa = " << hhh.aa << endl;
    return temp;
}

void Useless::ShowObject() const
{
    cout << "Number of elements: " << n;
    cout << " Data address: " << (void *) pc << endl;
}

void Useless::ShowData() const
{


        Useless hhh(10, 'a');
        hhh.aa = 'c';
        cout << "ShowData aa = " << aa << endl;

        /*
    if (n == 0)
        cout << "(object empty)";
    else
        for (int i = 0; i < n; i++)
            cout << pc;
    cout << endl;
    */
}

// application
int ttt()
{
    {
        Useless one(10, 'x');
        Useless two = one;          // calls copy constructor
        Useless three(20, 'o');
        Useless four(one + three);  // calls operator+(), move constructor
        cout << "moved ok\n";
        cout << "object one: " << one.n << endl;
        one.ShowData();
        cout << "object two: " << two.n << endl;
        two.ShowData();
        cout << "object three: " << three.n << endl;
        three.ShowData();
        cout << "object four: " << four.n << endl;
        four.ShowData();
    }
    // cin.get();
}

int main()
{
    ttt();
        cout << "main exiting: " << endl;
}

mordorwww

妈的 ，调 了
问题是return出去的 那个 局部对象 未调用析构函数 。

mordorwww

不做 右值引用时才析构，否则不析构 。也就是：
Useless four(one + three);  //不析构 // calls operator+(), move constructor
one + three; //析构



问题是return的 对象保存在哪里 ？

mordorwww

和右值引用  move构造都没关系

只要是 要 return的 局部对象变量 都不会析构，貌似都 只有 一分 啊，根本不需要右值引用和move构造就 可以避免拷贝？
c++就 不存在 把返回的 局部对象拷贝 到临时区，再拷贝给 caller?

bruceteen

调用了呀，“****************deleted object:aa = f” 就是 hhh 析构产生的。
而 temp，因为 RVO 的要求，它其实就是 four。不行你输出它俩的地址看看，是一样的。