Новая объектная модель.

Обработка объектов в Zend Engine 2 полностью переработана: повышена производительность и добавлены новые возможности. В предыдущих версиях PHP объекты обрабатывались так же, как и переменные простых типов (например, целочисленные значения или строки). Недостаток такого подхода в том, что при присваивании (или передаче объекта как параметра функции) происходило копирование объекта. При новом подходе, объекты передаются по ссылке, а не по значению (если вам незнакома эта терминология, можете представить себе ссылку как уникальный идентификатор объекта).

Многие PHP-программисты никогда не задумывались об аспекте копирования объекта, присущем старой объектной модели; следовательно, большинство существующих PHP-программ при переходе на PHP5 будут нормально работать без необходимости модификации кода, или же требуемая модификация будет весьма несущественной.

Частные и защищенные элементы класса

В PHP5 введены частные (private) и защищенные (protected) переменные-элементы класса (member variables), что позволяет определять область их видимости.

Пример:

Защищенные (protected) переменные-элементы класса доступны методам (methods) класса, в котором они объявлены, и методам производного от него класса. Частные (private) элементы класса доступны только методам класса, в котором они объявлены.

class MyClass {
 private $Hello = "Hello, World!\n";
 protected $Bar = "Hello, Foo!\n";
 protected $Foo = "Hello, Bar!\n";

 function printHello() {
 print "MyClass::printHello() " . $this->Hello;
 print "MyClass::printHello() " . $this->Bar;
 print "MyClass::printHello() " . $this->Foo;
 }
}

class MyClass2 extends MyClass {
 protected $Foo;
 
 function printHello() { 
 MyClass::printHello(); /* Выведет значение */
 print "MyClass2::printHello() " . $this->Hello; /* Ничего не выведет */
 print "MyClass2::printHello() " . $this->Bar; /* Не выведет значение
 (переменная не определена)*/
 print "MyClass2::printHello() " . $this->Foo; /* Выведет значение */
 }
}

$obj = new MyClass();
print $obj->Hello; /* Ничего не выведет */
print $obj->Bar; /* Ничего не выведет */
print $obj->Foo; /* Ничего не выведет */
$obj->printHello(); /* Выведет значение */

$obj = new MyClass2();
print $obj->Hello; /* Ничего не выведет */
print $obj->Bar; /* Ничего не выведет */
print $obj->Foo; /* Ничего не выведет */
$obj->printHello();
?> 

Частные и защищенные методы

В PHP5 также введены частные (private) и защищенные (protected) методы.

Пример:

class Foo {
 private function aPrivateMethod() {
 echo "Вызван метод Foo::aPrivateMethod().\n";
 }

 protected function aProtectedMethod() {
 echo "Вызван метод Foo::aProtectedMethod().\n";
 $this->aPrivateMethod();
 }
}

class Bar extends Foo {
 public function aPublicMethod() {
 echo "Вызван метод Bar::aPublicMethod().\n";
 $this->aProtectedMethod();
 }
}

$o = new Bar;
$o->aPublicMethod();
?>

Существующие программы, не испольующие собственные классы или функции, названные "public", "protected" или "private", будут работать без каких-либо изменений.

Абстрактные классы и методы

В PHP5 также введены абстрактные (abstract) классы и методы. Абстрактный метод представляет собой только объявление метода и не предусматривает его реализации. Класс, содержащий абстрактные методы, должен быть объявлен абстрактным.

Пример:

abstract class AbstractClass {
 abstract public function test();
}

class ImplementedClass extends AbstractClass {
 public function test() {
 echo "Вызван метод ImplementedClass::test().\n";
 }
}

$o = new ImplementedClass;
$o->test();
?>

Создание экземпляра абстрактного класса невозможно.

Существующие программы, не испольующие собственные классы или функции, названные "abstract", будут работать без каких-либо изменений.

Интерфейсы

В PHP5 введены интерфейсы (interfaces). Класс может реализовывать произвольное число интерфейсов.

Пример:

interface Throwable {
 public function getMessage();
}

class Exception implements Throwable {
 public function getMessage() {
 // ...
 }
}
?>

Существующие программы, не испольующие собственные классы или функции, названные "interface" или "implements", будут работать без каких-либо изменений.

Уточнение типа класса (Class Type Hints)

Оставаясь слабо типизированным языком, PHP5 предоставляет возможность использовать уточнения типа класса (class type hints) для указания ожидаемого класса объекта, передаваемого методу в качестве параметра.

Пример:

interface Foo {
 function a(Foo $foo);
}

interface Bar {
 function b(Bar $bar);
}

class FooBar implements Foo, Bar {
 function a(Foo $foo) {
 // ...
 }

 function b(Bar $bar) {
 // ...
 }
}

$a = new FooBar;
$b = new FooBar;

$a->a($b);
$a->b($b);
?>

Уточнения типов класса не проверяются не при компиляции, как в большинстве языков со строгой типизацией, а во время исполнения. Это означает, что следующие фрагменты кода эквивалентны:

function foo(ClassName $object) {
 // ...
}
?>

function foo($object) {
 if (!($object instanceof ClassName)) {
 die("Argument 1 must be an instance of ClassName");
 }
}
?>

Данный синтаксис применим только к объектам/классам, но не к встроенным типам данных.

Ключевое слово final

В PHP5 введено ключевое слово "final", используемое для определения финальных элементов и методов класса. Элементы и методы, в объявлении которых указано ключевое слово "final", нельзя переопределить в классе-потомке.

Пример:

class Foo {
 final function bar() {
 // ...
 }
}
?>

Также возможно использовать ключевое слово "final" в определении самого класса, что запретит создание производных от него классов. При этом все элементы и методы такого класса автоматически являются финальными, и определять их таковыми явно нет необходимости.

Пример:

final class Foo {
 // определение класса
}

// следующая строка вызовет ошибку времени выполнения
// class Bork extends Foo {}
?>

Свойства не могут быть финальными.

Существующие программы, не испольующие собственные классы или функции, названные "final", будут работать без каких-либо изменений.

[fixxxer] Примечание: в PHP все методы класса являются виртуальными.

Клонирование объектов

В PHP4 отсутствовала возможность определить конструктор копии, который бы выполнялся при создании копии объекта. PHP4 осуществлял побайтовое копирование объекта, создавая точные копии всех его свойств.

Данное поведение PHP4 не всегда позволяло достичь нужного результата. Хорошим примером необходимости конструктора копии является объект, представляющий GTK-окно и содержащий его ресурсы: при создании копии такого объекта, вам, скорее всего, хотелось бы создать новое окно с теми же свойствами, и получить объект, содержащий ресурсы нового окна. Еще один пример: объект хранит ссылку на другой используемый им объект, и при создании копии хотелось бы получить ссылку на новый экземпляр объекта, а не на тот же.

Для создания копии объекта, вызывается его метод __clone():

$copy_of_object = $object->__clone();
?>

При выполнении данной операции, PHP5 сначала проверит, определен ли метод __clone(). Если он не определен, PHP вызовет метод __clone(), созданный под умолчанию, который осуществит побайтное копирование всех свойств объекта. В случае же, если метод __clone() определен, он отвечает за установку требуемых свойств создаваемой копии объекта. Для удобства, Zend Engine предоставляет функцию, импортирующую все свойства копируемого объекта, так что достаточно переопределить только те свойства, которые необходимо изменить.

Пример:

class MyCloneable {
 static $id = 0;

 function MyCloneable() {
 $this->id = self::$id++;
 }

 function __clone() {
 $this->name = $that->name;
 $this->address = "New York";
 $this->id = self::$id++;
 }
}

$obj = new MyCloneable();

$obj->name = "Hello";
$obj->address = "Tel-Aviv";

print $obj->id . "\n";

$obj = $obj->__clone();

print $obj->id . "\n";
print $obj->name . "\n";
print $obj->address . "\n";
?>

Единое имя конструкторов

PHP5 позволяет определить метод-конструктор класса. Классы, имеющие конструктор, вызывают его для каждого создаваемого объекта. Обычно конструкторы используются для присваивания переменным-элементам класса начальных значений, необходимых до использования объекта.

В PHP4 конструктором явзяется метод, который называется так же, как сам класс. Так как часто необходимо вызывать конструктор базового класса из класса производного, такой принцип именования конструкторов затрудняет работу со сложной иерархией классов. Если базовый класс изменен, приходится также менять имя вызываемого конструктора базового класса в коде производного класса.

В PHP5 введен стандартный способ объявления конструктора класса. Конструктором в PHP5 является метод с именем __construct().

Пример:

class BaseClass {
 function __construct() {
 print "В конструкторе базового класса BaseClass\n";
 }
}

class SubClass extends BaseClass {
 function __construct() {
 parent::__construct();
 print "В конструкторе производного класса SubClass\n";
 }
}

$obj = new BaseClass();
$obj = new SubClass();
?>

Для обратной совместимости, предусмотрено следующее: если PHP5 не находит функцию __construct() в определении данного класса, используется старый стиль именования конструкторов. Таким образом, единственный случай несовместимости при переходе на PHP5 - присутствие в объявлении класса метода с именем __construct().

Деструкторы

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

PHP5 поддерживает деструкторы, аналогично другим объектно-ориентированным языкам, таким как Java. Когда последняя ссылка на объект уничтожена, прежде, чем память, выделенная объекту, уничтожается, вызывается метод класса с именем __destruct() без каких-либо параметров.

Пример:

class MyDestructableClass {
 function __construct() {
 print "In constructor\n";
 $this->name = "MyDestructableClass";
 }

 function __destruct() {
 print "Destroying " . $this->name . "\n";
 }
}

$obj = new MyDestructableClass();
?>

Подобно конструкторам, деструкторы базовых классов не вызываются автоматически. Для вызова деструктора базового класса необходимо явно указать вызов метода parent::__destruct() в коде деструктора.

[fixxxer] Примечание: само собой разумеется, при портировании PHP4-скриптов возможной несовместимостью будет наличие методов __destruct(), используемых в других целях. Видимо, в связи с мизерной вероятностью такого случая разработчики не сочли нужным об этом упомянуть.

Константы-элементы класса

В PHP5 введены константы-элементы класса:

class Foo {
 const constant = "constant";
}

echo "Foo::constant = " . Foo::constant . "\n";
?>

Существующие программы, не испольующие собственные классы или функции, названные "const", будут работать без каких-либо изменений.

Исключения (exceptions)

В PHP4 не было обработки исключений. В PHP5 реализована обработка исключений, подобно другим языкам программирования. Обратите внимание на поддержку инструкций "catch all" и "finally". Исключения можно повторно посылать из блоков catch. Также, возможно наличие нескольких блоков catch. В этом случае, полученное исключение обрабатывается первым по порядку блоком catch, instanceof которого совпадает с типом класса, экземпляром которого является исключение. При завершении работы блока catch, выполнение программы продолжается с инструкции, следующей за последним блоком catch. Если ни одного подходящего по "instanceof" блока catch не обнаружено, продолжается поиск других блоков try/catch. Если же и этот поиск не увенчается успехом, исключение считается необработанным, выводится сообщение об ошибке, и выполнение программы прерывается.

Пример:

class MyException extends Exception {
 function Display() {
 print "MyException: $this->exception\n";
 }
}

class MyExceptionFoo extends MyException {
 function __construct($exception) {
 $this->exception = $exception;
 }

 function Display() {
 print "MyException: $this->exception\n";
 }
}

try {
 throw new MyExceptionFoo('Hello');
}
catch (MyException $exception) {
 $exception->Display();
}
catch (Exception $exception) {
 echo $exception;
}
?>

Несмотря на то, что вышеприведенный пример демонстрирует возможность определения исключения как элемента класса, не являющегося производным от класса Exception, так делать не рекомендуется, так как встроенный класс Exception позволяет собрать и вывести информацию, иначе недоступную.
Начиная с PHP5beta4, все исключения должны быть унаследованы от встроенного класса Exception. Это позволяет реализовать catch all в виде catch(Exception $e).

Примером использования данной возможности является нижеприведенный код, снабженный комментариями, описывающими каждое свойство и, соответственно, методы, используемые для чтения их значений. Так как некоторые методы используются для внутренних целей, они объявлены финальными (final). Вообще, в объявлении класса Exception довольно много ограничений, так как необходимо гарантировать совпадение ожидаемого результата с действительным.

Пример:

class Exception {
 function __construct(string $message=NULL, int code=0) {
 if (func_num_args()) {
 $this->message = $message;
 }
 $this->code = $code;
 $this->file = __FILE__; // соответствует оператору throw
 $this->line = __LINE__; // соответствует оператору throw
 $this->trace = debug_backtrace();
 $this->string = StringFormat($this);
 }

 protected $message = 'Unknown exception'; // текст сообщения об исключении
 protected $code = 0; // код исключения, определяемый пользователем
 protected $file; // имя файла, где произошло исключение
 protected $line; // строка, где произошло исключение

 private $trace; // backtrace исключения
 private $string; // только для внутреннего использования!!

 final function getMessage() {
 return $this->message;
 }
 final function getCode() {
 return $this->code;
 }
 final function getFile() {
 return $this->file;
 }
 final function getTrace() {
 return $this->trace;
 }
 final function getTraceAsString() {
 return self::TraceFormat($this);
 }
 function _toString() {
 return $this->string;
 }
 static private function StringFormat(Exception $exception) {
 // ... функция, недоступная из PHP-скриптов.
 // возвращает всю нужную информацию в виде строки
 }
 static private function TraceFormat(Exception $exception) {
 // ... функция, недоступная из PHP-скриптов.
 // возвращает backtrace в виде строки
 }
}
?>

Если вы создадите ваши собственные классы исключений как производные от приведенного класса Exception, встроенный обработчик необработанных исключений выведет о них подробную информацию.