Сергей Губанов писал(а):
Vlad писал(а):
ASSERT(bool(first) == bool(last));
ASSERT - не стандартный макрос. Замените на assert.
Сергей Губанов писал(а):
last = last->next;
Добавьте в ref<T> "operator T* () const {return p;}".
Сергей Губанов писал(а):
2) Как освобождается память?
Это имеет какое-то отношение к контролю инициализации ненулевых ссылок?
GC освобождает. Или деструктор статического объекта модуля чистит все от first до last.Сергей Губанов писал(а):
3) Почему first и last имеют тип обычного указателя Item*, а не ненулевого ref<Item>? Это же идёт против идеологии ненулевых ссылок?
Вы вообще читали про что я писал? На "псевдоязыке" эти указатели помечены как OPTIONAL. Они могут быть нулевыми по сути задачи (список пуст). Если в данном примере отказаться от глобальных переменных и от понятия пустого списка - можно избавится и от обычных указателей.
