构造函数指定所有内置成员的零初始化？

Question

类的构造函数是否有更简单的方法来指定内置类型的所有成员都应为零初始化？

这段代码 sn-p 出现在另一个帖子中：

struct Money
{
    double amountP, amountG, totalChange;
    int twenty, ten, five, one, change;
    int quarter, dime, nickel, penny;

    void foo();
    Money()  {}
};

原来问题是对象是通过Money mc;实例化的，变量没有初始化。

推荐的解决方案是添加以下构造函数：

Money::Money()
  : amountP(), amountG(), totalChange(),
    twenty(), ten(), five(), one(), change()
    quarter(), dime(), nickel(), penny()
{
}

但是，这很丑陋且不便于维护。添加另一个成员变量并忘记将其添加到构造函数中的长列表很容易，当未初始化的变量偶然突然停止获取0 时，可能会导致几个月后难以发现的错误。

Answer 1

您可以使用子对象进行整体初始化。会员可以工作，但您需要获得所有访问权限。所以继承更好：

struct MoneyData
{
    double amountP, amountG, totalChange;
    int twenty, ten, five, one, change;
    int quarter, dime, nickel, penny;
};

struct Money : MoneyData
{
    void foo();
    Money() : MoneyData() {} /* value initialize the base subobject */
};

演示（放置new用于确保对象创建前内存非零）：http://ideone.com/P1nxN6

对比问题中的代码略有不同：http://ideone.com/n4lOdj

在上述两个演示中，double 成员被删除以避免可能的无效/NaN 编码。

Answer 2

对于在 C++98 中工作的东西，您可以使用 Boost 的 value_initialized: (live example)

#include <boost/utility/value_init.hpp>
...
struct Money
{
    boost::value_initialized<double> amountP, amountG, totalChange;
    boost::value_initialized<int> twenty, ten, five, one, change;
    boost::value_initialized<int> quarter, dime, nickel, penny;

    void foo();
    Money()  {/*every member is 0*/}
};

Answer 3

您可以通过以下方式使用默认构造函数

Money m = {};

或者您可以在类定义中设置数据成员的初始化：

struct Money
{
    double amountP = 0.0, amountG = 0.0, totalChange = 0.0;
    int twenty = 0, ten = 0, five - 0, one = 0, change = 0;
    int quarter = 0, dime = 0, nickel = 0, penny = 0;

    void foo();
    Money()  {}
};