C 和 C++ 之间的常量正确性有什么区别？

Question

我理解 const 正确性意味着什么，我的问题不是 const 正确性是什么。所以我不期待对此的解释或 C++-FAQ 链接。

我的问题是：

• C 中的 const 和 C++ 中的 const 之间的语义差异是什么？ 和
• 差异的原因是什么？

最好能引用各自标准的内容来明确差异。

我经常在 C 和 C++ 之间切换，我想知道这样做时应该记住的要点。

我似乎不记得这些的原因（如果你能提供推理，特别感谢），但从我的脑海中，我记得：

• C++ 中的 const 变量默认有内部链接，而在 C 中它们有默认的外部链接连锁;
• const 对象可以用作 C++ 中的编译时值，但不能用作 C 中的编译时值；
• 在 C++ 中，指向字符串文字的指针必须是 char const*，但在 C 中它可以是 char*。

我缺少什么？

Answer 1

除了您引用的差异以及库的差异之外
Steve Jessop 提到，

char* p1;
char const* const* p2 = &p1;

在 C++ 中是合法的，但在 C 中则不然。从历史上看，这是因为 C
最初允许：

char* p1;
char const** p2 = &p1;

在标准被采用之前不久，有人意识到这
在 const 安全性上打了一个洞（因为 *p2 现在可以被分配一个
char const*，这会导致 p1 被分配一个 char const*）；和
没有实时深入分析问题，C委员会禁止任何
除顶级 const 之外的其他 const。 （即 &p1 可以是
分配给 char ** 或 char **const，但不分配给 char const**
也不是 char const* const*。）C++ 委员会做了进一步的工作
分析，意识到问题仅在 const 时出现
level 之后是一个非 const level，并计算出了必要的
措辞。 （参见标准中的§4.4/4。）

Answer 2

在 C 中，const 声明不会生成常量表达式，即在 C 中，您不能在 case 标签中使用 const int 对象作为位域宽度或数组非 VLA 数组声明中的 size（这一切在 C++ 中都是可能的）。此外，const 对象在 C 中默认具有外部链接（在 C++ 中为内部链接）。
C++语言的常量正确性规则支持以下标准转换

int **pp = 0;
const int *const *cpp = pp; // OK in C++

int ***ppp = 0;
int *const *const *cppp = ppp; // OK in C++

这些在c中不起作用。

Answer 3

其中一些差异的原因是为了让我们摆脱预处理器宏，这是 Bjarne 的早期设计目标之一。

在 C 中，我们可能有

 #define MAX_FOOS 10
 int foos[MAX_FOOS];

在 C++ 中，我们希望能够编写

 const int max_foos = 10;
 int foos[max_foos];

为了使其工作， max_foos 需要可在常量表达式中使用。它还需要具有内部链接，因此定义可以出现在标头中而不会导致多个定义错误，更重要的是使编译器更容易不为 max_foos 分配任何存储空间。

当 C 委员会从 C++ 中采用 const 时，他们并没有采用对宏的反感，因此他们不需要这些语义。