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:
D1::D1()
D2::D2()
virtual D1::~D1()
D1::D1()
virtual D2::~D2()
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.
###Pregunta.
¿Es comportamiento indefinido que D2
sea destruido antes de finalizar la ejecución de D2::f
?