为什么这些定义在 C 中不合法？

Question

我正在读一本关于 C 的书，但我不明白这个概念：

另一个常见的误解是将 const 限定变量视为常量表达式。在 C 中， const 表示“只读”，而不是“编译时间常数”。所以，像 const int SIZE = 10; 这样的全局定义int global_arr[大小]；和 const int SIZE = 10; int global_var = 大小；在 C 中是不合法的。

我也不太了解 const 变量和常量表达式之间的区别。所有 const 变量都是常量表达式，对吧？我已经阅读了有关此主题的其他问题，但我仍然不了解。谢谢。

Answer 1

假设你有

int a = 42;
const int *b = &a;

现在*b 是const 即只读。你不能改变*b而不把const扔掉（感谢Eric Postpischil）

// *b = -1; // not allowed
a = -1;
printf("%d\n", *b); // print -1

重点是：const 限定对象的值可能改变。一个常数值从不改变。

Answer 2

它们的基本意思是，在 C 中，使用 const 限定变量来初始化另一个变量或在全局范围内用它确定数组的大小是非法的，例如：

const int SIZE = 5;
int a = SIZE;              // This is not allowed.
int b[SIZE];               // This is also not allowed.

int main(void)
{
   ...
}

这是因为全局范围内的变量和数组需要在编译时确定。 const 限定变量仍然是一个变量，变量的值在运行时计算/评估。

一个宏常量，它是一个“编译时间常量”，可以用于此，如 f.e.：

#define SIZE 15

int a[SIZE];             // This is ok.
int b = SIZE;            // This is ok, too.

---

我也不太明白const变量和常量表达式的区别。所有const 变量都是常量表达式，对吧？

没有。

引自 ISO:IEC 9899/2018 (C18)，第 6.6/2 节：

"常量表达式可以在翻译过程中而不是运行时求值，因此可以在常量可能存在的任何地方使用。"

常量表达式是一个文字表达式，它总是被评估为相同的值 - 评估的值是常量。因此它可以在编译时进行评估。

F.e.：

5 + 4 

始终为 9，因此可以在编译时进行评估。

而const 变量：

const int SIZE = 5;

或

(const int SIZE 5;)

5 + 9 + SIZE; 

不是一个常量表达式，因为它暗示了一个变量。尽管变量SIZE 被const 限定（这意味着它在初始化后不能被修改），但它不是一个常量表达式，因为一个变量，不管它是否const，都是计算出来的/在运行时评估。

const 限定变量不是也不能是常量表达式的一部分。