主页 / user-19861569

Sprotte's questions

Martin Hope
Sprotte
Asked: 2024-11-25 23:47:51 +0800 CST
  • 8

我正在阅读 Stroustrup 编写的《编程：C++ 原理与实践》第 4 版，我对一些旨在说明复制构造函数/复制赋值/移动构造函数/移动赋值/析构函数语言特性的代码的输出感到困惑。以下代码大部分摘自本书，并实现了一个简单的类型，X以便上述运算符（以及构造函数）在调用时输出显式信息。

#include <iostream>
#include <string>
#include <vector>
using std::cout;
using std::string;
using std::vector;

struct X {
    int val;

    void out(const string& s, int nv) {
        cout << this << "->" << s << ":" << val << "(" << nv << ")\n"; 
    }

    X() { out("X()",0); val=0; }

    explicit X(int x) { out("X(int)",x); val=x; }

    X(const X& x) { out("X(X&)", x.val); val=x.val; }

    X& operator=(const X& x) { 
        out("X copy assignment", 0); 
        val=x.val; 
        return *this; }

    X(X&& x) {
        out("X(X&&)",x.val);
        val = x.val;
        x.val = 0; 
    }

    X& operator=(X&& x) {
        out("X move assignment", x.val);
        val = x.val;
        x.val = 0;
        return *this;
    }

    ~X() { out("~X()", 0); }
};

X copy(X a) {
    cout << "copy()\n";
    return a;
}

int main() {
    X loc {4};
    X loc2 {12};
    loc2 = copy(loc);
    cout << "Done\n";
}

我运行该程序时看到的输出如下：

0x16d1370bc->X(int):1(4)
0x16d1370b8->X(int):-1834548312(12)
0x16d1370b0->X(X&):1829990608(4)
copy()
0x16d1370b4->X(X&&):1(4)
0x16d1370b8->X move assignment:12(4)
0x16d1370b4->~X():0(0)
0x16d1370b0->~X():0(0)
Done
0x16d1370b8->~X():4(0)
0x16d1370bc->~X():4(0)

我理解此输出的前四行——它们来自两个局部变量loc和的构造函数loc2、来自的按值调用的复制构造函数copy以及来自函数体的打印copy。我对下一行感到困惑——即对移动构造函数的调用。我原本以为只是看到对移动赋值运算符的调用。为什么这里调用移动构造函数（我不认为有任何对象正在构造？）？它在什么情况下被调用？特别是，我没有看到具有由移动构造函数打印的内存地址的对象构造，所以我很困惑该对象来自哪里。

感谢您的帮助，很抱歉我是 C++ 新手。如果相关的话，我正在用编译此程序g++ -Wall -std=c++20。输出一直保留不同的编译优化级别。

c++