일부 컴파일러는 C에서 가변 길이 배열을 허용하는 반면 다른 컴파일러는 허용하지 않는 이유는 무엇입니까?

가변 길이 배열 및 상수 표현식

아래 제시된 C 코드 조각은 특정 컴파일러를 사용하여 성공적으로 컴파일할 가능성이 있습니다.

int main()
{
  int size = 10;
  int arr[size];
}

C 표준(8.3.4/1)에 따르면 이 코드는 다음과 같을 것으로 예상됩니다. 배열의 크기(arr)는 상수 표현식이어야 하므로 거부됩니다. 그러나 이는 gcc 4.8 및 Clang 3.2와 같은 컴파일러의 동작에 대한 의문을 제기합니다.

가변 길이 배열(VLA)이 이 시나리오에서 작동합니다. VLA는 gcc 및 clang이 C 내에서 확장으로 구현한 C99 기능입니다. 그러나 Visual Studio는 이 경우 표준을 엄격하게 준수합니다. 생성되는 메시지는 다음과 같습니다.

error C2466: cannot allocate an array of constant size 0

이 컨텍스트에서는 허용되지 않는 크기를 0으로 올바르게 해석했음을 나타냅니다.

gcc와 clang 모두에서 -pedantic 플래그를 활성화하는 경우 , VLA 사용에 관한 경고를 받게 됩니다. 예를 들어 gcc에서는 다음과 같이 명시합니다.

warning: ISO C++ forbids variable length array 'arr' [-Wvla]
  int arr[size];
              ^

게다가 -pedantic-errors 플래그를 사용하면 이 사용법이 오류로 렌더링됩니다. 지원되는 언어 표준에 대한 자세한 내용은 제공된 문서를 참조하세요.

C 표준 초안은 5.19(상수 표현식)에서 정수 상수 표현식을 다음과 같이 정의합니다.

"적분 상수 표현식은 암시적으로 prvalue로 변환되는 정수 또는 범위가 지정되지 않은 열거 유형의 표현식입니다. 여기서 변환된 표현식은 핵심 상수 표현식입니다."

다음을 준수하려면 표준에서는 const(또는 constexpr)를 사용하여 리터럴로 크기를 초기화할 수 있습니다. 이렇게 하면 크기가 정수 상수 표현식이 됩니다.

const int size = 10;
// or
constexpr int size = 10;

C99 표준 초안(6.7.5.2)의 해당 섹션에서는 크기가 없으면 불완전한 배열 유형이 선언된다고 명시합니다. 크기가 *인 경우 정의된 길이 없이 가변 길이 배열 유형이 생성되며 특정 컨텍스트에서만 사용할 수 있습니다. 그렇지 않으면 일반 배열 유형이거나 표현식 속성에 따라 가변 길이 배열 유형이 됩니다.

위 내용은 일부 컴파일러는 C에서 가변 길이 배열을 허용하는 반면 다른 컴파일러는 허용하지 않는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!