전역 변수 선언이 이상합니다...

이와 관련하여, C와 C++에 참으로 흥미로운 차이점이 있습니다.

#include <stdio.h>

int main(void)
{
    int a = 4;
    int arr[a];

    arr[0] = 1;

    printf("arr[0] = %d\n", arr[0]);

    return 0;
}

위의 코드는 C에서, 혹은 C++에서 옳은 코드일까요, 틀린 코드일까요?
어떤 온라인 컴파일러(?)를 이용해서 테스트해 봅시다.

http://www.comeaucomputing.com/tryitout/

C99에서:

Comeau C/C++ 4.3.3 (Aug  6 2003 15:13:37) for ONLINE_EVALUATION_BETA1
Copyright 1988-2003 Comeau Computing.  All rights reserved.
MODE:strict errors C99 

In strict mode, with -tused, Compile succeeded (but remember, the Comeau online compiler does not link). 

C++98에서:

Comeau C/C++ 4.3.3 (Aug  6 2003 15:13:37) for ONLINE_EVALUATION_BETA1
Copyright 1988-2003 Comeau Computing.  All rights reserved.
MODE:strict errors C++

"ComeauTest.c", line 6: error: expression must have a constant value
      int arr[a];
              ^

1 error detected in the compilation of "ComeauTest.c".

In strict mode, with -tused, Compile failed

C에서는 맞는 코드이고, C++에서는 틀린 코드입니다.

C99에서는 Variable Length Array 라는 놈이 새로이 추가되었습니다. 말 그대로 가변 길이 배열입니다. 즉 배열을 정의할 때 배열의 첨자로 변수를 사용하는 것이 가능합니다.

단, 질문자께서 맨처음 올리신 코드는 file scope VLA가 사용되었으므로 C99에서도 올바르지 않은 코드입니다.

6.7.5.2 Array declarators 

extern int n;
int A[n]; // invalid: file scope VLA
extern int (*p2)[n]; // invalid: file scope VM
int B[100]; // valid: file scope but not VM
void fvla(int m, int C[m][m]); // valid: VLA with prototype scope
void fvla(int m, int C[m][m]) // valid: adjusted to auto pointer to VLA
{
    typedef int VLA[m][m]; // valid: block scope typedef VLA
    struct tag {
        int (*y)[n]; // invalid: y not ordinary identifier
        int z[n]; // invalid: z not ordinary identifier
    };
    int D[m]; // valid: auto VLA
    static int E[m]; // invalid: static block scope VLA
    extern int F[m]; // invalid: F has linkage and is VLA
    int (*s)[m]; // valid: auto pointer to VLA
    extern int (*r)[m]; // invalid: r has linkage and points to VLA
    static int (*q)[m] = &B; // valid: q is a static block pointer to VLA
}

C++에서는 이와 반대로 틀린 코드입니다. 배열을 정의할 때 그 첨자로는 반드시
정수형 Constant expression이 들어가야 합니다.

5.19 Constant expressions 중에서...

정수형 상수 수식(integral constant expression)은 상수(literal), 열거형(enumerator), const variables, constant expression으로 초기화된 정수형 혹은 열거형 정적 데이터 맴버, 타입이 아닌 정수형 템플릿 파라메터, sizeof expression 중 하나이다.

위의 코드에서 배열의 첨자로 사용된 것은 const형도 아니고 정적 데이터 타입도 아니므로 에러가 나는 것은 당연합니다.

재미있는 것은 C(정확히는 C99)에는 VLA가 있는데 C++에는 없다는 것과, C의 문법에는 constant expression이 없는데 C++에는 있다는 것입니다. C에서는 배열을 선언할 때 첨자로 expression이 들어가지만 그것에 대해 정수형이어야 한다고 제한해 놓은 데 비해서, C++에서는 문법 차원에서 constant expression이 들어가야 한다고 제한하고 있습니다.

근데 이것이 어디에 쓸모가 있는 내용이냐고요? 그냥 재미일 뿐입니다. :-)