指向C++中带有Consts的数组的指针和引用

Pointer and References to Array with Consts in C++

本文关键字：数组 指针 引用 Consts C++ 指向      更新时间：2023-10-16

我很清楚const指针到指针的问题，我以为我知道发生了什么，但天哪，我错了。我想实现这个：

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

我能理解前四个，但后两个对我来说毫无意义。我确实看到第三个版本可能会起作用，我可以放弃reference，但我真的希望保留数组类型。

任何帮助都是值得赞赏的，但希望它能包括为什么规则是这样的背后的推理。

您有一个指向（非常量）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;
相关文章：