Каково определение неполного типа и типа объекта в C?

Каково определение неполного типа и типа объекта в C? Кроме того, не могли бы вы привести несколько примеров каждого из них?

ANSI C99 упоминает обе категории типов в разных местах, хотя мне было трудно понять, что именно означает каждая из них (нет абзаца/предложения, явно определяющего, что они из себя представляют).


c c99 object-type
person Dave    schedule 12.10.2010    source источник
comment
C99 использует ссылочный тип? Действительно? (Если у вас есть спецификация C99, в 6.2.5 подробно обсуждается система типов C; она начинается с определений трех категорий типов верхнего уровня: типов объектов, типов функций и неполных типов)   -  person James McNellis    schedule 12.10.2010
comment
Моя ошибка, это не так. Я уберу это из вопроса. Спасибо за улов!   -  person Dave    schedule 12.10.2010
comment
Это именно тот раздел, на который я ссылался, но не разместил в своем вопросе. ;) 6.2.5 упоминает эти категории верхнего уровня, но, кажется, никогда не говорит, что находится внутри них. Типы функций легко понять, но я все еще не понимаю различий между неполным типом и типом объекта. Для неполных типов типы, которые описывают объекты, но не имеют информации, необходимой для определения их размеров — что является примером чего-то, в чем отсутствует информация, необходимая для определения его размера?   -  person Dave    schedule 12.10.2010

Ответы (2)


arrow_upward
6
arrow_downward

Перейдем к онлайн-стандарту C (проект n1256):

6.2.5 Types

1 The meaning of a value stored in an object or returned by a function is determined by the type of the expression used to access it. (An identifier declared to be an object is the simplest such expression; the type is specified in the declaration of the identifier.) Types are partitioned into object types (types that fully describe objects), function types (types that describe functions), and incomplete types (types that describe objects but lack information needed to determine their sizes).

Примеры неполных типов:

struct f;    // introduces struct f tag, but no struct definition
int a[];     // introduces a as an array but with no defined size

Вы не можете создавать экземпляры неполных типов, но вы можете создавать указатели и имена typedef из неполных типов:

struct f *foo;
typedef struct f Ftype;

Чтобы превратить незавершенный тип структуры в тип объекта, мы должны определить структуру:

struct f
{
  int x;
  char *y;
};
person John Bode    schedule 12.10.2010

arrow_upward
0
arrow_downward

Известные мне типы:

  • Неполный тип
  • тип объекта
  • тип функции

Вот пример (также на кодовой панели: http://codepad.org/bzovTRmz)

#include <stddef.h>

int main(void) {
    int i;
    struct incomplete *p1;
    int *p2;
    int (*p3)(void);

    p1 = NULL; /* p1 is a pointer to a incomplete type */
    p2 = &i;   /* p2 is a pointer to an object */
    p3 = main; /* p3 is a pointer to a function */

    return 0;
}

struct incomplete может быть определен (с определенным размером) в другой единице перевода. Однако этой единице перевода нужен только указатель

person pmg    schedule 12.10.2010