c++ - std::array 应该有 move 构造函数吗？

Question

在std::array上不能有效地实现 move (O(1))，那么为什么它有 move 构造函数呢？

Answer 1

std::array 有一个编译器生成的 move 构造函数，它允许将一个实例的所有元素 move 到另一个实例中。如果元素可有效 move 或仅可 move ，这将很方便:

#include <array>
#include <iostream>

struct Foo
{
  Foo()=default;
  Foo(Foo&&)
  {
    std::cout << "Foo(Foo&&)\n";
  }
  Foo& operator=(Foo&&)
  {
    std::cout << "operator=(Foo&&)\n";
    return *this;
  }
};

int main()
{
  std::array<Foo, 10> a;
  std::array<Foo, 10> b = std::move(a);
}

所以我想说 std::array 应该有一个 move 复制构造函数，特别是因为它是免费的。没有一个需要它被主动禁用，我看不出有什么好处。