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, с другой стороны, — это указатель на 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-7.5.0/gcc/Type-encoding.html
