在声明然后分配对象的情况下创建的临时对象

Question

我有一个用户定义的类 Fixed，有一个默认构造函数、一个参数构造函数和一个赋值运算符。

当我声明一个对象然后分配它时：

Fixed a;
a = Fixed( param );

我明白了：

1. 调用默认构造函数（第 1 行）
2. 调用参数构造函数（第 2 行）
3. 调用赋值运算符（第 2 行）
4. 调用析构函数（第 2 行）

当然，我可以（并且应该）更喜欢初始化（Fixed a(param)）而不是赋值。 然而，我试图了解第 2 行发生了什么。 是否创建了临时对象？

这是我发现的关于临时对象的内容。

在某些情况下，编译器需要创建临时 对象。可以为以下创建这些临时对象 原因： ...

存储返回用户定义的函数的返回值 类型。 仅当您的程序没有创建这些临时对象时 将返回值复制到对象。

这里程序确实复制了对象的返回值，那怎么会创建一个临时对象呢？

Answer 1

是否创建了临时对象？

是的。

表达式Fixed( param ) 将创建一个临时对象。然后这个临时对象将被传递给a 对象的赋值运算符。

声明

a = Fixed( param );

有点等价于

{
    Fixed temporary_object( param );
    a.operator=( temporary_object );
}

Answer 2

存储返回用户定义类型的函数的返回值。仅当您的程序不将返回值复制到对象时，才会创建这些临时对象。

你提到的那一行是无关紧要的。 Fixed(param) 不是函数调用。

该行指的是类似的东西：

Fixed f(param) {
  return Fixed(param);
}

...
Fixed a;
a = f(param);

在这种情况下，该行说明您不应创建一个临时文件来保存f 的结果，然后将其复制到a。这将是您在上面看到的内容的补充。

还可以尝试优化级别。