C에서 `const int` 변수를 사용하여 배열 크기를 초기화할 수 없는 이유는 무엇입니까?

Const Int를 사용한 배열 크기 제한이 때때로 강제되는 이유는 무엇입니까?

C에서는 상수 정수를 사용하여 배열 크기를 지정할 수 있습니다. 그러나 이러한 유연성에는 다음 예에서 알 수 있듯이 제한 사항이 있습니다.

<code class="cpp">const int size = 2;
int array[size] = {0}; // Allowed</code>

<code class="cpp">int a = 2;
const int size = a;
int array[size] = {0}; // Compile Error</code>

첫 번째 예는 성공적으로 컴파일되고 두 번째 예는 실패하는 이유는 무엇입니까?

설명

C 표준은 크기를 초기화하는 데 사용되는 표현식의 특성에 따라 이러한 배열 크기 제한을 규정합니다.

상수 표현식

첫 번째 예에서는 const int size = 2; 크기 값은 컴파일 타임에 알려지기 때문에 상수 표현식입니다. 컴파일러는 배열 크기를 알고 있으므로 컴파일 중에 필요한 메모리를 할당할 수 있습니다.

비상수 표현식

두 번째 예에서는 const int size = a; a의 값은 런타임까지 결정되지 않으므로 상수 표현식이 아닙니다. 이렇게 하면 컴파일러가 컴파일 중에 배열 크기를 알 수 없으므로 컴파일 시간에 메모리를 할당할 수 없게 됩니다.

불변성은 무관합니다

두 번째 예에는 여전히 크기에 대해 사실상 일정한 값이 있다는 점에 유의하세요. , 그러나 이는 컴파일러에서 고려되지 않습니다. 규칙은 사용된 표현식 유형에 중점을 두고 있으며 int a = 2; 변경 가능한 변수를 사용하여 상수가 아닌 표현식으로 만듭니다.

흐름 분석 복잡성

컴파일 시간 할당을 위해 런타임 초기화를 허용하려면 흐름 분석이 필요합니다. 컴파일러는

<code class="cpp">int a = 2;
const int size = a;</code>

및

<code class="cpp">int a = foo();
const int size = a;</code>

과 같은 표현식을 구별해야 합니다. 여기서 크기 표현식은 동일하지만 실제 값은 런타임 동작에 따라 달라집니다. C 위원회는 이러한 복잡성을 불필요하다고 간주합니다.

위 내용은 C에서 `const int` 변수를 사용하여 배열 크기를 초기화할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!