Почему конструктор подкласса ArrayIterator никогда не вызывал?

Question

Я сбиваю с толку, почему подкласс до ArrayIterator никогда не получает вызванный метод __construct. Рассмотрим следующий пример:

<?php 

class ConstructorException extends Exception {} 

class Foo extends ArrayObject { 
    function __construct($arr = array(), $flags = 0, $iterator = 'ArrayIterator') { 
     $iterator = 'FooIterator'; 
     parent::__construct($arr, $flags, $iterator); 
    } 
} 

class FooIterator extends ArrayIterator { 
    function __construct($array = array(), $flags = 0) { 
     throw new ConstructorException('HELLO WORLD'); // I AM NEVER CALLED. 
     parent::__construct($array, $flags); 
    } 
} 

try { 
    $f = new Foo(array(1, 2, 3)); 
    $it = $f->getIterator(); 
    if (get_class($it) !== 'FooIterator') { 
     throw new Exception('Expected iterator to be FooIterator.'); 
    } 
    die("FAIL\n"); 
} catch (ConstructorException $e) { 
    die("PASS\n"); 
} catch (\Exception $e) { 
    die(sprintf("ERROR: %s\n", $e->getMessage())); 
} 

В обоих PHP 5.4 5.5, результат FAIL. Зачем?

Answer 1

@Leggendario имеет право сказать, что проблема заключается в методе spl_array_object_new_ex. Однако, если это ошибка, я не уверен. Это, однако, не совсем стандартно, что здесь происходит.

Переменная от конструктора (или через setIteratorClass) предполагает, что этот класс получает экземпляр всякий раз, когда мы извлекаем итератор из ArrayObject. Но он не выполняет регулярные «экземпляры», поскольку это невозможно.

Он просто инициализирует итератор (выделяет память и т. Д.), Но не вызывает конструктор. Имеет смысл не вызывать конструктор, поскольку конструктор ArrayIterator принимает два аргумента ($array и $flags), и ваш класс, возможно, изменил свою подпись, возможно, даже добавив больше (обязательные значения).

Обычно ArrayIterator (или RecursiveArrayIterator) являются внутренними классами и имеют внутреннюю структуру, прикрепленную к ним (в основном, как и собственный внутренний набор свойств, которые вы не можете получить непосредственно из пользовательского пространства PHP). spl_array_object_new_ex будет устанавливать эти внутренние значения напрямую (в первую очередь, ce_get_iterator и ar_flags). Таким образом, в основном он берет на себя работу конструктора ArrayIterator.

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

Answer 2

Метод __construct называли, как обычно, на создание нового экземпляра:

$it = new FooIterator(); 

Таким образом, это займет некоторое время, и у меня есть решение: метод коррекции getIterator() в вашем класса Foo (подкласс ArrayObject) в вашем примере к следующему:

class Foo extends ArrayObject { 

    public function __construct($arr = array(), $flags = 0, $iterator = 'FooIterator') { 
     parent::__construct($arr, $flags, $iterator); 
    } 

    /** 
    * @return ArrayIterator 
    */ 
    public function getIterator() 
    { 
     $class = $this->getIteratorClass(); 
     return new $class($this); 
    } 
} 

с этой коррекции ваш код будет «PASS».

Результат измененного кода от вопроса: http://3v4l.org/HnFQm

Предыдущий код без исключения, но показывает, что итератор хорошо работать с изменением метода getIterator() в классе Foo (добавление по индексу и снятия с охраны): http://3v4l.org/R8PHr