Ambos deveriam resultar na mesma usabilidade, mesmo que seja por ligação, não deveriam?
Não, não quando você considera outros arquivos .c incluindo o mesmo cabeçalho. Se a definição da estrutura não estiver visível para o compilador, os detalhes dessa definição não podem ser usados. Uma declaração sem uma definição (por exemplo, apenas struct s;
) faz com que o compilador falhe se algo tentar olhar para dentro struct s
, enquanto ainda permite, por exemplo, compilar struct s *foo;
(desde que foo
não seja desreferenciado posteriormente).
Compare essas versões de api.h
e api.c
:
Definition in header: Definition in implementation:
+---------------------------------+ +---------------------------------+
| struct s { | | struct s; |
| int internal; | | |
| int other_stuff; | | extern void |
| }; | | api_func(struct s *foo, int x); |
| | +---------------------------------+
| extern void | +---------------------------------+
| api_func(struct s *foo, int x); | | #include "api.h" |
+---------------------------------+ | |
+---------------------------------+ | struct s { |
| #include "api.h" | | int internal; |
| | | int other_stuff; |
| void | | }; |
| api_func(struct s *foo, int x) | | |
| { | | void |
| foo->internal = x; | | api_func(struct s *foo, int x) |
| } | | { |
+---------------------------------+ | foo->internal = x; |
| } |
+---------------------------------+
Este cliente da API funciona com uma das versões:
#include "api.h"
void good(struct s *foo)
{
api_func(foo, 123);
}
Este examina os detalhes de implementação:
#include "api.h"
void bad(struct s *foo)
{
foo->internal = 123;
}
que funcionará com a versão "definição no cabeçalho", mas não com a versão "definição na implementação", pois neste último caso o compilador não tem visibilidade do layout da estrutura:
$ gcc -Wall -c bad.c
bad.c: In function 'bad':
bad.c:5: error: dereferencing pointer to incomplete type
$
Portanto, a versão "definição na implementação" protege contra o uso indevido acidental ou deliberado de detalhes de implementação privados.