Предлагается добавить в язык механизм compile-time контроля времени жизни объектов

[rsashka]

Предлагается добавить в язык механизм compile-time контроля времени жизни объектов.

Это позволит определять/ограничивать создание экземпляров объектов только внутри дерева владения, чьё время жизни явно контролируется компилятором, т.е. созданием и уничтожением объектов происходит автоматически, без явных действий программиста.

Допустимыми будут являться экземпляры объектов:

• с automatic storage duration;
• временный объект prvalue, уничтожаемый в конце текущего выражения.

Примеры, где ваша идея будет полезна.
Это будет полезно при реализации compile-time контроля типов, которые могут (должны быть) корректны только тогда, когда их время жизни строго ограничено текущим контекстом (областью видимости), например:

• capability/token-объекты
• объекты для обеспечения идемпотентности транзакций
• любые RAII ресурсы, которые не должны переживать локальный контекст;
• типы, для которых важно compile-time ограничить время жизни с предсказуемым удалением после завершения текущей области видимости, такие, как std::scoped_lock

[GitSparTV]

Добавлю похожую идею.
Тут раскрывается идея явного вызова деструктора через методы-финализаторы

https://verdagon.dev/blog/higher-raii-uses-linear-types

[kov-serg]

Так чего мелочиться что мешает добавить compile time script?
Тапа такого:

compilescript{
	on_event(ev) {
		case ctor: ...
		case dtor: ...
		case on_stack_alloc: ..
		case on_new: ...
		case on_instance: ...
		...
	}
} struct A {
	A() compilescript{ script_code } { cpp_code }
	~A() compilescript{ script_code } { cpp_code }
};

...

int fn() {
	int rc=0;
	compilescript{
		on_event(ev) {
		case on_new_line:
			if (local.rc!=0) emmit { return rc; }
			break;
		case  on_leave: emmit { if (rc!=0) std::cerr<<"error\n"; }
		}
	}{
		rc=fn1();
		rc=fn2();
		rc=fn3();
	}
	return rc;
}

Хотя даже сейчас можно использовать например php для синтеза исходников. Но у него нет доступа к данным компиляции, зато на порядок больше возможностей чем у обычных макросов.