[C++] Ctor

[riemann_01]

Ciao!!
Per quale motivo un costruttore che utilizza una lista di inizializzatori e' piu' efficiente rispetto ad un altro, identico, che usa invece l'assegnamento?

class my_class {
	public: 
		my_class(type i = default_value_i, type j = default_value_j) : a(i), b(j) {};
		...
	private:
		type a, b;
};

class my_class {
	public: 
		my_class(type i = default_value_i, type j = default_value_j) { a = i; b = j; }
		...
	private:
		type a, b;
};

[fek]

Immagina di avere questa classe:

class A
{
public:

  A()
  {
     // fai tante operazioni per inizializzare l'oggetto
  }

  A(A& a)
  {
     Copy(a);
  }

  A& operator=(A& a)
  {
     Copy(a);
     return *this;
  } 

  void Copy(a)
  {
     // inizializza l'oggetto e copia il contenuto di a
  } 
};

Ora due versioni della classe B che usa A

class B1
{

  A a;

public:
  
  B1(A& lhr): a(lhr)
  {
  } 
};

class B2
{

  A a;

public:
  
  B2(A& lhr)
  {
     a = lhr;
  } 
};

Il costruttore della classe B1 produrra un codice di questo tipo:

a.ctor(lhr);

Il costruttore della classe B2 invece questo:

a.ctor();
a.operator=(lhr);

Nel secondo caso chiami il costruttore, inizializzi l'oggetto, poi chiami l'operatore di assegnamento che distrugge il contenuto appena inizializzato, e poi effettua la copia.

Ovviamente ci sono vari modi di migliorare la situazione nel secondo caso (magari un flag per capire se l'oggetto e' stato gia' inizializzato o meno), ma il modo piu' semplice e' usare gli strumenti che il C++ mette a disposizione: la lista di inizializzazione.

Nel caso di oggetti molti semplici come gli interi non cambia nulla, ma e' sembre comunque buona norma usare la lista di inizializzazione.

[riemann_01]

Grazie per la risposta.