Question

从C ++ 11开始，我们有这个很棒的功能，它允许我们避免为所有小类创建显式构造函数，如：

class A
{
public:
  A() = default;
  A(int x, int y) : x(x), y(y) {} // bloat
  int x = 0, y = 0;
};
..
A a(1,2);

所以我们现在可以这样写：

class A
{
public:
  int x = 0, y = 0;
};
..
A a{1,2}; // using the sequence constructor created by the compiler, great

问题出现了，当我还有其他我想要使用的构造函数时，例如：

class A
{
public:
  A() = default;
  A(Deserialiser& input) : a(input.load<int>()), b(input.load<int>()) {}
  int x = 0, y = 0;
};
...
A a{1, 2}; // It doesn't work now, as there is another constructor explicitly specified

问题是，如何强制编译器创建默认序列构造函数？

Answer 1

与第二个示例的不同之处在于您正在执行aggregate initialization。

使用第一个和第三个示例，不再可能进行聚合初始化（因为该类具有用户定义的构造函数）。

使用第一个示例，然后调用双参数构造函数。使用第三个示例，找不到合适的构造函数，您将收到错误。

注意：在C ++ 11中，第二个例子也不可能进行聚合初始化，因为C ++ 11不允许非内联成员内联初始化。在C ++ 14中删除了这个限制。（有关详细信息，请参阅上面的链接参考。）

Answer 2

如果您命名构造函数，则删除所有其他自动生成的名称。

通过命名A(Deserialiser&)，您丢失了自动生成的A(int, int)

表达构造函数的方法是：

class A
{
public:
  A() : A(0, 0) {}   // <- set default values here
  A(int x, int y) : x(x), y(y) {}
  A(Deserialiser& input) : x(input.load<int>()), y(input.load<int>()) {}
  int x, y;
};

保留聚合初始化的一种方法是将序列化与对象本身分离。

template<class Type> struct type_tag {};

class A
{
public:
    A()  = default;

    int x = 0, y = 0;
};

auto deserialise(Deserialiser& input, type_tag<A>)
{
    return A { input.load<int>(), input.load<int>() };
}

Answer 3

只要您没有为该类提供任何构造函数，编译器就会自动生成默认构造函数。但是，一旦你提供了至少一个构造函数，那么即使没有更多的默认构造函数，编译器也不会提供任何构造函数。

当其他构造函数存在时，如何强制创建默认序列构造函数？

3 个答案: