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

Posted 2023-02-22

【中文标题】在声明然后分配对象的情况下创建的临时对象

【英文标题】：Temporary object created in case of an object declared and then assigned

【发布时间】：2020-10-15 08:38:21

【问题描述】：

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

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

Fixed a;
a = Fixed( param );

我明白了：

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

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

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

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

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

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

【参考方案1】：

是否创建了临时对象？

是的。

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

声明

a = Fixed( param );

有点等价于

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

【参考方案2】：

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

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

该行指的是类似的东西：

Fixed f(param) 
  return Fixed(param);


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

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

还可以尝试优化级别。