c/c++ 배열이 컴파일타임에 크기가 정해지지 않아도 되나요?

ISO C 표준에서는 가변 크기 배열에 대해 언급이 있습니다.

즉 이제는 C 표준인 것이죠.

따라서 다음과 같은 코드를 쓸 수 있습니다. (ISO C 표준에서 따옴)

#include <stddef.h>

size_t fsize3(int n)
{
char b[n+3]; // variable length array
return sizeof b; // execution time sizeof
}

1. Arrays of Variable Length는 ISO C99에 명시된 표준 spec. 입니다. 아직까지 ISO C99의 모든 spec을 구현한 C 컴파일러는 없습니다.

GCC의 경우 http://gcc.gnu.org/c99status.html 보시면 현재까지 구현된 내용에 대해서 보실 수 있습니다.

ISO C99 에 관한 문서는
http://www.cl.cam.ac.uk/~mgk25/volatile/ISO-C-FDIS.1999-04.pdf

2. C++ 이 문법에 유연성을 많이 가지고 있는 것은 사실이지만

for ( int i = 0; i < 10; i++ )
{
...
}

이 예의 경우는 VC가 C++ 표준 규약을 제대로 지키지 않은 문제입니다. C++ spec. 상 위의 int i 는 for의 scope 에서만 유효해야 합니다.

가변길이 배열의 사용시 문법상 주의할 사항이 있군여..

C99 일부 내용입니다.

간략하게 중요한 내용만 요약하자면(허잡 번역 -.-;;)

- 가변적으로 수정되는(VM) 타입의 선언은 반드시 block scope 나 function scope 내에 존재해야 한다

- static, extern 으로 선언된 struct, class 는 가변 길이 배열(VLA)을 쓸 수 없다

- VM 타입으로 선언된 id 는 struct, union 의 멤버가 될 수 없다.

샘플 코드를 보시면 쉽게 이해 되시라고 생각되는군여..

----
6.7.5.2 Array declarators

[#8] EXAMPLE 4 All declarations of variably modified (VM)
types have to be at either block scope or function prototype
scope. Array objects declared with the static or extern
storage class specifier cannot have a variable length array
(VLA) type. However, an object declared with the static
storage class specifier can have a VM type (that is, a
pointer to a VLA type). Finally, all identifiers declared
with a VM type have to be ordinary identifiers and cannot,
therefore, be members of structures or unions.

 
       extern int n;
       int A[n];                                       // Error - file scope VLA.
       extern int (*p2)[n];            // Error - file scope VM.
       int B[100];                             // OK - file scope but not VM.

       void fvla(int m, int C[m][m])   // OK - VLA with prototype scope.
       {
               typedef int VLA[m][m]   // OK - block scope typedef VLA.

               struct tag {
                       int (*y)[n];            // Error - y not ordinary identifier.
                       int z[n];                       // Error - z not ordinary identifier.
               };
               int D[m];                               // OK - auto VLA.
               static int E[m];                // Error - static block scope VLA.
               extern int F[m];                // Error - F has linkage and is VLA.
               int (*s)[m];                    // OK - auto pointer to VLA.
               extern int (*r)[m];             // Error - r had linkage and is
                                                       // a pointer to VLA.
               static int (*q)[m] = &B; // OK - q is a static block
                                                       // pointer to VLA.
       }

ㅡ_-) 위 예제는 VC의 버그로 알고 있습니다.