c - 我不断看到 const char * const 参数，我知道第二个 const 对于堆栈复制毫无意义，那么他们为什么要这样做呢？

Question

首先让我声明我理解以下之间的区别:

const char *a;

和

char * const a;

和

const char * const a;

但是最近我在用于向函数传递参数时反复遇到后者，举个例子，用于读取数据库文件的 Maxmind GeoLite2 mmdb C API 对每个指针参数使用以下格式:

const T * const 

示例: https://github.com/maxmind/libmaxminddb/blob/master/include/maxminddb.h#L203

extern int MMDB_open(const char *const filename, uint32_t flags, MMDB_s *const mmdb);

我对 C/C++ 和 C/C++ 经常编译成的 x86 或 x86-64 有深入的了解，并且我知道指向文件名的指针和指向 MMDB_s 的指针都是堆栈分配的副本(或者在 x86-64 的情况下通过寄存器传递)那么使指针成为 const 的目的是什么？

我是否在这里遗漏了一些东西，或者他们是否不必要地用 const 指针淹没他们的 API，这对使用它们的人实际上没有最终影响？

Answer 1

C 标准明确指出，函数原型(prototype)声明中会忽略顶级 const 限定符。 (N1570 § 6.7.6.3p15，段落末尾括号中的句子。)这意味着，从尝试调用 MMDB_open 的代码的角度来看，声明

extern int MMDB_open(const char *const filename, uint32_t flags,
                     MMDB_s *const mmdb);

和

extern int MMDB_open(const char *filename, uint32_t flags,
                     MMDB_s *mmdb);

在语义上是相同的。因此，您认为这些限定符是不必要的是正确的。

但是，它们并不是没有意义的，因为从功能实现的角度来看，它们并不相同。在 MMDB 的代码中，他们在某处有这个函数定义

int
MMDB_open(const char *const filename, uint32_t flags, MMDB_s *const mmdb)
{
    // code here
}

并且该函数体中的代码不允许修改filename和mmdb变量(但是允许写入通过 mmdb并修改它指向的内容)。这就是为什么他们首先将限定符放在这些变量上。

他们可能将限定符复制到公共(public)头文件中的原型(prototype)中，因为他们希望原型(prototype)与函数定义完全匹配。这使得维护头文件变得更加容易。