C++ 指向C+中常量为的数组的指针和引用+；

我很清楚，我以为我知道发生了什么，但我错了。我想做到这一点：

int* var[4];
const int* const (&refArray)[4] = var;      //compile error

是的，我想保留数组而不是转换为指针，是的，我在代码中确实遇到了这个问题。所以我继续调查我能做什么和不能做什么，不久我意识到我不知道发生了什么：

int* var[4];

const int* const * ptr = var;                     //allowed
const int* const * (&refPtr_indirect) = ptr;      //allowed

const int* const * (&refPtr) = var;               //error

const int* const * const (&constRefPtr) = var;    //allowed

int* const (&refArray)[4] = var;                  //allowed

const int* const (&refArray)[4] = var;            //error

我能理解前四个，但后两个对我来说毫无意义。我确实看到第三个版本可以工作，我可以删除

引用

，但我真的希望保留数组类型

---

非常感谢您提供的任何帮助，但希望它能够包括规则为何如此的原因。

您有一个指向（非常量）

int

的四个指针数组。要将其视为指向

const int

的四个指针的数组，需要使用类型双关语。类型

int[4]

和

const int[4]

不同，对其中一个的引用不能引用另一个

最好是对整个数组进行常量引用。在类似这样的复杂情况下，最好使用一些类型名称来实现可管理性：

typedef int* TheArray[4];
TheArray var;
const TheArray &ref = var;

这就给了你这个：

ref[0];  // OK
ref[0] = nullptr;  // error
*ref[0];  // OK
*ref[0] = 42;  // OK

您的第五个版本是相同的，只是没有类型名

int * const (&refArray) [4] = var;

对指向

int

的四个指针的常量数组的引用。（常量数组与常量元素数组相同）

---

第六个版本不可能工作，正如我在顶部所说的，数组元素的类型是不同的，因此没有引用可以同时引用它们。

Angew有一些观点，但我认为问题在于：

无法将

int*[n]

转换为

const int*[n]

所以这是允许的：

int a[4];
const int (&b)[4] = a;

但以下情况并非如此：

int *c[4];
const int *(&d)[4] = c;

---

是否有充分的理由不只是使用

std:：array

或

boost:：array

？在任何情况下，您都应该从指向数组的指针

&var

进行初始化。这也不起作用，但可能更容易找出原因。Thx，这确实很有帮助。然而，这就带来了一个问题：是否有可能让所有的

const

？@过路人都有双关语（这通常是未定义的行为）。这就是为什么我说“尽你所能……”