C++构造函数问题

Question

在C++编程绝对初学者，第二版书中，有以下陈述：

HeapPoint::HeapPoint(int x, int y): thePoint(new Point(x,y)) { }

这是否等于：

HeapPoint::HeapPoint(int x, int y) { thePoint = new Point(x,y); }

并且，由于我们在构造函数中执行此操作，为分配的值是多少>x 和 y？我们应该在 new Point(x,y) 中写入由 x 和 y 代替的值吗？或者说，这样是正确的吗？

更新：我想我得到了初始化x和y的想法，因为在书中它在函数中具有以下内容：

HeapPoint myHeapPoint(2,4);

Answer 1

一般来说，您应该更喜欢第一个构造，即使用初始化列表。

如果

1. 您希望在它周围放置一个 try..catch ，或者
2. 您有几个这样的构造并将它们存储为常规指针，那么第二种构造是更可取的，在这种情况下，您需要注意您的新闻之一可能会失败，并且您将需要做一些清理工作。您可以使用某种 auto_ptr / unique_ptr 来处理这个问题，直到您知道所有分配都已成功，然后释放它们。这是因为您可能在析构函数中删除它们，但如果构造函数抛出异常，则析构函数将不会被调用。

Answer 2

假设 thePoint 是一个原始指针，无论其意图和目的如何，它都是相同的。第一个版本初始化 thePoint，而第二个版本则对其进行赋值，但效果几乎总是相同的，甚至生成完全相同的机器代码。

他们什么时候不一样了？

1. 如果 thePoint 是某种智能指针，第一种形式将通过将新的 Point 传递给其构造函数来初始化它，而第二种形式可能会将其零初始化，然后将新的 Point 传递给其赋值操作员。
2. 当thePoint是多个成员变量之一时，第一种形式将按照它在类定义中出现的顺序对其进行初始化，而第二种形式将在构造函数的主体中进行赋值。因此，两种形式之间“水合”的顺序可能有所不同，如果某些成员变量依赖于其他成员变量，这可能很重要。

如果您是初学者，其中大部分内容可能对您来说毫无意义。但不用担心。这些差异非常微妙，几乎永远不会产生影响。 （我确信还有其他例外，但现在还没有想到。）

这最终是风格和一致性的问题，为此我更喜欢初始化形式而不是赋值形式。

Answer 3

这两种形式并不完全相同，因为初始化列表给出了一个直接放入变量中的值，而变量则在适当的情况下默认初始化（例如 std::strings 默认为空，但 int、double等（成员变量具有有效的随机值），然后在遇到赋值操作时被覆盖。这种覆盖可能效率较低，但对于某些在创建后不允许更改的常量和引用成员变量来说也可能是非法的。一般来说，只要有可能就使用初始化列表，这样就不会出错。只有当您发现由于需要先执行其他一些步骤而无法初始化某些内容时，才应该在构造函数体内放置显式赋值语句。请注意，初始化按照成员变量在类中声明的顺序进行，无论您在构造函数本身中列出它们的顺序如何：好的编译器（例如 GCC）可以对此发出警告。

Answer 4

第一个与第二个不一样。

在这种特定情况下，它们可能会产生相同的结果。 但是，Point可以轻松地为new Point实现赋值运算符并做一些“不同”的事情（我没有这本书，所以我不知道每一个细节）。同样，赋值运算符应该做你所期望的......但是，thePoint可能是一个容器（例如，智能指针），它可以（由于某些奇怪的原因） ) 使用初始化(Point) 与默认初始化后赋值 时的行为有所不同。

在这种情况下，这些细节可能并不重要，但它们确实会影响初始化顺序和执行。当您的程序增长时，这种差异将变得很重要。那时，初始化需要时间，并且您需要确保对象正确初始化：它们被正确构造（第一次）并且它们以正确的顺序构造。最明显的情况：当默认构造函数的行为与带参数的构造函数不同时，特别是当构造函数产生分配或具有其他耗时（或行为不同）的副作用时，它将产生影响。

而且，由于我们是在构造函数中执行此操作，因此为 int x 和 int y 分配的值是多少？

这完全取决于 Point 的构造函数。

我们应该在 new Point(x,y) 中写入 x 和 y 的值吗？或者说，这样是正确的吗？

首选方法（对于大多数团队来说）是尽可能使用初始化列表和正式构造函数，并编写类型以支持正确的初始化。当代码库增长时，会出现很多微妙之处。此构造函数使用初始化列表：

HeapPoint::HeapPoint(int x, int y): thePoint(new Point(x,y)) { }

如果您愿意，在假设的情况下可能需要正确的初始化像这样声明 thePoint：

const Point* const thePoint;

第一个 const 意味着您不能修改 Point（例如，Point.x 或Point.y）。第二个 const 意味着您不能为该变量分配新的分配。 OP 中的示例是简单的示例，但随着程序的增长绝对有帮助。

Answer 5

在第一种情况下，您使用初始化列表来设置成员thePoint，而在第二个示例中，您使用构造函数的主体。后面完成的工作是不一样的，因为初始化列表是在构建对象之前使用的，一旦完成，就会使用构造函数主体。

因此：

• 直接使用thePoint(new Point(x,y))

  构建的

• 在第二种情况下，它可能是第一个分配的因为它有一个默认的构造函数，然后构建的对象将被主体中的调用覆盖（是的，相同的一个，但不在同一位置）！！所以你在这里失去了效率。

如果存在初始化列表，这是有充分理由的（C++ 是一种非常精确的语言，语法非常严格，除了来自 C 的丑陋的东西之外，一切都是合乎逻辑的）！例如，如果您的类使用了引用成员，则您必须使用初始化列表，因为您的对象不会完全构建：

class A
{
public:
    B& _b;
    C& _c;

    A(B& b, C& c):_b(b), _c(c) // compiles !
    {

    }

    A(B& b, C& c)
    {
        _b(b); // does not compile !
        _c(c); // does not compile !
    }
}

请记住，这里，如果我们完成了 _c(c), _b( b) 在第一个构造函数中（相反顺序），类 B 和 C 的复制构造函数无论如何都会以相同的顺序调用：它们被称为 按照定义成员的顺序（即_b在_c之前），而不是您编写它们的顺序！！！！

Answer 6

两者都是一样的。第一种情况：

HeapPoint::HeapPoint(int x, int y): thePoint(new Point(x,y)) { }

使用thePoint所属类的构造函数，并使其指向为Point新分配的内存。

第二种情况也是分配内存，其地址分配给thePoint