ГолландецИзучаю исходники TObject и TInterfacedObject, не могу понять, зачем в новых Delphi столько рутины, связанной со счётчиком ссылок
Зачем это всё?
Первый добавили чтобы не было повторного входа в деструктор .
Хотя можно было просто _addref вставить первым оператором.

ГолландецНо для интерфейсов всегда был подсчёт ссылок
Может это имеет какое-то отношение к кольцевым ссылкам? Насчет кольцевых - вряд ли, их практически невозможно отследить.
Проблема в том, что одна сущность должна встраиваться в две разные концепции. Это порождает разные проблемы, в частности с реентерабельностью деструктора. Например, в таком коде


без дополнительной защиты возникнет рекурсия, переполнение стека или AV.
Но это легко преодолевается. Намного сложнее разрешить проблемы с интерфейсами из внешних библиотек.
Если оставить все на самотек, наверняка будет ситуация, когда библиотека будет выгружена, а ссылки останутся.

Голландец,
Со вторым флагом я не разбирался.
Рискну предположить, он связан с тем, что в стандартном дельфовом коде создаются скрытые интерфейсные ссылки, которые освобождаются по-разному в зависимости от типа кода.
Вероятно через ~20 лет пришло осознание, что это не есть всегда хорошо.