启用默认初始化列表构造函数

Question

我相信现代 C++ 初始化器列表对于初始化对象非常有用，以至于无需定义自己的构造函数：

struct point
{
    float coord[3];
};

point p = {1.f, 2.f, 3.f}; // nice !

但是，当我的类从另一个类继承时，这不起作用：

template<typename T>
class serializable
{
    protected:
        serializable() = default;
    ...
    // other stuff
}

struct point : public serializable<point>
{
    float coord[3];
};
point p = {1.f, 2.f, 3.f}; // Doesn't work :(

我尝试将point() = default; 添加到我的点数课程中，但这也不起作用。如何仍然使用初始化列表初始化点？

Answer 1

您的原始案例依赖于聚合初始化 [dcl.init.list]：

类型 T 的对象或引用的列表初始化定义如下：
...
— 否则，如果T 是聚合，则执行聚合初始化

聚合和聚合初始化在哪里，来自 [dcl.init.aggr]，强调我的：

聚合是一个数组或一个类（第 9 条），没有用户提供的构造函数（12.1），没有私有或 受保护的非静态数据成员（第 11 条），无基类（第 10 条），无虚函数 (10.3)。

当聚合被初始化列表初始化时，如 8.5.4 中所指定，初始化列表的元素 被视为聚合成员的初始值设定项，按递增的下标或成员顺序。每个 成员是从相应的初始化子句复制初始化的。

但现在，由于point 有一个基类（serializable<point>），point 不再是聚合，不再支持聚合初始化。

解决办法就是简单的提供这样一个构造函数来初始化point：

struct point : public serializable<point>
{
    template <typename... T>
    point(T... ts) 
    : coord{ts...}
    { } 

    float coord[3];
};