크기가 0 인 벡터 선언

Question

다음 내용은 무엇을 의미합니까?

struct foo 
{ 
... 
char bar[0]; // Zero size??? 
}; 

나는 나의 동료를 물어 그들은 void* bar를 작성과 동일합니다 내게 말했다.

필자가 아는 한 C 포인터는 단지 4 바이트 변수입니다 (최소한 32 비트 시스템에서는). bar [0]이 포인터 (따라서 4 바이트 길이)임을 컴파일러가 어떻게 알 수 있습니까? 그것은 단지 통사론의 설탕인가?

Answer 1

동료가 거짓말했습니다. (아마도 의도적으로 의도적으로 그렇게하지는 않을 것입니다.)

유연한 배열 구성원이라고하며 C99는 char bar[];이고 C89는 char bar[1];이며 일부 컴파일러는 char bar[0];으로 작성하십시오. 기본적으로, 당신은 단지 구조에 대한 포인터를 사용하고, 마지막에 여분의 공간의 양을 모두 할당 :

const size_t i = sizeof("Hello, world!"); 
struct foo *p = malloc(offsetof(struct foo, bar) + i); 
memcpy(p->bar, "Hello, world!", i); 
// initialize other members of p 
printf("%s\n", p->bar); 

그런 식으로, p->bar 저장 크기가 배열 선언에 의해 제한되지 않는 문자열을하지만, 이것은 여전히 ​​struct의 나머지 부분과 동일한 할당으로 이루어지며 (구성원이 char *이어야하고 두 개의 숫자가 malloc이고 두 개의 숫자가 free이어야합니다).

Answer 2

이것은 컴파일 타임 오류입니다. 동적으로 할당 된 배열 만 0 크기로 할당 할 수 있습니다.

Answer 3

배열은 포인터를 통해 액세스됩니다 (색인은 암시 적 포인터 임). 그래서 나는 그들이 당신에게 이렇게 말하면 포인터와 같이 해석 될 것이라고 생각합니다. 길이가 0 인 배열이므로 아마도 다음 값을 가리킬 것입니다.

이것은 지식이 아니고 의심스러운 부분입니다. :)

비록 당신이 아무 것도 할 방법이 아니에요 ... 그들이 포인터를 원한다면 그들은 포인터를 사용해야합니다. 왜 그들이 거기에 있는지 말할 수 없다면 안됩니다.

Answer 4

Chris '대답은 정확하지만 아마 객체를 약간 다르게 할당 할 것입니다.

int n = ...; // number of elements you want 
struct foo *p = malloc(offsetof(struct foo, bar[n])); 

는

for (int i = 0; i < n; ++i) { 
    p->bar[i] = ...; 
} 

중요한 점은 크리스 '대답은 sizeof(char)==1 때문에 작동한다는 것입니다 그것을 반복하지만, 다른 유형, 당신은 sizeof *bar에 의해 명시 적으로 곱해야 할 것이다.