常量std:：array和std:：array

Question

两者之间有实际区别吗

std::array<const T, N>

和

const std::array<T, N>

?

看起来包含常量元素的非常量数组仍然无法交换，赋值运算符也不起作用<我什么时候应该选择一个而不是另一个？

#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<const int, 5> const_array = {1,2,3,4,5};
const std::array<const 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

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

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

换言之，这两种类型将具有完全相同的有效和无效操作。

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

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

Answer 2

当您需要将变量传递给其他函数时，可能至少存在一种不同情况，例如：

#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 3

复制std::array

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