Структуры — PHP: Введение в ООП

Рассмотренные темы: модели данных, абстракция с помощью данных, data hiding (для соблюдения инвариантов) неспецифичны для PHP. Они касаются всех в одинаковой степени и в большинстве языков могут быть реализованы исключительно с помощью функций. С другой стороны, почти каждый язык предоставляет готовые механизмы для моделирования и создания абстракций с помощью данных. В PHP для этого используются классы.

С этого момента мы начнём погружаться в тему объектно-ориентированного программирования, и с ней сопряжены определённые сложности. Во-первых, ООП в PHP содержит невероятно большое количество новых конструкций (а значит — синтаксиса) и терминов, с которыми нам предстоит познакомиться. Во-вторых, за всеми ними прячется идея или идеи, которые очень сложно рассмотреть сквозь нагромождение кода. В-третьих, вокруг ООП ходит множество домыслов и философии, искажающих реальное положение вещей. По этой причине, наше погружение пойдёт медленно. Мы специально будем опускать некоторые детали или недоговаривать до поры, чтобы не нагружать вас лишней информацией, сбивающей с толку. Если у вас уже есть какой-то опыт или вы набрались знаний в интернете, то, вероятно, в вашей голове сформировалась некоторая модель, сквозь которую вы смотрите на ООП. Велика вероятность того, что эта модель идёт вразрез с последующим материалом.

Кроме того, многие тратят годы на то, чтобы понять ООП, и не всегда понимают. Неизбежна ситуация, когда вам будет казаться, что вы все поняли, а через минуту — что вы вообще ничего не поняли. Мозгу нужно время и, главное, практика для адаптации. Самый лучший способ по-настоящему понять ООП — изучить и прорешать вторую главу в SICP.

В предыдущих уроках мы познакомились с универсальным способом реализовывать абстракции — ассоциативным массивом. Он не требует написания никакого дополнительного кода, его можно брать и заполнять так, как нам вздумается в зависимости от ситуации. С другой стороны, он не обеспечивает безопасности типов. Так как любая сущность представляется этим массивом, то по ошибке можно вызывать функцию, предназначенную для одной абстракции, например, точки, на другой абстракции, например, отрезке.

<?php

$num1 = makeRational(10, 20);
// Этот код выполнится, но в $num2 окажется что-то странное
$num2 = makeRational($num1, 20);

Что при этом произойдёт — непонятно и зависит от того, насколько удачно совпали структуры. И если такое произошло, то функция внезапно может отработать без ошибок и даже что-то вернуть. В итоге программа продолжит работать некорректно, вместо того, чтобы завершиться с ошибкой. Кроме того, не существует универсального способа проверить тип данных, так как всё есть массив. Описанные проблемы далеко не всегда являются проблемами. То есть нет движения за отказ от ассоциативных массивов. Но есть ситуации, где действительно лучше использовать специализированные средства.

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

Перед тем как переходить непосредственно к объектам, посмотрим на структуры языка Си, так вы лучше поймёте происходящее. К счастью, их синтаксис достаточно прост и нагляден.

Примеры несколько упрощены, так как использование указателей в данном случае помешает нам понять суть.

// Описание структуры Точка
typedef struct
{
    int x;
    int y;
} point;

Здесь typedef и struct ключевые слова языка, а point — название, которое выбрано программистом для именования структуры. x и y — элементы (члены) структуры.

Структура всегда имеет название, которое может являться её типом, как в примере выше (благодаря typedef). В теле структуры (всё, что между {}) описываются элементы структуры, имена и их типы.

int main()
{
    // Создание переменной p1 типа point.
    point p1 = { .x = 0, .y = 1 };

    // Печать на экран. Доступ к частям структуры происходит через точку p1.x и p1.y
    printf("%d", p1.x); // => 0
    printf("%d", p1.y); // => 1

    // Изменение значения в структуре
    p1.x = 20;
    p1.y = -10;
}

Доступ к элементам структуры происходит через точечную нотацию. Например, если в программе присутствует переменная p1, являющаяся структурой point, то для чтения x нужно написать p1.x, а для чтения y — p1.y. Практически то же самое и в случае присваивания — для изменения x нужно написать p1.x = 5.

Как и ассоциативный массив, тип "структура" в Си — рекурсивная (древовидная) структура данных. Другими словами, элементом структуры может быть другая структура.

typedef struct
{
    point center; // point — это структура
    int radius;
} circle;

int main()
{
    // При создании круга одновременно создается точка
    circle c1 = { .center = { .x = 3, .y = 3 }, .radius = 10 };

    // Доступ к вложенным членам происходит через дополнительные точки
    printf("%d", c1.center.x); // => 3
    printf("%d", c1.radius); // => 10

    // Изменение значения в структуре
    c1.center.y = 20;
    c1.radius = -10;
}

С помощью структур в Си описывают практически любые композитные (составные) данные. Посмотрев на определения структур, можно сказать, с чем работает данная программа, какие сущности в ней выделены и как они связаны между собой.

---

Остались вопросы? Задайте их в разделе «Обсуждение»

Вам ответят команда поддержки Хекслета или другие студенты