Should std::array have move constructor?

Question

Moving can\'t be implemented efficiently (O(1)) on std::array, so why does it have move constructor ?

Answer 1

Have a look at the standard:

23.3.2.2 array constructors, copy, and assignment [array.cons]

The conditions for an aggregate (8.5.1) shall be met. Class array relies on the implicitly-declared special member functions (12.1, 12.4, and 12.8) to conform to the container requirements table in 23.2. In addition to the requirements specified in the container requirements table, the implicit move constructor and move assignment operator for array require that T be MoveConstructible or MoveAssignable, respectively.

The move constructor and assignment operator are by far not free, they may not be provided.