Именование ключа массива, когда класс приводится к массиву

Когда я привожу класс к массиву, ключи называются по-разному в зависимости от того, какой метод доступа имеет свойство класса.

Публичные свойства всегда имеют тот же ключ, что и имя свойства, но частные свойства начинаются с X, а защищенные свойства — с *.

Я искал ссылку в документации PHP на это поведение, но не нашел. Я воспроизвел это как в PHP 5.6, так и в 7.1.

Почему это происходит? Это где-то задокументировано?

Код

<?php

class X {
  private $a = 1;
  protected $b = 2;
  public $c = 3;
}

$class = new X();

var_dump((array) $class);

Выход

array(3) {
  ["Xa"]=>
  int(1)
  ["*b"]=>
  int(2)
  ["c"]=>
  int(3)
}