使用 const int 初始化数组大小的难以捉摸的困境
在 C 领域,使用常量进行数组大小初始化通常会带来问题一个令人费解的困境。虽然某些情况下无缝地允许这种做法,但其他情况下会引发神秘的编译错误。
考虑以下代码片段:
<code class="cpp">const int size = 2; int array[size] = {0};</code>
在这个示例中,编译器很高兴地允许使用大小由常量变量“size”指定。原因在于“size”初始化表达式的性质。它是一个常量表达式,这意味着它可以完全在编译时求值。这使得编译器可以在编译过程中确定数组的确切大小,从而方便内存分配。
对比上面,看一下这个片段:
<code class="cpp">int a = 2; const int size = a; int array[size] = {0};</code>
这里,编译器发脾气,哀叹“编译错误”。问题的关键在于用于初始化“size”的表达式。它涉及一个非常量变量(“a”)。这将表达式降级为非常量表达式的领域。因此,编译器无法在编译时确定数组的大小。
此行为源于 C 标准委员会的一项基本决定。委员会优先考虑简单性和明确性而不是灵活性。实现后者需要复杂的流程分析,区分不可修改的表达式,例如“const int size = a;”以及真正的非常量表达式,例如“const int size = foo();”。这种复杂性被认为是不可取的。
因此,规则仍然存在:数组大小只能使用常量表达式初始化。这确保编译器可以明确地确定数组的大小,从而确保可预测的内存分配和顺利编译。当冒险进入数组大小初始化的世界时,请始终牢记这条规则。
以上是为什么我不能在 C 中使用 `const int` 变量初始化数组大小?的详细内容。更多信息请关注PHP中文网其他相关文章!