Конструкторы и деструкторы

struct T
{
  int x, y;
};
 
/* Эта процедура является отображением конструктора T::T(int,int) */
void
T_constr (struct T *this, int _x, int _y)
{
  this->x = _x;
  this->y = _y;
}
 
/* Эта процедура является отображением деструктора T::~T() */
void
T_destr (struct T *this)
{
  this->x = 0;
  this->y = 0;
}
...
void
func (void)
{
  struct T a; /* выделяем память для объекта "a" */
  struct T b; /* выделяем память для объекта "b" */
  T_constr (&a, 10, 11); /* вызываем конструктор для "a" */
  T_constr (&b, 20, 21); /* вызываем конструктор для "b" */
  
  /* тело процедуры */
 
  T_destr (&a); /* вызываем деструктор для "a" */
  T_destr (&b); /* вызываем деструктор для "b" */
  /* по достижении выхода из процедуры происходит удаление памяти для объектов "a" и "b" */
}

struct T
{
  int x, y;
};
 
/* Эта процедура является отображением конструктора T::T(int,int) */
void
T_constr (struct T *this, int _x, int _y)
{
  this->x = _x;
  this->y = _y;
}
 
/* Эта процедура является отображением деструктора T::~T() */
void
T_destr (struct T *this)
{
  this->x = 0;
  this->y = 0;
}
...
/* Объекты "a" и "b" являются статическими. Память для них выделяется в некоторый
 * момент до попадения в main, а освобождается после выхода из main */
struct T a;
struct T b;
 
/* Объект "c" является "локальным". Но, поскольку он статический, то память
 * под него выделяется наравне с прочими статическими объектами */
struct T c;
 
/* См. места использования */
int is_c_init = 0;
...
/* Эта процедура будет вызвана хитрыми системными способами до попадения
 * в main, но после того, как будет выделена память для объектов "a" и "b" */
void
_init (void)
{
  T_constr (&a, 10, 11); /* вызываем конструктор для "a" */
  T_constr (&b, 20, 21); /* вызываем конструктор для "b" */
 
  /* ВНИМАНИЕ! Конструктор для "c" здесь НЕ вызывается */
}
 
/* Эта процедура так же будет вызвана системными способами после выхода
 * из main, но до того, как будет освобождена память из-под объектов "a" и "b" */
void
_finish (void)
{
  T_destr (&a); /* вызываем деструктор для "a" */
  T_destr (&b); /* вызываем деструктор для "b" */
 
  /* Деструктор для "c" вызовем только в том случае, если был вызван конструктор для "c".
   * Несмотря на то, что конструктор для "c" вызывается не на одном уровне с "a" и "b",
   * деструкторы для всех статических объектов вызываются на одном уровне */
  if (is_c_init == 1)
    T_destr (&c);
}
...
/* С формальной точки зрения, казалось бы, вызовы псевдопроцедур _init и _finish
 * можно поставить в начало и конец main'а. Однако это не совсем верно. Программа
 * может завершить исполнение через функцию exit, т.е. до конца main управление
 * не дойдёт. Однако вызов _finish всё равно произойдёт. Т.е. при любом НЕаварийном
 * завершении программы компилятор обеспечит вызов деструкторов для статических
 * объектов */
void
main (void)
{
  ...
  if (...)
  {
    /* ВНИМАНИЕ! Конструктор для "c" вызываем только в том случае, если работа
     * программы достигла этой точки. Конструктор вызовется только один раз,
     * даже если через эту точку проходим несколько раз (в цикле). Если в данную
     * ветку исполнения не попали ни разу, то конструктор для "c" вызван НЕ будет */
    if (is_c_init == 0)
    {
      is_c_init = 1;
      T_constr (&c, 30, 31);
    }
  }
  ...
}

struct T
{
  int x, y;
};
 
/* Эта процедура является отображением конструктора T::T(int,int) */
void
T_constr (struct T *this, int _x, int _y)
{
  this->x = _x;
  this->y = _y;
}
 
/* Эта процедура является отображением деструктора T::~T() */
void
T_destr (struct T *this)
{
  this->x = 0;
  this->y = 0;
}
...
/* Указатель он и в Африке указатель*/
struct T *ta, *tb;
...
void
func1 (void)
{
  ...
  /* Оператор new одновременно выполняет две вещи:
   * выделение памяти и вызов конструктора */
  ta = (struct T*) malloc (sizeof (struct T));
  T_constr (ta, 10, 11);
  ...
  tb = (struct T*) malloc (sizeof (struct T));
  T_constr (tb, 20, 21);
  ...
}
 
void
func2 (void)
{
  ...
  /* Оператор delete также одновременно выполняет две вещи:
   * вызов деструктора и удаление памяти */
  T_destr (ta);
  free (ta);
  ...
  T_destr (tb);
  free (tb);
  ...
}