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-8.5.0/gcc/Type-encoding.html
