C : C11 표준에서 완전하지 않은 유형으로 완성 유형

Question

번역 단위의 완전한 유형이 불완전한 유형이 될 수있는 상황이 있습니까? C11 standard (6.2.5 절)의 각주에있는 다음 진술은이 질문을 던졌습니다.

A type may be incomplete or complete throughout an entire translation unit, or it may change states at different points within a translation unit.

불완전한 유형이 번역 단위에서 완전한 유형이되는 사례가 많습니다. 그러나 반대 시나리오가 가능했는지 궁금합니다. 내 직감은 그렇지 않다고 말해 줄거야.

Answer 1

복잡한 상황의 예는 다음과

extern double A[]; 

double* f(void) { 
    extern double A[5]; 
    enum { a = sizeof(A), }; //< A has complete type 
    return A; 
} 

enum { b = sizeof(A), }; //< A has incomplete type: error 

double A[5]; 

enum { c = sizeof(A), }; //< A has complete type