sta 'dando' un riferimento a 'questo' all'interno del costruttore ok?

Question

il mio codice:

Scene::Scene(const std::string &scene_file) : ambient_light(0, 0, 0), background(0, 0, 0){ 
    scene_parser parser(*this); 
    parser.parse(scene_file); 
} 

scene_parser è un amico di scena, e nel metodo parse si accede (r/w) i membri della scena. Ciò causerà problemi?

Answer 1

Nel tuo esempio particolare, non dovrebbero sorgere problemi.

In genere, il problema con l'assegnazione dei riferimenti this è che le vite dei due oggetti non si allineano esattamente e l'altro oggetto potrebbe tentare di accedere all'oggetto indicato dopo che è già stato distrutto.

Nel tuo esempio, l'oggetto scene_parser si trova nello stack, quindi il suo ciclo di vita termina alla fine del costruttore Scene. Non è possibile in alcun modo che possa tentare di accedere a un oggetto inesistente tramite il riferimento this fornito, quindi non possono sorgere problemi.

Answer 2

Sì, è possibile fornire un riferimento a this. Tuttavia, di solito si desidera farlo quando l'altro oggetto utilizzerà il puntatore in un secondo momento. Il tuo caso d'uso sembra che userà lo Scene immediatamente, prima che il costruttore completi, che è una pendenza molto scivolosa.

Al momento, non si instaura alcuna invariante dopo aver chiamato parse, quindi dovrebbe essere ok, ma è anche fragile e facile per le modifiche future introdurre rotture.

Answer 3

Dipende.

All'interno del corpo del costruttore (ovvero, una volta eseguita la lista di inizializzazione), l'oggetto viene considerato "completamente costruito" fino al tipo corrente. Pertanto, è possibile che sia riferimento *this, ma qualsiasi chiamata di funzione virtual non utilizzerà le funzioni sovrascritte nelle classi derivate.

Answer 4

Tutti i tuoi sottooggetti (membri e basi) sono costruiti dalla prima istruzione nel corpo del costruttore. Se il tuo oggetto si trova in uno "stato valido" (che fa parte della definizione della tua classe, a volte chiamato "invariante di classe"), puoi trattarlo come un oggetto completamente costruito e fare qualcosa con esso. Tuttavia, la ricerca virtuale funziona in modo leggermente diverso da quello che ci si potrebbe aspettare o richiedere: se si tratta di una classe base (e quindi questo oggetto è un sottooggetto di qualcos'altro), il tipo finale non è ancora stato "assegnato". Ad esempio, questo è un modo per chiamare metodi puramente virtuali e ottenere un errore di runtime (se questi metodi non hanno definizioni, comunque).

Una situazione più interessante è l'utilizzo di questo nell'inizializzatore del costruttore; questo ha alcuni avvertimenti, ma questo è anche prima del corpo del costruttore.