当您声明“指针类型”形式（函数）参数“像 const 数组”时，什么是 const？

Question

当你声明一个“指针类型”形式（函数）参数“像一个 const 数组”时，const 是什么？

即：如果 T 是类型标识符，则为：

void f(const T arr[]);

相当于：

void f(const T * const arr);

或

void f(const T * arr);

或

void f(T * const arr);

如何解密 C/C++ 标准来找到这个等价物？ :-)

C 和 C++ 之间以及标准的不同版本之间在上述声明的含义方面是否存在差异？ （对于 C - ANSI C89 及更高版本的标准是相关的）

Answer 1

首先我要说的是：

void f(int const* p);

和

void f(const int* p);

含义相同，表示它是指向一个无法更改的值的指针。

还有另一种声明指针的方法：

void f(int* const p);

它表示常量指针，你不能将它分配给另一个地址。

至于你的问题，下面的代码

void f(const T arr[]);

会转换成

void f(const T* arr);

它将是指向数组的第一个元素的指针

Answer 2

T * const arr 表示arr 不应更改。
const T * arr 表示*arr 不应更改。
const T * const arr 表示arr 和*arr 均不应更改。

那么void f(const T arr[]); 中的arr 是什么？
类似于上述 3. 在将鼠标悬停在下面之前进行选择。

void f(const T *arr);

---

如何解密 C/C++ 标准来找到这个等价物？

多次阅读标准会有所帮助。给定实例的有用站点是C gibberish ↔ English

// declare f as function (pointer to const int) returning void
void f(const int *);

---

C 和 C++ 之间以及标准的不同版本之间是否存在差异？

是的，当然，因为 C/C++ 是不同的语言。 C++ 有引用变量。早期的 C 没有const 等。

Answer 3

对于 C++（目前问题也标记为 C）：

这里涉及三种不同的等价。 [1] const T arr[] 形式参数类型衰减为 T const* arr，因此在形式参数类型的上下文中是等价的。 [2] T const* arr 等价于const T* arr，这是另一种表达相同的语法。 [3] 在函数类型的上下文中，T const* arr 中的形式参数类型等价于T const* const arr，因为为了确定函数类型，顶级const 被丢弃。 IE。以这种方式不同的两个函数声明表示同一个函数。