如何支持聚合到 STL 或类似 STL 的库中

Question

如何引入聚合初始化支持以在（例如）STL 容器中正确构建它们？我的意思是：

struct A { int i; char c; };
std::list< A > l; // empty
l.insert(std::memberwise, 1, '2');
// <=> l.insert({1, '2'});

std::memberwise是一个可能的标签，就像STL中已经存在的std::piecewise_construct、std::allocator_arg等。

理论上可以以这种方式扩展 STL 容器吗？有没有最好的方法（“STL-way”）来做到这一点？它可能是什么样子？

问题是关于界面设计和（内部）实现的可能性（不是细节）。

我确定容器在内部使用 ::new (static_cast< void * >(pstorage) value_type(std::forward< Args >(args)...); 之类的东西。我敢肯定，用大括号替换括号会带来重大变化。因为不收窄，例如

另外

一般在cmets中提到的l.insert({1, '2'});会导致value_type的过度移动。这一步很可能会被任何现代编译器优化，但无论哪种方式都有过多的大括号。

Answer 1

您应该使用emplace 样式的构造。标准库容器将这样的构造转发给allocator_traits<Alloc>::construct<T>，预计这是一个可变参数函数。如果Alloc 没有construct 成员函数，那么allocator_traits::construct 将简单地使用带有() 初始化语法的placement new。

显然这不允许您通过emplace 进行聚合初始化。但是，您可以通过提供自己的分配器来有效地实现the solution suggested by LWG 2089，它可能派生自std::allocator，它有自己的construct 方法。如果is_constructible<T, ...>::value 为真，您的construct 应该只使用new(p) T(...)。如果不是，则使用new(p) T{...}。

在 C++17 中，这其实并不难写：

template< class U, class... Args >
void construct( U* p, Args&&... args )
{
    if constexpr(std::is_constructible_v<U, Args...>)
        ::new((void*)p) U(std::forward<Args>(args)...);
    else
        ::new((void*)p) U{std::forward<Args>(args)...};
}