C++从汇编的视角审视对象的创建问题

Apple GetApple() {
	Apple apple{};
	return apple;
}

class Apple {
public:
	Apple() {
	}
	~Apple() {
	}
	Apple(const Apple& apple) {
		this->a = apple.a;
		this->b = apple.b;
	}
	Apple& operator=(const Apple& apple) {
		this->a = apple.a;
		this->b = apple.b;
		return *this;
	}
  void Print() {
    cout << a << " " << b << endl;
  }

	int a = 1;
	int b = 2;
};

Apple GetApple() {
	Apple apple{};
	return apple;
}

int main() {
  Apple a;
  int x = a.a;
  x = 10;
  return 0;
}

# main 函数构造对象的地方：
	pushq	%rbp              # rbp 压栈
	movq	%rsp, %rbp        # rsp 替换 rbp
	pushq	%rbx              # rbx 压栈，保存现场
	subq	$24, %rsp         # rsp 自减 24，栈向下增长，相当于扩展 24 字节
	leaq	-24(%rbp), %rax   # 将地址赋值给 rax，rax 是 Apple 对象开始的地方
	movq	%rax, %rdi        # rdi 传参
	call	_ZN5AppleC1Ev
	movl	-28(%rbp), %eax   # 返回之后，会执行 int x = a.a;
	movl	%eax, -20(%rbp)   # 取第一个字节赋值给 x
	movl	$10, -20(%rbp)    # 直接使用 10 赋值给 x；写着行的目的只是为了确定 x 的位置

# 默认构造器:
	pushq	%rbp              # rbp 压栈
	movq	%rsp, %rbp        # rsp 替换 rbp
	movq	%rdi, -8(%rbp)    # rdi 是前面 rax 的值
	movq	-8(%rbp), %rax    # 设置 rax 为 rbp 减 8
	movl	$1, (%rax)        # 间接寻址，设置 4 字节为 1
	movq	-8(%rbp), %rax    # rax 其实还是一样的
	movl	$2, 4(%rax)       # 变址寻址，其实就是间接寻址加一个偏移量，设置 4 字节为 2
	nop
	popq	%rbp
	ret                       # 于是最终 rdi 开始，向下的 8 字节是 Apple 对象

main:
.LFB3535:
	pushq	%rbp
	movq	%rsp, %rbp
	pushq	%rbx
	subq	$40, %rsp
	leaq	-36(%rbp), %rax
	movq	%rax, %rdi
	call	_ZN5AppleC1Ev
	movl	-36(%rbp), %eax
	movl	%eax, -20(%rbp)
	movl	$10, -20(%rbp)
	leaq	-28(%rbp), %rax    # 这里之前的汇编是一样的，调用 GetApple
	movq	%rax, %rdi         # rdi，传参
	call	_Z8GetApplev        
	leaq	-28(%rbp), %rdx    # rax 已经存放对象，-28 的位置有对象
	leaq	-36(%rbp), %rax
	movq	%rdx, %rsi
	movq	%rax, %rdi
	call	_ZN5AppleaSERKS_
	leaq	-28(%rbp), %rax
	movq	%rax, %rdi
	call	_ZN5AppleD1Ev
	movl	$0, %ebx
	leaq	-36(%rbp), %rax
	movq	%rax, %rdi
	call	_ZN5AppleD1Ev
	movl	%ebx, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%rbp

# GetApple 函数的汇编代码
	pushq	%rbp
	movq	%rsp, %rbp
	subq	$32, %rsp
	movq	%rdi, -24(%rbp)    # 分配空间，然后将传过来的 rdi 放进去
	leaq	-8(%rbp), %rax     
	movq	%rax, %rdi         # 前面分析过了，调用回来时 rax 开始的 8 字节就是对象
	call	_ZN5AppleC1Ev
	leaq	-8(%rbp), %rdx     # 取 rax 地址到 rdx
	movq	-24(%rbp), %rax    # 取 rdi 地址到 rax
	movq	%rdx, %rsi         # rsi 已经有对象了
	movq	%rax, %rdi         # rsi 和 rdi 都用来传参          
	call	_ZN5AppleC1ERKS_   # 调用拷贝构造函数
	leaq	-8(%rbp), %rax     # rax 上有对象了
	movq	%rax, %rdi         # rdi 传参，准备调用析构函数
	call	_ZN5AppleD1Ev
	nop
	movq	-24(%rbp), %rax    # 前面调用拷贝构造前的地址，这个地址有对象了
	leave
	ret

# 拷贝构造函数
	pushq	%rbp
	movq	%rsp, %rbp
	movq	%rdi, -8(%rbp)    # rdi 无对象
	movq	%rsi, -16(%rbp)   # rsi 有对象
	movq	-16(%rbp), %rax   # 把对象放到 rax
	movl	(%rax), %edx      # 把第一属性（4 字节）移动到 edx
	movq	-8(%rbp), %rax
	movl	%edx, (%rax)      # 把第一属性移动到 rdi
	movq	-16(%rbp), %rax
	movl	4(%rax), %edx     # 把第二属性移动到 edx
	movq	-8(%rbp), %rax
	movl	%edx, 4(%rax)     # 把第二属性移动到 rdi 上
	movq	-8(%rbp), %rax    # rdi 上有了对象，rax 也设置一个
	popq	%rbp
	ret