Является ли хорошей практикой скрывать определение структуры в C?

Question

Я думаю, что скрытие определения структуры делает код более безопасным, поскольку вы применяете с помощью компилятора, к которому не может быть напрямую связан ни один из членов структуры. Недостатком является то, что пользователи не могут объявлять переменные типа структуры в стеке, потому что размер структуры неизвестен, а иногда желательно избегать использования malloc(). Это может быть (с частичным успехом) решение с alloca(3), которое присутствует во всех основных реализациях libc, хотя эта функция не соответствует POSIX. Учитывая эти небольшие плюсы и минусы, может ли такой дизайн вообще считаться хорошим?

В lib.h:

struct foo; 
extern size_t foo_size; 
int foo_get_bar (struct foo *); 

В lib.c:

struct foo { 
    int bar; 
}; 

size_t foo_size = sizeof foo; 

int foo_get_bar (struct foo *foo) 
{ 
    return foo->bar; 
} 

В example.c:

#include "lib.h" 

int bar(void) { 
    struct foo *foo = alloca (foo_size); 
    foo_init (foo); 
    return foo_get_bar (foo); 
} 

UPD: Обновленный вопрос о том, является явным, что идея используя alloca(), должен иметь возможность объявлять структуру в стеке, но скрывать ее определение.

Answer 1

Да, это хорошая практика, чтобы скрыть данные.

Альтернатива alloca(foo_size); заключается в том, чтобы объявить выравниваемый массив символов и выполнить преобразование указателя.

Преобразование указателя не полностью переносимо.

Массив символов должен быть VLA, если размер должен быть переменной, а не постоянной времени компиляции.

extern size_t size; 

struct sfoo; 

#include <stddef.h> 

int main(void) { 
    unsigned char _Alignas (max_align_t) cptr[size]; 
    // or unsigned char _Alignas (_Complex long double) cptr[size]; // some widest type 
    struct sfoo *sfooptr = (struct sfoo *) cptr; 

Если VLAS не желательны/доступны, объявить размер как константа, как #define foo_N 100, который наверняка будет , по крайней мере столько, сколько нужно.

Answer 2

Функция bar вызывает неопределенное поведение: структура, на которую указывает foo, неинициализирована.

Если вы собираетесь скрыть детали структуры, укажите foo_create(), который выделяет один и инициализирует его, и foo_finalize, который освобождает любые ресурсы и освобождает его.

То, что вы предлагаете, может быть сделано для работы, но является склонным к ошибкам, а не общим решением.