Списки высоких измерений: три операции и модель вложенности
Три проверенные операции над списками list2Dar и list3Tar, их точные выходные значения и пример трёхуровневой вложенности со ссылками на изменяемые объекты.
Назначение
В исходном материале фигурируют списки с метками list2Dar и list3Tar и три операции над ними: TarPlusDar добавляет копию списка Dar1 в Tar1, CleTar очищает список Tar1, а QArr1Dar собирает ссылки на первый объект Var в строках. Задача читателя здесь не в том, чтобы вывести универсальную многомерную модель, а в том, чтобы понять, что именно делает каждая операция и какие значения она возвращает.
Добавление: TarPlusDar
Операция TarPlusDar добавляет копию списка list2Dar1 к списку list3Tar1 и копирует значения метаданных MsF1. При ошибке результат помечается литеральной пометкой JL. Из этого описания не следует, что копия глубокая или поверхностная, не следует правило владения объектами и не следует универсальный предикат выбора строк. JL здесь записана как литеральная пометка ошибки, а не как физический флаг процессора.
Очистка: CleTar
Операция CleTar приводит list3Tar1 к пустой переменной; ошибка снова обозначается JL. Пустой логический результат не доказывает освобождение памяти или разрушение объектов: описание фиксирует состояние списка, а не политику управления ресурсами. Разграничение между логической очисткой и освобождением памяти остаётся открытым.
Сбор ссылок: QArr1Dar
QArr1Dar добавляет ссылки на первый объект Var в строках Dar1 и Tar1, если он присутствует, копирует значения MsF1 и создаёт результат QArr1, если исходных строк нет. Перечислены выходные значения: EAX содержит QArr1, EBX содержит число вставок, JL обозначает ошибку или незапущенный цикл. Макрос ArrFirst упоминается как элемент цикла. Эти метки сохраняются как есть, без вывода о битовых флагах процессора или общем правиле выбора строк.
Модель вложенности
Три метки полей не образуют сами по себе три уровня вложенности. Для наглядности можно задать собственную модель: внешняя станция, внутри неё каналы, внутри канала временные выборки. Объекты выборок объявляются изменяемыми. Такая модель явно декларирует три уровня индексации, но не утверждает, что операции Dar и Tar поддерживают произвольное число осей или какой-либо фиксированный физический формат.
Ссылки и копии в модели
Если выбранная модель копирует ссылки на один и тот же изменяемый объект выборки, обновление через любую из ссылок будет видно через другую. Если же модель сознательно клонирует независимые объекты, обновления остаются раздельными. Обе политики допустимы как иллюстрация; ни одна из них не обещает экономии памяти или выигрыша в производительности, и ни одна не доказана для конкретных операций TarPlusDar, CleTar или QArr1Dar. Копирование MsF1 означает копирование метаданных, а не воспроизведение полного фильтрационного алгоритма.