Tengo una máquina de estados que permite apilar estados (`Push`) y reemplazar estados (`Replace`). Cuando un estado es reemplazado, se elimina el estado anterior y se crea el nuevo en su lugar, la máquina de estados simplificada tiene las siguientes funciones: struct B { virtual ~B() = default; virtual void f() = 0; }; using ptr = std::unique_ptr<B>; using stack = std::list<ptr>; stack s; template <typename T> void Push() { static_assert(std::is_base_of_v<B, T>, "Error"); s.emplace_back(new T); } template <typename T> void Replace() { static_assert(std::is_base_of_v<B, T>, "Error"); s.back().reset(new T); } void f() { (*s.back()).f(); } Suponiendo los siguientes estados: #define NOMBRE std::cout << __PRETTY_FUNCTION__ << '\n' struct D1 : public B { D1() { NOMBRE; } ~D1() { NOMBRE; } void f() override {} }; struct D2 : public B { D2() { NOMBRE; } ~D2() { NOMBRE; } void f() override { Replace<D1>(); } }; Vemos que cuando se llama a la función `B::f` sobre el estado `D2`, éste se *suicida* forzando ser reemplazado por el estado `D1`, éste código: int main() { Push<D1>(); Replace<D2>(); f(); return 0; } Genera la siguiente salida: > 1. `D1::D1()` > 1. `D2::D2()` > 1. `virtual D1::~D1()` > 1. `D1::D1()` > 1. `virtual D2::~D2()` > 1. `virtual D1::~D1()` La salida se corresponde con las instrucciones de `main`: --- ####1 `Push<D1>();`: Añade el estado `D1`. ####2 y 3 `Replace<D2>()`: Reemplaza el estado actual (`D1`) con el estado `D2`: Primero se construye `D2` (paso 2) y luego se destruye `D1` (paso 3). ####4 y 5 `f();`: Llama a la función `f` del estado actual (`D2`), este estado pide su *suicidio* al forzar ser reemplazado por el estado `D1`, por lo tanto se construye `D1` y acto seguido **se destruye `D2` ¡mientras la función `D2::f` estaba en ejecución!**. ####6 `return 0;`: Se destruye `D1` al finalizar el programa. --- Podéis ver el código funcionando en [Wandbox](https://wandbox.org/permlink/l605lPMW9t2aUlyw). ###Pregunta. ¿Es comportamiento indefinido que `D2` sea destruido **antes** de finalizar la ejecución de `D2::f`?