Skip to main content
Commonmark migration
Origen Enlace

1

####1 Push<D1>();: Añade el estado D1. ####2 y 3

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

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

6

return 0;: Se destruye D1 al finalizar el programa.

Podéis ver el código funcionando en Wandbox. ###Pregunta. ¿Es

Pregunta.

¿Es comportamiento indefinido que D2 sea destruido antes de finalizar la ejecución de D2::f?

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

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.

Pregunta.

¿Es comportamiento indefinido que D2 sea destruido antes de finalizar la ejecución de D2::f?

se añadieron 107 caracteres en el cuerpo
Origen Enlace
PaperBirdMaster
  • 48.1k
  • 6
  • 45
  • 86
 

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

####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?

 

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

Origen Enlace
PaperBirdMaster
  • 48.1k
  • 6
  • 45
  • 86

Objetos suicidas ¿Causan comportamiento indefinido?

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()
  2. D2::D2()
  3. virtual D1::~D1()
  4. D1::D1()
  5. virtual D2::~D2()
  6. 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?