En C++, initialisez un membre de classe avec le pointeur 'this' pendant la construction

Question

Je voudrais créer une classe associée à une autre classe dans une sorte de relation parent-enfant. Pour cela, la classe "enfant" a besoin d'une référence à son parent.

Par exemple:

template <typename T> 
class TEvent { 
    private: T* Owner; 
    public: TEvent(T* parent) : Owner(parent) {} 
}; 

class Foo { 
    private: TEvent<Foo> Froozle; // see below 
}; 

Maintenant, le problème est que je ne peux pas initialiser l'instance Froozle directement, ni en utilisant la liste d'instanciation du constructeur de Foo, car this références ne sont pas autorisés là. Mis à part l'ajout d'une autre méthode setParent(T*) (que je n'aime pas trop parce que cela signifie que je dois laisser l'instance TEvent<> dans un état invalide), y at-il un moyen d'y parvenir?

Answer 1

Il est correct d'utiliser this dans la liste d'initialisation, tant qu'il n'est pas utilisé pour accéder à des membres qui n'ont pas encore été initialisés.

Answer 2

Ceci est supposé fonctionner; en fait,

template<class T> 
class Child { 
private: 
    T *parent; 
public: 
    Child(T *parent) : parent(parent) {} 
}; 
class Parent { 
private: 
    Child<Parent> child; 
public: 
    Parent() : child(this) {} 
}; 

compile bien pour moi avec à la fois g ++ 4.4.5 et clang ++ 2.8.

Qu'est-ce qui échoue pour vous?

Answer 3

de la norme 12.6.2/7 « bases et des membres Initialiser » (Souligné par l'auteur):

noms dans l'expression liste d'une mem-initialiseur sont évalués dans le cadre du constructeur pour lequel le mem-initializer est spécifié.

[Exemple:

class X { 
    int a; 
    int b; 
    int i; 
    int j; 

public: 
    const int& r; 
    X(int i): r(a), b(i), i(i), j(this->i) {} 
}; 

initialise X::r de se référer à X::a, initialise X::b avec la valeur du paramètre de constructeur i, initialise X::i avec la valeur du paramètre de constructeur i et initialise X::j avec la valeur de X::i; ceci a lieu chaque fois qu'un objet de class X est créé. ]

[Note: parce que les mem-initialiseur sont évalués dans le cadre du constructeur , le pointeur this peut être utilisé dans l'expression liste des un mem-initialiseur de se référer à l'objet étant initialisé. ]

Answer 4

Si vous cherchez à supprimer l'avertissement, faites juste ceci:

class Foo 
{ 
public: 
    Foo() : 
    Froozle(get_this()) 
    {} 

private: 
    Foo* get_this() 
    { 
     return this; 
    } 

    TEvent<Foo> Froozle; // see below 
}; 

Le indirection suffit pour l'arrêter.

Answer 5

Je ne pense pas que cela échoue sur vous, sauf si vous avez le niveau d'avertissement mis à 4 (ou similaire, je suppose que Visual Studio) et ont activé "traiter les avertissements comme des erreurs".

Fondamentalement, cet avertissement est une bonne chose, car il ne vous laissera pas accidentellement utiliser le pointeurthis quand ce qu'il montre du doigt est encore à construire.

Cependant, lorsque vous savez ce que vous faites this est passé dans la liste d'initialisation, l'avertissement et l'erreur causée par ce sera ennuyeux.

Vous pouvez vous en débarrasser (encore une fois, en supposant Visual Studio) en décorant le constructeur (à moins qu'il est défini dans la déclaration de classe - alors vous devez décorer toute la classe):

// warning C4355: 'this' : used in base member initializer list 
#pragma warning (push) 
#pragma warning (disable : 4355) 
some_class::some_class() 
: ... 
{ 
} 
#pragma warning (pop)