constd::array与std::array的区别

Question

std::array有什么实际区别吗

看起来包含常量元素的非常量数组仍然无法交换；赋值运算符也不工作。

什么时候我应该选择一个而不是另一个？

#include <array>

std::array<const int, 5> array_of_const = {1,2,3,4,5};
std::array<const int, 5> array_of_const2 = {1,2,3,4,5};

const std::array<int, 5> const_array = {1,2,3,4,5};
const std::array<int, 5> const_array2 = {1,2,3,4,5};

int main()
{
    // Assignment doesn't work for either
    array_of_const = array_of_const2;
    const_array = const_array2;

    // Swapping doesn't work for either
    array_of_const.swap(array_of_const2);
    const_array.swap(const_array2);

    // Indexing...
    array_of_const[0] = 0;
    const_array[0] = 0;

    return 0;
};




Answer 1

当您需要将变量传递给其他函数时，可能至少有一种差异情况，例如：

#include <array>

std::array<const int, 5> cc_arr5 = {1,2,3,4,5};
const std::array<int, 5> cc_arr5_2 = {1,2,3,4,5};

template<class T, std::size_t N>
void func(std::array<T, N>& a) {
    // do not change a, for example just calculate sum
}

int main()
{
    func(cc_arr5);
    func(cc_arr5_2); // this line does not compile

    return 0;
};

Answer 2

std:：数组的副本

它们匹配的模板存在差异，例如伊利亚回答中的案例。

Answer 3

它们确实是不同的类型，因此您不能在一个地方使用其中一个，而不管另一个是预期的，例如在函数调用或赋值中。

也就是说，由于数组是一个固定大小的容器，没有辅助数据成员，因此让容器常量阻止对其元素的任何更改，而让元素常量不允许对容器进行任何更改，因为它显然没有其他数据成员。

不同地说，这两种类型将具有非常相同的有效和无效操作。

我能想到的主要区别是const_cast含义：数组可以（隐式地）转换为相同元素类型的const数组，但不能转换为const修改类型的数组：

std::array<int, 3> a {1, 2, 3};

std::array<const int, 3> b = a; // Error: no known conversion from 'array<int, [...]>' to 'const array<const int, [...]>
const std::array<int, 3> c = a; // Ok