почему не возможно сделать автоматический вывод удаления из памяти объектов. Например часто применяется следующая эвристика: для локальных переменных после выхода из зоны видимости вызывается деструктор. Можно ли аналогичное сделать для всего кода?

Здравствуйте, <Аноним>, Вы писали:

А>почему не возможно сделать автоматический вывод удаления из памяти объектов. Например часто применяется следующая эвристика: для локальных переменных после выхода из зоны видимости вызывается деструктор. Можно ли аналогичное сделать для всего кода?
Можно. Делают. Но не в .НЕТ.
Гуглить:
region inference
escape analysis