阅读复杂的 const 声明的简单规则？

Question

要读取复杂的指针声明，有

但这条规则没有提到如何读取const修饰符。

例如，在简单的指针声明中，const 可以通过多种方式应用：

char *buffer; // non-const pointer to non-const memory
const char *buffer; // non-const pointer to const memory
char const *buffer; // equivalent to previous declartion
char * const buffer = {0}; // const pointer to non-const memory
char * buffer const = {0}; // error
const char * const buffer = {0}; // const pointer to const memory

现在将 const 与指针声明的指针一起使用怎么样？

char **x; // no const;
const char **x;
char * const *x;
char * * const x;
const char * const * x;
const char * * const x;
const char * const * const x;

阅读这些声明的简单规则是什么？ 哪些声明有意义？

顺时针/螺旋规则适用吗？

两个真实世界的示例

方法 ASTUnit::LoadFromCommandLine使用 const char ** 提供命令行参数（在 llvm clang 中 来源）。

getopt() 的自变量向量参数声明如下：

int getopt(int argc, char * const argv[], const char *optstring);

其中 char * const argv[] 相当于该上下文中的 char * const * argv。

由于这两个函数使用相同的概念（指向字符串的指针向量来提供参数）并且声明不同 - 明显的问题是：为什么它们不同？其中一个比另一个更有意义吗？

意图应该是：const 修饰符应指定该函数不操作此向量的字符串，并且不更改向量的结构。

Answer 1

（试图关注问题的其他方面）

const 的经验法则声明是从右到左读取它们，const修改下一个标记。例外：在声明的开头 const 修改前一个标记。

此异常背后有一个 基本原理 - 对于基本声明 const char c 对某些人来说比 char const c 更自然 - 据报道，const char c 的前体形式早于最终的 const 规则。

getopt

int getopt(int argc, char * const argv[], const char *optstring);

或

int getopt(int argc, char * const * argv, const char *optstring);

这意味着 argv 是一个指向 const 向量的指针，该向量由指向非常量字符串的指针组成。

但是人们会期望以下声明：（

int getopt(int argc, char const * const * argv, const char *optstring);

指向 const 向量的指针到 const 字符串）

因为 getopt() 不应该更改通过 argv 引用的字符串。

至少 char **（如 main() 中使用的）会自动转换为 char * const * argv。

Clang

ASTUnit::LoadFromCommandLine(...,  const char **argv, ...);

这意味着 argv 是一个指向 const 字符串指针的非常量数组的指针。

同样，出于与上述相同的原因，人们会期望 const char * const *argv 。

但这更引人注目，因为 char ** 不转换为const char **，例如

int main(int argc, char **argv) {
  const char **x = argv; // Compile error!
  return 0;
}

产生编译错误，而

int main(int argc, char **argv) {
  char * const *x = argv;
  return 0;
}

和 则

int main(int argc, char **argv) {
  const char * const *x = argv;
  return 0;
}

不会。

Answer 2

const 修饰符很简单：它修改它前面的内容，除非
在它之前没有任何东西。所以：

char const* buffer;  // const modifies char
char* const buffer;  // const modifies *

等。一般来说，最好避免前面没有任何内容的形式
const，但在实践中，你会看到它们，所以你必须
请记住，当 const 之前没有类型时，您必须在逻辑上
将其移到第一种类型的后面。所以：

const char** buffer;

实际上是：

char const** buffer;

，即指向 const char 的指针。

最后，在函数声明中，后的 [] 读作前的 *。
（再次强调，最好避免这种误导性的符号，但是
你将会看到它，所以你必须处理它。） 所以：

char * const argv[],  //  As function argument

是：

char *const * argv,

指向 char 的 const 指针的指针。