构造对象的C ++编译器背景[关闭]

Question

例如我有一行代码：

已编辑：

MyClass myObject = MyClass(5);

这里会调用MyClass的构造函数MyClass()。它接受参数并执行假定的操作.. 但我这个例子 myObject 不是参考 - 它是一个实际的对象。那么编译器如何做到这一点： 通过 MyClass 构造函数构造一个对象，它不知道实际对象的位置 （所说的位置是指堆栈上 RAM 中的地址）。 同样的问题也适用于其他示例（myObject = new MyClass(5);、myobject(5) 等）

编辑
1) 为什么MyClass myObject = MyClass(i); 这实际上相当于：MyClass myObject(i);
2）在这种情况下“=”是运算符=（重载）吗？
3) 您能否为编译器生成的操作编写等效代码？
4) 复制构造函数在这里扮演什么角色 (MyClass myObject = MyClass(i);)？

Answer 1

MyClass myObject = MyClass( int i );

这是一个语法错误，是声明和使用的非法混合。您可能的意思是：

int i = 42;
MyClass myObject = MyClass( i );

这实际上等同于（*）：

MyClass myObject( i );

这声明了一个具有本地范围（“在堆栈上”）的MyClass 对象，然后使用MyClass 构造函数初始化内存。

myObject = new MyClass(int i);

同样，这是声明和使用语法的无效混合。您可能的意思是：

int i = 42;
MyClass * myObject = new MyClass( i );

这会分配动态存储空间（“在堆上”）并在那里构造一个MyClass 对象。

然后将指向该内存/对象的指针分配给myObject，其类型为pointer到MyClass。

---

在这两种情况下，构造函数都会在{某个内存位置}初始化一个MyClass 对象。哪个位置取决于调用构造函数的上下文。编译器知道那个上下文，并且知道（如何获得）运行时的内存地址。

---

---

回答添加的问题（实际上应该是单独的问题）：

1) 为什么MyClass myObject = MyClass(i); 这个其实相当于：MyClass myObject(i);

这看起来像一个构造函数调用，创建一个临时的 MyClass 对象，然后将其分配 (operator=()) 给 myObject。

但事实并非如此，因为那太愚蠢了。

由于myObject -- 分配给 -- 的对象是由该语句创建的，并且在该语句之后临时将不存在，C++ 标准允许“临时”MyClass 对象将由构造函数（*）创建代替myObject，避免临时的构造/分配/销毁的重复工作。

（随着“移动”语义和&& 右值引用的出现，C++11 扩展到任何种临时对象的机制。）

考虑：

#include <iostream>

class MyClass
{
    public:
        MyClass( int i ) : member( i ) { std::cout << "const\n"; }
        ~MyClass() { std::cout << "dest\n"; }
        MyClass & operator=( MyClass const & other ) { std::cout << "assign\n"; }

    private:
        int member;
};

int main()
{
    MyClass x = MyClass(42);
}

这将打印：

const
dest

没有任务。

2) 在这种情况下，“=”是 operator=（重载）吗？

没有。正如我所说，该特定语句等同于MyClass myObject( i )——没有发生分配，只是就地构造。

3) 您能否为编译器生成的操作编写等效代码？

我认为通过反汇编你不会学到很多东西。无论如何，你的编译器比我做得更好。 （或者你是。）

4) 复制构造函数在这里扮演什么角色 (MyClass myObject = MyClass(i);)？

什么角色？我不明白你的意思。

---

---

(*)：正如 rici 正确指出的那样，仅当存在可见的复制/移动构造函数时，copy elision 才能实现此等价物。