在 C++ 中初始化对象的不同方法

Question

想象一下这个类：

class Entity {
public:
    int x, y;
    
    Entity() : x(0), y(0) { }
    Entity(int x, int y) : x(x), y(y) { }
}

这里有多种用我认为我知道的初始化类的方法：

Entity ent1;                //Uses the default constructor, so x=0 and y=0
Entity ent2();              //Uses the default constructor, so x=0 and y=0 (Not sure)
Entity ent3(1, 2);          //Made constructor, so x=1 and y=2
Entity ent4 = Entity();     //Default constructor, so x=0 and y=0
Entity ent5 = Entity(2, 3); //Made constructor, so x=2 and y=3

我知道可以在堆内存上创建一个对象，但这不是我目前正在寻找的。​​p>

我的问题是，这些初始化对象的方式有什么区别？

我不确定何时应该使用哪一个。

Answer 1

Entity ent1;

上面的语句使用Entity类的默认构造函数。

---

Entity ent2();

如果可能的话，上面的声明将被编译器视为函数原型。它被称为 most vexing parse (MVP) 的案例，它的存在导致出现误导性的“聪明的愚蠢规则”：“永远不要使用括号”。

---

在这样的语句中，为ent3 调用用户定义的构造函数：

Entity ent3(1, 2);

MVP 可以罢工的另一种情况是这样的：

Entity ent3_1(int(a), int(b));  // It's not what it looks like.

ent3_1 以上不是变量。该语句声明了一个带有两个 int 参数的函数。 int(a) 与 int a 相同是 C 语言和声明语法的遗留问题。

---

Entity ent4 = Entity();

ent4 是 ent2 的 正确 版本，直到 C++11。默认构造函数作为值初始化的一部分被调用。它的形式允许避免使ent2 和ent3_1 不正确的歧义求解原则。这里的等号不是赋值，因为这里不会发生operator= 调用。它是声明语法的一部分，用于标记初始化表达式。

---

Entity ent5 = Entity(2, 3);

ent5 是 ent3 case 的一个版本。作为值初始化的一部分调用的用户定义的构造函数。

---

你的问题被标记为C++11，C++11允许统一初始化语法：

Entity ent12{};     // This is a legal alternative of ent2 case
Entity ent13{1, 2}; // A call to constructor or member initialization
Entity ent13{ int(a), int(b) }; // Not a function anymore
Entity ent14 = {};              // Not an assignment
Entity ent15 = Entity{2, 3};    // Not an assignment either!

请注意，统一初始化语法有一个警告。例如。这一行

std::vector<int> v(10); 

声明一个包含 10 个元素的向量。但是这个

std::vector<int> v{10};

声明一个使用 int 类型的单个元素初始化的向量，其值为 10。这是因为 std::vector 有一个定义了以下签名的构造函数：

vector( std::initializer_list<T> init, const Allocator& alloc = Allocator() );

如果您不能在不触发 MVP 的情况下使用 () 或在不调用不需要的构造函数的情况下使用 {}，则值初始化赋值语法可以解决此问题。

附录：必看CppCon 2018: Nicolai Josuttis “The Nightmare of Initialization in C++”