Оба должны приводить к одинаковому удобству использования, даже если одно связано с ним, не так ли?
Нет, если рассматривать другие файлы .c с таким же заголовком. Если определение структуры не видно компилятору, детали этого определения использовать нельзя. Объявление без определения (например, просто struct s;
) приводит к сбою компилятора, если что-то пытается заглянуть внутрь struct s
, при этом позволяя ему, например, компилировать struct s *foo;
(до тех пор, foo
пока не будет разыменован позже).
Сравните эти версии api.h
и 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; |
| } |
+---------------------------------+
Этот клиент API работает с любой версией:
#include "api.h"
void good(struct s *foo)
{
api_func(foo, 123);
}
Вот он в деталях реализации:
#include "api.h"
void bad(struct s *foo)
{
foo->internal = 123;
}
который будет работать с версией «определение в заголовке», но не с версией «определение в реализации», поскольку в последнем случае компилятор не имеет видимости макета структуры:
$ gcc -Wall -c bad.c
bad.c: In function 'bad':
bad.c:5: error: dereferencing pointer to incomplete type
$
Таким образом, версия «определение в реализации» защищает от случайного или преднамеренного неправильного использования частных деталей реализации.