Discussion :

[Jeromnimo]

Bonjour à toutes et tous,

je me permets d'ouvrir ce fil de discussion suite à une discussion avec un collègue. J'ai toujours eu pour habitude d'utiliser un class XXX plutot qu'un #include "XXX.h" lorsque je n'utilise que des pointeurs dans le fichier header en question, et j'ai été un peu surpris de voir que le compilateur acceptait cela aussi pour les références... D'où deux questions :
- est-ce vraiment légal d'utiliser une "forward declaration" lorsque l'on utilise des références dans un header ?
- comment est stocké une référence, qu'est ce vraiment ? Je pensais que c'est plus qu'un "pointeur modifié", et qu'il y avait une certaine connaissance de l'objet en interne, mais si un include n'est pas nécessaire, il semblerait que non ??

Merci d'avance pour vos réponses

[Klaim]

- est-ce vraiment légal d'utiliser une "forward declaration" lorsque l'on utilise des références dans un header ?

OUI!
Une pointeur ou une référence, c'est juste une "référence" donc on a besoin que du type de déclaration pour les utiliser.

- comment est stocké une référence, qu'est ce vraiment ? Je pensais que c'est plus qu'un "pointeur modifié", et qu'il y avait une certaine connaissance de l'objet en interne, mais si un include n'est pas nécessaire, il semblerait que non ??

En fait, il faut toujours penser une référence comme si c'était un "surnom" d'un objet.
En revanche il faut bien qu'il soit implémenté d'une façon ou d'une autre, et visiblement c'est toujours sous la forme d'un pointeur avec des règles spéciales qu'il est implémenté. Cela dit, je préfère ne pas m'occuper de la façon dont il est implémenté parceque penser que c'est un pointeur a tendance a donner de mauvaises idées de manipulations.

[Médinoc]

Dans certains cas bizarroïdes, une référence est vraiment un alias avec des propriétés supplémentaires. Cela se passe notamment quand une référence est déclarée à l'intérieur du corps d'une fonction.

Mais en paramètre de fonction ou en variable membre d'une classe, c'est un pointeur déguisé. Et de ce côté-ci, pointeur ou référence, même combat: La forward declaration suffit tant qu'on n'a besoin ni de la taille de l'objet pointé, ni de son contenu.

Ainsi, on peut faire les choses dans cet ordre:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
//Forward declaration
class A;
 
//Déclaration d'une fonction qui utilise une référence
void f(A&);
 
//Vraie définition
class A
{
public:
	void m();
};
 
//Ici, on utilise le contenu
void f(A& ref)
{
	A.m();
}

[jblecanard]

Salut

Mais en paramètre de fonction ou en variable membre d'une classe, c'est un pointeur déguisé

En effet, la notion de référence n'existe qu'au niveau de C++. Au niveau compilation, c'est un bête pointeur (dans ce cas).