std::scoped_allocator_adaptor和使用std::allocator_arg_t构造函数的类

Question

我在这里找到了一些词，adaptor/construct

如果std::uses_allocator<T, inner_allocator_type>::value==true (类型T使用分配器，例如它是一个容器) 如果std::is_constructible<T, std::allocator_arg_t, inner_allocator_type, Args...>::value==true， 然后打电话 std::allocator_traits::construct(最外层(*this)，p，std::allocator_arg，inner_allocator()，前进(Args)..。)；

所以，我做了一个简单的测试

struct use_arg {
    template <typename Alloc>
    use_arg(std::allocator_arg_t, Alloc &, int i)
        { std::cout << i << " in use_arg()\n"; }
};

namespace std {

template <typename A> struct uses_allocator<use_arg, A>: true_type {};

} // namespace std

void test_scoped()
{
    std::scoped_allocator_adaptor<std::allocator<use_arg>> sa;
    auto p = sa.allocate(1);
    sa.construct(p, 4);
    sa.destroy(p);
    sa.deallocate(p, 1);
}

但是gcc和clang给了我这些错误https://gist.github.com/anonymous/3e72754a7615162280fb

我还编写了use_a来代替use_arg。它可以成功运行。

struct use_a {
    template <typename Alloc>
    use_a(int i, Alloc &) { std::cout << i << " in use_a()\n"; }
};

是什么使这些行为发生的？

Answer 1

我认为libstdc++和libc++都在做OP示例所需的标准工作。

uses_allocator<use_arg, allocator<use_arg>>是真，但is_constructible<use_arg, allocator_arg_t, inner_allocator_type, int>是假的，因为use_arg不能从rvalue分配器构造，所以construct调用应该格式错误。

然而，我认为这是标准的一个缺陷。考虑这种类型：

struct use_arg {
  using allocator_type = std::allocator<use_arg>;
  use_arg(allocator_type&&) { }
};

uses_allocator和is_constructible特性都是正确的，但是对scoped_allocator_adaptor::construct(pointer)的调用将无法编译。

检查is_constructible<T, inner_allocator_type> (从rvalue分配器测试构造)，然后通过inner_allocator_type& (这是一个lvalue)是不一致的，但标准是这么说的。

Answer 2

问题是，您通过引用接收Alloc。

std::is_constructible<T, std::allocator_arg_t, inner_allocator_type, Args...>::value==true

在您的示例中，inner_allocator只是std::scoped_allocator_adaptor<std::allocator<use_arg>>，不能转换为std::scoped_allocator_adaptor<std::allocator<use_arg>>&。您只需按值或通过Alloc接收const-reference即可。