两种初始化有什么区别:Foo f(）;Foo f = Foo(）

What is the difference between the two initialization: Foo f(); Foo f = Foo()

本文关键字：Foo 初始化 什么 区别 两种      更新时间：2023-10-16
class Foo
{
public:
Foo(){}
private:
Foo(const Foo &);
};
Foo f();
Foo f1 = Foo();

我发现当我声明Foo(const Foo &)私有时，Foo f1 = Foo();不编译。所以我认为Foo f1 = Foo();只是调用复制构造函数，但是当我将代码更改为：

class Foo
{
public:
Foo(){}
Foo(const Foo &){std::cout<<"Foo(const Foo &)";}
};
Foo f();
Foo f1 = Foo();

它不打印任何东西。那么两种初始化有什么区别：Foo f(); Foo f = Foo()？

由于复制省略，不必调用复制构造函数。但是，复制构造函数必须仍作为公共成员存在。

Foo f();声明了一个名为f的函数，不带任何参数，并按值返回一个Foo对象。

要回答实际问题，正式地，代码

Foo f1 = Foo();

使用默认构造函数创建类型Foo的临时对象，并使用复制构造函数构造f1为该临时对象的副本，然后销毁临时对象。

Foo f;

使用默认构造函数创建f。

与复制构造函数的小舞并不像听起来那么低效。在过去，只要复制构造函数是可访问的，编译器就可以跳过临时的，直接初始化f1。这被称为"复制省略"。生成的代码与Foo f1;相同。但是，如果Foo没有复制构造函数，或者在初始化时无法访问构造函数(例如，复制构造函数是私有的，并且初始化未在成员函数内完成(，则代码无效。

然后，复制省略成为强制性的：编译器不再只是允许跳过临时的;这是必需的。

现在，显然，甚至不再需要复制构造函数存在并且可以访问;编译器需要将第一种形式转换为第二种形式，因此两者是相同的。

相关文章：