支持空初始值设定项列表的高效对象构造

Question

我有一个这样的类，除了有多个成员：

struct S {
    S( S&& s ) : member( std::move( s.member ) ) {}
    std::vector< int > member;
};

我基本上希望对其进行聚合初始化，如下所示：

S s{ {} };

但由于自定义构造函数的原因，这似乎是不可能的，因此我想使用构造函数参数来模拟它：

struct S {
    S( S&& s ) : member( std::move( s.member ) ) {}
    S( std::vector< int >&& vec ) : member( std::move( vec ) ) {}
    S( const std::vector< int >& vec ) : member( vec ) {}
    std::vector< int > member;
};

这看起来有很多冗余，只是为了在可能的情况下移动和复制，尤其是在成员数量激增的情况下。我想我想要完美的转发？

struct S {
    template< typename V >
    S( V&& vec ) : member( std::forward< V >( vec ) ) {}
    S( S&& s ) : member( std::move( s.member ) ) {}
    std::vector< int > member;
};

但是现在我不能像这样使用空的初始化列表调用它：

S s( {} );

因为无法推导出初始化列表参数类型。有没有不需要我写的解决方案

S s( std::vector<int>{} );

？

Answer 1

不清楚为什么添加默认构造函数不是您的选项，只允许S{}：

struct S {
    S() = default;
    S( S&& s ) = default;
    std::vector< int > member;
};

如果这不合适，你有很多选择。最明显的是去掉move构造函数，因此该类是一个聚合。您显示的移动构造函数无论如何都是毫无意义的，它不会做任何隐式定义的构造函数不会做的事情。

struct S {
    std::vector< int > member;
};

下一个选项是添加初始值设定项列表构造函数：

struct S {
    S() = default;
    S( S&& s ) = default;
    S(std::initializer_list<int> il) : member(il) { }
    std::vector< int > member;
};

这将允许您将带括号的init列表传递给向量成员。

如果您只想向向量传递一个空的初始值设定项列表，另一个选项是重载构造函数，以便向向量传递某些内容是可选的（但您仍然可以为其他成员传递参数）。这意味着您只需省略向量的无意义参数，并将其默认构造。