FO
мне не нравится sphinx
тогда точно твоих =)
Size: a a a
2021 February 14
t
я за doxygen и ddoc
t
sergevp
@ttldtor, Ведь С не требует описания структуры, чтобы указать её в параметрах: https://gcc.godbolt.org/z/4hWWME
@ttldtor, Ведь С не требует описания структуры, чтобы указать её в параметрах: https://gcc.godbolt.org/z/4hWWME
а это в стандарте прям описано, да?
t
тогда я не понимаю, зачем писали везде void*
t
или это синоним получается?
c
sergevp
Ну, готовой ссылки на стандарт у меня под рукой нет, но да, для си это просто указатель, и ему не важно, на что. Насколько я помню, для указателей на структуру не нужно описание самой структуры. Даже forward declaration не обязателен.
Ну, готовой ссылки на стандарт у меня под рукой нет, но да, для си это просто указатель, и ему не важно, на что. Насколько я помню, для указателей на структуру не нужно описание самой структуры. Даже forward declaration не обязателен.
t
тут немного устаревший, патюсь найти http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
t
пишут, что вот это UB:
When the complete type is needed, an incomplete structure or union type is notcompleted in the same scope by another declaration of the tag that defines the content
c
sergevp
А needed ли тут complete type?
А needed ли тут complete type?
t
ну, в принципе, компилятор может "увидеть" непонятное имя и указатель, решить "а, пофиг, линковщик разберётся"
только вот это я не могу найти, для меня это выглядит как unspecified behavior
только вот это я не могу найти, для меня это выглядит как unspecified behavior
c
sergevp
Не, там что-то более сложное. В https://cigix.me/c17#6.7.2.3.p8 написано, что если где-то встречается:
struct XXX <что-то>
и при этом `struct XXX` раньше не объявялось, то эта строка считается его объявлением.
Не, там что-то более сложное. В https://cigix.me/c17#6.7.2.3.p8 написано, что если где-то встречается:
struct XXX <что-то>
и при этом `struct XXX` раньше не объявялось, то эта строка считается его объявлением.
c
sergevp
Но вот тут https://stackoverflow.com/a/2895369 кто-то отметил, что у объявления есть область видимости. И (если `struct XXX` ещё не объявлялось) строки вида:
void foo(struct XXX *p);
void bar(struct XXX *p);
void baz(struct XXX *p);
объявляют три РАЗНЫЕ структуры, у каждой функции свою.
Но вот тут https://stackoverflow.com/a/2895369 кто-то отметил, что у объявления есть область видимости. И (если `struct XXX` ещё не объявлялось) строки вида:
void foo(struct XXX *p);
void bar(struct XXX *p);
void baz(struct XXX *p);
объявляют три РАЗНЫЕ структуры, у каждой функции свою.
c
sergevp
Но если объявление было, пусть даже неполное:
struct X;
void foo(struct X *p);
void bar(struct X *p);
void baz(struct X *p);
то тогда структуры будут уже одинаковыми.
Но если объявление было, пусть даже неполное:
struct X;
void foo(struct X *p);
void bar(struct X *p);
void baz(struct X *p);
то тогда структуры будут уже одинаковыми.
t
sergevp
Но вот тут https://stackoverflow.com/a/2895369 кто-то отметил, что у объявления есть область видимости. И (если `struct XXX` ещё не объявлялось) строки вида:
void foo(struct XXX *p);
void bar(struct XXX *p);
void baz(struct XXX *p);
объявляют три РАЗНЫЕ структуры, у каждой функции свою.
Но вот тут https://stackoverflow.com/a/2895369 кто-то отметил, что у объявления есть область видимости. И (если `struct XXX` ещё не объявлялось) строки вида:
void foo(struct XXX *p);
void bar(struct XXX *p);
void baz(struct XXX *p);
объявляют три РАЗНЫЕ структуры, у каждой функции свою.
без ссылки на стандарт такие вещи не принимаются же как ответы)
c
sergevp
Ну, да, я только имею ввиду, что это не просто unspecified behavior... Он явно где-то specified...
Ну, да, я только имею ввиду, что это не просто unspecified behavior... Он явно где-то specified...
c
sergevp
А! Кажется, разобрался. В общем, в С есть такая категория типов "incomplete type" — это тип, у которого не известен размер объекта ( https://cigix.me/c17#6.2.5.p1 ). В частности "void" — это "incomplete type" ( https://cigix.me/c17#6.2.5.p19 ). Структура или union с неизвестным содержимым — это тоже "incomplete type" ( https://cigix.me/c17#6.2.5.p22 ). И forward declaration структуры тоже объявляет её как incomplete type ( https://cigix.me/c17#6.7.2.3.p4 ).
А! Кажется, разобрался. В общем, в С есть такая категория типов "incomplete type" — это тип, у которого не известен размер объекта ( https://cigix.me/c17#6.2.5.p1 ). В частности "void" — это "incomplete type" ( https://cigix.me/c17#6.2.5.p19 ). Структура или union с неизвестным содержимым — это тоже "incomplete type" ( https://cigix.me/c17#6.2.5.p22 ). И forward declaration структуры тоже объявляет её как incomplete type ( https://cigix.me/c17#6.7.2.3.p4 ).
c
sergevp
Так вот.
Так вот.
c
sergevp
https://cigix.me/c17#footnote131 : An incomplete type may only by used when the size of an object of that type is not needed. [...] for example when a pointer to or a function returning a structure or union is being declared.
https://cigix.me/c17#footnote131 : An incomplete type may only by used when the size of an object of that type is not needed. [...] for example when a pointer to or a function returning a structure or union is being declared.
c
sergevp
@ttldtor> тут немного устаревший, патюсь найти http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
В этой ссылке это сноска 111 пункта 6.7.2.3p4
@ttldtor> тут немного устаревший, патюсь найти http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
В этой ссылке это сноска 111 пункта 6.7.2.3p4
c
Minoru
утро!
утро!