gdb로 배열의 값을 보다가..

int fd[argc] 는 gcc 확장이거나 C99에 포함된 variable-length array 구문이네요.

static-length array와 어떻게 다를까해서 static-length array도 포함하도록 코드를 조금 수정했습니다.

#include <stdio.h>
#include <fcntl.h>

int main(int argc, char** argv)
{
        int fd[argc];
        int     ia[10];
        int i;

        for (i = 0; i < argc; i++) {
                fd[i] = open(argv[i], O_RDWR);
                printf("fd[%d]=%d\n", i , fd[i]);
        }

        return 0;
}

(gdb) ptype fd
type = int (*)[0]
(gdb) ptype ia
type = int [10]
(gdb) p fd[0]
$1 = 0xffbef388
(gdb) p fd[1]
$2 = 0xffbef389
(gdb) ptype fd[0]
type = int [0]
(gdb) n
12                      printf("fd[%d]=%d\n",i,fd[i]);
(gdb) n
fd[0]=5
10              for(i=0;i<argc;i++){
(gdb) p fd[0]
$3 = 0xffbef388
(gdb) p *fd[0]
$4 = 5
(gdb) p fd[0][0]
$5 = 5

실행결과를 보시면 int fd[argc]와 int ia[10] 의 타입을 다르게
생각하는 것을 보실 수 있습니다.
gdb는 fd 을 int (*)[0] 의 타입으로 보고 있습니다.
(이는, fd의 크기가 run-time시에 결정되기 때문인 것으로 보입니다.
같은 맥락에서 sizeof(fd) 도 run-time시에 그 값이 *evaluate*되겠죠.)

아마 실제 코드생성에서 gcc (gcc 이용하셨죠? 아님 linux에서 cc이용하셨거나요) 가 variable length array 를 elment type의 size 0인 배열에 대한 포인터 (int [0] 에 대한 포인터)로 잡고서
run-time시에 malloc()해서 공간을 할당받고
(음.. 구현들에서는 malloc이 아니라 stack에서 할당한다고 얼핏 들었던 것 같은데요. malloc이면 내부적으로 free를 불러줘야 할텐데, stack에 잡으면 별도로 free해 줄 필요가 없을 듯한데요. 배열 크기를 크게잡으면 stack 깨지지 않을까요?)

이후 fd[i] 에 대한 참조를 실제로는 *(*fd_internal + i) == fd_internal[0][i] 로 바꾼 것이 아닌가 합니다.

위 실행결과를 보시면
p fd[0][0]

이나

p *fd[0] (p (*fd)[0] 이 더 맞는 표현이겠으나, 현재 상황에서는 equivalent)

값이 5 를 리턴해 준다는 것이 이를 알려주고 있고요.

근데 여기서 좀 이상한 점은,
p fd[0]과
p fd[1]의 값이 틀려진다는 것입니다.
나중값이 현재값보다 1이 더 크지요.
gdb 는 int [0]의 크기를 0이 아니라 1로 생각한 것 같습니다.

gcc에서는 int[0]의 크기를 0으로 생각하고,
fd_internal[0] 과 fd_internal[1]의 값은 같게 처리됩니다.
아래 코드와 실행결과를 참조하세요.

/* Use gcc or C99 compliant compiler */

main()
{
        int     (*fd_internal)[0];
        printf("sizeof(int[0]) is: %d\n", sizeof(int[0]));
        printf("fd_internal[0]=%x, fd_internal[1]=%x\n", fd_internal[0], fd_internal[1]);
}

%  a.out
sizeof(int[0]) is: 0
fd_internal[0]=ffbef9dc, fd_internal[1]=ffbef9dc

제 테스트 환경은 다음과 같습니다. (gcc 버젼이 좀 낮네요.. ㅡ.ㅡ;;)
% gcc --version
2.95.3
% uname -a
SunOS hostname 5.8 Generic_108528-05 sun4u sparc SUNW,Ultra-80

음.. variable length array는 hidden cost (어느 분이 토론게시판에서 쓰신 표현이 좋아서 가져왔습니다.)가 있다고 봐야할까요?