8.3 Кодирование типов

Это расширенный раздел. Кодирование типов широко используется компилятором и во время выполнения, но вам, как правило, не нужно знать о них, чтобы использовать Objective-C.

Компилятор Objective-C генерирует кодирование типов для всех типов. Эти кодирования типов используются во время выполнения для получения информации о селекторах и методах, а также об объектах и классах.

Типы кодируются следующим образом:

`_Bool`	`B`
`char`	`c`
`unsigned char`	`C`
`short`	`s`
`unsigned short`	`S`
`int`	`i`
`unsigned int`	`I`
`long`	`l`
`unsigned long`	`L`
`long long`	`q`
`unsigned long long`	`Q`
`float`	`f`
`double`	`d`
`long double`	`D`
`void`	`v`
`id`	`@`
`Class`	`#`
`SEL`	`:`
`char*`	`*`
`enum`	Перечисление `enum` кодируется точно так же, как целочисленный тип, используемый компилятором для него, что зависит от значений перечисления. Часто компилятор использует `unsigned int`, который затем кодируется как `I`.
неизвестный тип	`?`
Сложные типы	`j`, за которым следует внутренний тип. Например, `_Complex double` кодируется как "jd".
битовые поля	`b` за которым следует начальная позиция битового поля, тип битового поля и размер битового поля (кодирование битовых полей было изменено по сравнению с кодированием компилятора NeXT, см. ниже)

Кодирование битовых полей было изменено для правильной обработки битовых полей функциями времени выполнения, которые вычисляют размеры и выравнивание типов, содержащих битовые поля. Предыдущее кодирование содержало только размер битового поля. Используя только эту информацию, невозможно надежно вычислить занимаемый битовым полем размер. Это очень важно в присутствии сборщика мусора Boehm, поскольку объекты выделены с использованием имеющихся в этом сборщике типов памяти. Выделение типов памяти требует информации о том, где расположены указатели внутри объекта.

Позиция в битовом поле — это позиция, отсчитываемая в битах, ближайшего к началу структуры бита.

Неатомарные типы кодируются следующим образом:

указатели	‘`^`’ за которым следует указываемый тип.
массивы	‘`[`’ за которым следует количество элементов в массиве, за которым следует тип элементов, за которым следует ‘`]`’
структуры	‘`{`’ за которым следует имя структуры (или ‘`?`’, если структура безымянная), знак ‘`=`’, тип членов и ‘`}`’
объединения	‘`(`’ за которым следует имя структуры (или ‘`?`’, если объединение безымянное), знак ‘`=`’, тип членов и ‘`)`’
вектора	‘`![`’ за которым следует размер_вектора (количество байтов, составляющих вектор), за которым следует запятая, затем выравнивание (в байтах) вектора, затем тип элементов, за которым следует ‘`]`’

Вот некоторые типы и их кодирования, сгенерированные компилятором на машине i386:

Тип Objective-C	Кодирование компилятора
int a[10];	`[10i]`
struct { int i; float f[3]; int a:3; int b:2; char c; }	`{?=i[3f]b128i3b131i2c}`
int a __attribute__ ((vector_size (16)));	`![16,16i]` (выравнивание зависит от машины)

В дополнение к типам компилятор также кодирует спецификаторы типов. В таблице ниже описано кодирование текущих спецификаторов типов Objective-C:

Спецификатор	Кодирование
`const`	`r`
`in`	`n`
`inout`	`N`
`out`	`o`
`bycopy`	`O`
`byref`	`R`
`oneway`	`V`

Спецификаторы типов кодируются непосредственно перед типом. Однако в отличие от типов, спецификаторы типов кодируются только тогда, когда они появляются в типах аргументов методов.

Обратите внимание, как const взаимодействует с указателями:

Тип Objective-C	Кодирование компилятора
const int	`ri`
const int*	`^ri`
int *const	`r^i`

const int* является указателем на const int, и поэтому кодируется как ^ri. int* const, наоборот, является указателем на const на int, и поэтому кодируется как r^i.

Наконец, существует осложнение при кодировании const char * по сравнению с char * const. Поскольку char * кодируется как *, а не как ^c, нет способа выразить тот факт, что r относится к указателю или к указанному им типу.

Следовательно, по соглашению предполагается, что r* означает const char * (поскольку это чаще всего подразумевается), и нет способа закодировать char *const. char *const будет просто закодировано как *, а const будет утеряно.

Далее: Сбор мусора, Предыдущее: Выполнение кода до main, Наверх: Objective-C [Содержание][Индекс]

© Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
https://gcc.gnu.org/onlinedocs/gcc-9.5.0/gcc/Type-encoding.html

• Кодирование типов (устаревшее):
• @encode:
• Подписи методов: