c++ - const 传播到 std::array of pointers

Question

为什么是std::array的数据类型在这里以不同方式实例化

using T = const int *;
std::array<T, 4> x = { &a, &b, &c, &d }; // name: class std::array<int const *,4>
x[0] = &c; // OK    : non-constant pointer
*x[0] = c; // Error : constant data

和这里相比？

using T = int *;
std::array<const T, 4> x = { &a, &b, &c, &d }; // name: class std::array<int * const,4>
x[0] = &c; // Error : constant pointer
*x[0] = c; // OK    : non-constant data

第二种情况相当于const std::array<T, 4> (指向非常量数据的常量指针)。如果我们使用 const int *直接:std::array<const int*, 4>我们得到第一个案例行为。

更准确地说，为什么 using T = int*; std::array<const T, 4>; 是相当于std::array<int*const, 4>而不是 std::array<const int*, 4> ？

Answer 1

why is using T = int*; std::array<const T, 4>; equivalent to std::array<int*const, 4> and not std::array<const int*, 4>?

因为 const在 T 上合格，指针本身，它不是(也不可能)在指针对象上是合格的。所以const T表示 const指针，不是指向 const 的指针.

规则相同，无论T是否为指针。

using T = int;   // const T => int const
using T = int*;  // const T => int* const, not int const*
using T = int**; // const T => int** const, neither int* const*, nor int const**

注意第三个例子，如果const在受教育者身上有资格，const T应该是 int* const* ，或者它应该在 pointee 的 pointee 上限定，即 int const** ？