const std::array<T,N> 和 std::array<const T, N> 之间的区别

Question

std::array<const T, N> 和 const std::array<T, N> 之间有什么实际区别吗？

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

什么时候我应该更喜欢一个而不是另一个？

#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

std::array<const T, N> 的副本仍然是“逻辑上的 const”，而默认情况下 const std::array<T, N> 的副本是可变的。如果允许或阻止这对您来说很重要，那么一个比另一个更可取。

它们匹配的模板存在差异，例如Ilya's answer中的案例。

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

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

话虽如此，由于数组是一个没有辅助数据成员的固定大小的容器，因此容器 const 可以防止对其元素进行任何更改，并且元素 const 不允许对容器进行任何更改，因为它显然没有其他数据成员。

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

我能想到的主要区别是 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