История изменений
Исправление den73, (текущая версия) :
Да вообще идея заменить все графы массивами - это лживая уловка. При этом указатель на элемент заменяется на пару (указатель-или-иная-ссылка-на-сам-массив, индекс-данного-элемента-в-массиве). А индекс - это просто число. Компилятор Раста умеет обдумывать ссылки и давать гарантии про них. Но он делает это плохо и поэтому накладывает такие правила, в которые нужные людям задачи не вписывается. А на числа он таких правил не накладывает. Зато и гарантий не даёт. Т.е. получается, по сути дела, просто unsafe, вид сбоку.
Исходная версия den73, :
Да вообще идея заменить все графы массивами - это лживая уловка. При этом указатель на элемент заменяется на пару (указатель-или-иная-ссылка-на-сам-массив, индекс-данного-элемента-в-массиве). А индекс - это просто число. Компилятор Раста умеет обдумывать ссылки и накладывает такие правила, в которые нужные людям задачи не вписывается. А на числа он таких правил не накладывает. Т.е. получается, по сути дела, просто unsafe, вид сбоку.