Разработка расширений для PHP. Данные и переменные. Часть 1

PHP - язык c динамической типизацией данных. При динамической типизации данных связывание переменной с ее типом происходит в момент присваивания значения.В переменных PHP можно хранить любые данные, они будут автоматически преобразованы в тот тип, который на данный момент необходим, также в различных участках программы переменной можно присваивать данные различных типов.

Типы данных

В Zend Engine все типы данных представлены структурой zval (Zend Value) которая имеет следующие объявление:

struct _zval_struct {  
    /* Хранимое значение */
    zvalue_value value;
    /* Счетчик ссылок */
    zend_uint refcount__gc;
    /* Тип хранимого значения в value */
    zend_uchar type;
    /* Флаг ссылки на другие данные */
    zend_uchar is_ref__gc;
};

typedef struct _zval_struct zval;  

В элементе value хранится данные (значение переменной), value - объединение, которое объявлено следующим образом:

typedef union _zvalue_value {  
    long lval;  // Элемент для хранения целочисленного значения
    double dval; // Элемент для хранения значения с плавающей точкой
    struct {
        char *val;
        int len;
    } str; // Элемент для хранения строковых данных
    HashTable *ht; // Элемент для хранения хэш-таблиц (массивов)
    zend_object_value obj; // Элемент для хранения объектов
} zvalue_value;

Это объединение позволяет хранить данные следующих типов:

Zend Engine имеет в своем составе набор констант с префиксом IS_*, которые содержат числовой код типа данных из вышеперечисленной таблицы:

Значение вышеперечисленных констант присваивается элементу type структуры zval и определяет какой тип данных храниться в элементе value структуры в данный момент.

Константы объявлены следующим образом:

#define IS_NULL     0
#define IS_LONG     1
#define IS_DOUBLE   2
#define IS_BOOL     3
#define IS_ARRAY    4
#define IS_OBJECT   5
#define IS_STRING   6
#define IS_RESOURCE 7

Пример проверки типа данных хранимых в структуре zval:

void print_type(zval *var)  
{
    switch (Z_TYPE_P(var)) {
        case IS_NULL:
            zend_printf("The variable is NULL");
            break;
        case IS_BOOL:
            zend_printf("The variable is BOOL");
            break;
        case IS_LONG:
            zend_printf("The variable is LONG");
            break;
        case IS_DOUBLE:
            zend_printf("The variable is DOUBLE");
            break;
        case IS_STRING:
            zend_printf("The variable is STRING");
            break;
    }
}

Получение типа данных (переменной)

Для получения типа данных хранимых, в данный момент в структуре zval, Zend Engine предоставляет макросы Z_TYPE_* (Z_TYPE, Z_TYPE_P, Z_TYPE_PP). Макрос Z_TYPE в качестве параметра принимает структуру zval (не косвенное указание).

Суффикс _P в имени макроса Z_TYPE говорит о том, что в качестве параметра макрос принимает указатель на структуру zval (косвенный указатель), суффикс _PP в названии макроса Z_TYPE говорит о том, что в качестве параметра макрос принимает указатель на указатель (косвенный указатель второго уровня)

Конечно не будет ошибкой если для получения типа данных структуры zval обратиться напрямую к элементу type и сравнить его значение с константами семейства IS_:

void print_var_type(zval *var)  
{
    if (var->type == IS_LONG) {
        zend_printf("The variable is of type long");
    } else {
        zend_printf("Inccorrect type of variable");
    }
}

или

void print_var_type(zval *var)  
{
    switch(var->type) {
           case IS_NULL:
                zend_printf("The variable is NULL");
                break;
             ....
           default:
                zend_printf("The variable is of type %d", var->type);
                break;
   }
}

Данный способ проверки типа данных не рекомендуется использовать, так как никто не даст гарантии, что в будущем тип данных будет храниться в структуре zval таким же образом. Использование макросов Z_TYPE дает гарантию сохранения совместимости расширений между версиями PHP.

Выше приведенные примеры должны быть переписаны следующим образом:

void print_var_type(zval *var)  
{
    if (Z_TYPE_P(var) == IS_LONG) {
        zend_printf("The variable is of type long");
    } else {
        zend_printf("Inccorrect type of variable");
    }
}

void print_var_type(zval *var)  
{
  switch(Z_TYPE_P(var)) {
     case IS_NULL:
        zend_printf("The variable is NULL");
        break;
        ....
      default:
        zend_printf("The variable is of type %d", Z_TYPE_P(var->type));
        break;
   }
}