внутренняя структура — C ++ boost :: multi_index: порядок функции-члена iterator_to

Читая ссылку boost :: multi_index, я обнаружил, что iterator_to Метод имеет постоянный порядок. Как это возможно? Я имею в виду, что если итератор является объектом, отличным от представляемого им значения, то как контейнер может найти свой соответствующий внутренний узел без поиска по индексу?

Единственное решение, о котором я могу подумать, это то, что адрес «внутреннего узла» контейнера (или чего бы то ни было) такой же, как и у value_type, который он содержит (например, помещая заголовок узла чуть ниже value_type или что-то в этом роде). Если переданный аргумент является ссылкой на целочисленный тип value_type, соответствующий итератор можно легко построить по адресу аргумента, чтобы получить красно-черный узел.

Но!! Как насчет стандартного ограничения C ++, что не может быть двух объектов с одинаковым адресом? Как насчет выравнивания, заполнения, заполнения или любых других вещей, которые могут произойти на уровне памяти?