为什么在 C 中 const 对象不是编译时常量表达式？ [复制]

Question

在 C 中，const 限定符使对象只读，但不是常量表达式。例如，不可能使用const int 变量来为数组维度：

const int n = 10;
int arr [n];         /* Compile-time error */

这是什么技术原因？编译器在编译时不可能知道对象实际上有一个常量值吗？

---

我不认为我的问题是Can a const variable be used to declare the size of an array in C? 的确切重复 因为我不是在问这是否可能（在我的问题中明确说明不是），而是技术原因这是不可能的。

---

在下面奥拉夫的评论，this answer 和一些沉思之后，我会尝试以这种方式总结和回答我的问题：

在 C 中，const 对象不是编译时常量，因为它可能违反这两个要求：

首先，可以在运行时初始化const对象，如下所示：

int i;
scanf ("%d", & i);
const int n = i;

所以这里我们违反了“在编译时已知”的要求。

其次，正如Olaf 所指出的，const 限定符意味着程序本身 在声明初始化之后不会修改对象的值。但是内存中对象的值仍然可以被程序本身之外的一些其他实体修改，所以这里我们不保证实际常量的要求。

如果此答案不正确或不完整，请批评。

Answer 1

这样做的一个技术原因可能是，当初始化程序不是常量表达式时，这样的声明甚至是有效的，所以这是从初始化程序推导出来的语义属性。

那么，按照目前的规则，没有办法在头文件中包含这样的东西，以便在文件范围内声明和定义。任何对象只能有一个定义，多个对象文件不能链接在一起。

有一些想法可以在下一个 C 版本中改善这种情况。