Discussion :

[deubelte]

Bonjour

J'ai une question concernant la déclaration de variables statiques:
Si je prends cette classe:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
class MyClass{
public:
	MyClass(){};  
private: 
	  MyClass a;
	int b;
};
int main(){
MyClass un_object;
}

La compilation me renvoit un message d'erreur:
error C2460: 'MyClass::a' : uses 'MyClass', which is being defined

Et je comprends pourquoi ca compile pas, car au moment de la compilation, l'objet de type MyClass n'est pas totalement connu. De ce fait, on a un cercle vicieux.

En revanche, déclarer "a " comme pointeur sur MyClass fonctionne parfaitement.

Maintenant, si on déclare "a" comme variable static de type MyClass, ca fonctionne parfaitement:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
class MyClass{
public:
	MyClass(){};  
private: 
	static  MyClass a;
	int b;
};
int main(){
MyClass un_object;
}

Je ne comprends pas pourquoi, car même s'il s'agit d'une variable statique, (c'est a dire qu'on peut y accéder indépendamment d'une instance de la classe), elle n'en reste pas moins inconnue à la compilation.

En fait, pourquoi on peut déclarer une variable statique comme "a"?

Merci

[bruno_pages]

Bonjour,

il y a une énorme différence entre les deux cas, dans le premier cas on a inclusion qui boucle à infinie : toute instance de MyClass contient via a une instance de MyClass qui elle même contient via a une instance de MyClass qui elle ...

par contre si a est un attribut de classe cette inclusion infinie n'existe plus car a est partagé et unique

[GeMyNy]

En revanche, déclarer "a " comme pointeur sur MyClass fonctionne parfaitement.

En évitant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
 
class MyClass{
public:
	MyClass(){
    //init de a
    a=new MyClass();
};  
private: 
	MyClass* a;
	int b;
};

[bruno_pages]

... sauf si le but est de faire exploser la pile d'exécution

[nowahn]

Bonjour,

[...] même s'il s'agit d'une variable statique [...] elle n'en reste pas moins inconnue à la compilation.

Il ne faut pas oublier que la déclaration/définition d’un membre statique se fait en deux étapes :

Code C++ :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
class MyClass{
	// ...
	static  MyClass a;
	// ...
};
// ...
MyClass MyClass::a;

Ce n’est qu’à la deuxième occurrence (hors de la classe) que la variable est définie, c’est à ce moment-là que le compilateur a besoin de connaître le type en question.
La première occurrence n’est qu’une déclaration, et pas une définition (c’est-à-dire que ça n’introduit qu’un nom dans le programme, pas la variable elle-même). Cette occurence ne sert qu’à annoncer qu’une variable va être définie plus loin.