C에서 빈 구조체

C에서 아주 적은 것은 불법이며, 이는 당신이 할 수 없다는 것을 의미합니다. 오히려 많은 것들이 C 표준에 의해 정의되지 않습니다. 즉, C 표준은 C 표준에 따라 어떤 일이 일어날 지 말하지 않습니다. 명명 된 멤버가없는 구조는 이런 것입니다.

C 2018 6.7.2.1 8은 부분적으로 다음과 같이 말합니다 :

와이즈 비즈

"알 수없는 유형"으로 사용할 무언가가 필요하고

If the struct-declaration-list does not contain any named members, either directly or via an anonymous structure or anonymous union, the behavior is undefined.

를 사용하고 싶지 않은 경우 다음과 같이 태그는 알려져 있지만 내용은없는 구조를 선언 할 수 있습니다.

void

그런 다음 이러한 구조에 대한 포인터를 사용할 수 있습니다 (예 : 포인터 struct foo; 를 정의 할 수 있음) )하지만 컴파일러는 이러한 구조의 크기 또는 내용을 알지 못하므로 포인터를 전달하고 외부 루틴 (내용에 대해 알고있는)을 요청하는 것 외에는 할당하거나 배열을 관리하거나 다른 방법으로 사용할 수 없습니다 ).

일반적으로 한 모듈의 C 루틴과 다른 모듈의 C 루틴 간 작업에서 :

구조의 내용을 모르는 한 소스 모듈에서 포인터 ( struct foo *p; ).

다른 소스 모듈 (종종 소프트웨어 라이브러리)은 구조의 내용에 대해 알고있을 것입니다. 자체 소스 코드 내에서 struct foo * 를 사용하여 전체 구조를 정의합니다. 첫 번째 모듈에 대해이 구조에서 서비스를 수행합니다.

이러한 두 C 모듈 사이에서 C 표준의 규칙이 동작을 정의합니다.

C와 Ada 사이의 인터페이스이므로 C와 Ada 구현에서 이러한 상호 작용 규칙을 제공해야합니다.

Ada 바인딩을 C 라이브러리에 작성하는 관점에서, struct foo { /* various things */ }; 에 사용할 Ada Convention-C 액세스 유형은 중요하지 않습니다.  지정합니다. 가져온 C 함수에 전달하는 것을 제외하고는 유형의 객체로 아무것도 수행하지 않을 것입니다. 나는 보통

void*

type Void_Ptr is access all Integer; pragma Convention (C, Void_Ptr);