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 |
целое enum кодируется точно так же, как целочисленный тип, который использует компилятор для него, что зависит от значений перечисления. Часто компилятор использует unsigned int, который затем кодируется как I. |
| неизвестный тип | ? |
| Сложные типы | j за которым следует внутренний тип. Например, _Complex double кодируется как "jd". |
| битовые поля |
b за которым следует начальная позиция битового поля, тип битового поля и размер битового поля (кодирование битовых полей было изменено по сравнению с кодированием компилятора NeXT, см. ниже) |
Кодирование битовых полей было изменено, чтобы позволить битовым полям правильно обрабатываться функциями времени выполнения, которые вычисляют размеры и выравнивание типов, содержащих битовые поля. Предыдущее кодирование содержало только размер битового поля. Используя только эту информацию, невозможно надежно вычислить занимаемый битовым полем размер. Это очень важно при наличии сборщика мусора Boehm, потому что объекты выделяются с использованием специализированной памяти, доступной в этом сборщике. Выделение специализированной памяти требует информации о расположении указателей внутри объекта.
Позиция в битовом поле — это позиция, отсчитываемая в битах, ближайшего к началу структуры бита.
Неатомарные типы кодируются следующим образом:
| указатели | ‘^’ за которым следует указываемый тип. |
| массивы | ‘[’ за которым следует количество элементов в массиве, затем тип элементов, и затем ‘]’ |
| структуры | ‘{’ за которым следует имя структуры (или ‘?’, если структура безымянная), знак ‘=’, тип членов и ‘}’ |
| объединения | ‘(’ за которым следует имя структуры (или ‘?’, если объединение безымянное), знак ‘=’, тип членов и ‘)’ |
| вектора | ‘![’ за которым следует vector_size (количество байт, составляющих вектор), за которым следует запятая, выравнивание вектора (в байтах), тип элементов и ‘]’ |
Вот некоторые типы и их кодирования, сгенерированные компилятором на машине 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 будет утеряно.
| • Кодирование старых типов: | ||
| • @encode: | ||
| • Подписи методов: |
Далее: Сбор мусора, Предыдущее: Выполнение кода перед main, Вверх: Objective-C [Содержание][Индекс]
© Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
https://gcc.gnu.org/onlinedocs/gcc-5.5.0/gcc/Type-encoding.html
