Discussion :

[mikedew]

Bonjour

J'ai vu dans un texte (ooc) un code que je ne comprend pas bien ?

Quelqu'un pourrait-il m'expliquer ?

le code problématique est en bleu

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
void * new (const void * _class, ...) {	
	const struct Class *class = _class;
	void *p = calloc(1, class->size);
	assert(p);
	*(const struct Class **) p = class;
 	if (class -> ctor != 0)
	{	va_list ap;
		va_start(ap, _class);
		p = class -> ctor(p, & ap);
		va_end(ap);
	}
	return p;
}

qu'est ce que change dans le pointeur p après cette ligne ?

Merci de votre aide

[Obsidian]

Bonjour et bienvenue !

L'expression entre parenthèses est un transtypage (ou cast). Elle sert à indiquer au compilateur que ce qui suit (ici, la valeur de p) doit être considérée comme ce qui est décrit. Donc

— p : la valeur de p (que l'on sait être un pointeur, déjà) ;
— (const struct Class **) p : ce pointeur est ici considéré comme un « pointeur sur un pointeur sur une structure Class » ;
— * (const struct Class **) p : l'opérateur de déréférencement. On se rapporte non pas à « p » lui-même, mais à ce qu'il pointe. Donc, ici, l'autre pointeur, censé pointer une structure Class.

En fait, la mémoire allouée un peu plus haut est censée contenir un tableau de pointeurs. Et ce tableau est lui-même pointé par la valeur retournée par malloc(). L'expression sert donc à remplir ce tableau.

[Bktero]

En fait, la mémoire allouée un peu plus haut est censée contenir un tableau de pointeurs. Et ce tableau est lui-même pointé par la valeur retournée par malloc(). L'expression sert donc à remplir ce tableau.

Le calloc n'est que d'un élément donc remplir le tableau est en fait juste copier un élément.

Je ne vois la différence de ces lignes :

Code :

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

1
2
void *p = calloc(1, class->size);
*(const struct Class **) p = class;

avec :

Code :

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

1
2
const struct Class * p = calloc(1, class->size);
p = (const struct Class *) class;

En fait, le code tout entier est obscur pour moi

Pourquoi passer _class en paramètre que contient-il ? Le caster en pointeur constant sur une structure Class permet de correctement accéder aux éléments de la structure si je ne m'abuse. Dans ce cas, quel intérêt de passer _class comme pointeur sur void et non sur struct Class ?

[Obsidian]

À première vue, ça ressemble à du code auto-généré, à partir d'un langage objet et de ses paradigmes les plus courants.

Soit on passe de manière explicite des choses comme this en tant que premier paramètre, comme en Python, soit c'est une instance toujours valide de l'objet à traiter, pour pouvoir gérer les membres statiques et/ou les « traits » constants d'une classe (comme, ici, sa taille).

[mikedew]

Merci

cela est déja un peu plus clair!!

[mikedew]

* (const struct Class **) p : l'opérateur de déréférencement. On se rapporte non pas à « p » lui-même, mais à ce qu'il pointe. Donc, ici, l'autre pointeur, censé pointer une structure Class.

une autre question !

le pointeur p étant un pointeur de type void, comment peut-il être déréférencé ?