Comment un pointeur peut-il être mis en œuvre sauf stocker une adresse?

Si nous connaissons l'accès des éléments de tableau à l'aide de pointeur arithmétique, il est facile de comprendre comment les objets sont posés en mémoire et comment dynamic_cast code> fonctionne. Considérons la classe simple suivante: xxx pré>

supposons que p code> est attribué à l'emplacement de la mémoire 0x01 code>. Ses variables de membre sont stockées dans leurs propres emplacements disparates, disent x _ code> sont stockés sur 0x04 code> et y _ _ code> au 0x07 code>. Il est plus facile de visualiser l'objet p code> comme une éventail de pointeurs. p code> (dans notre cas ( 0x1 code>) pointe au début de la matrice: p> xxx pré>

donc du code pour accéder à la Les champs deviendront essentiellement accès aux éléments de matrice à l'aide du pointeur arithmétique: p> xxx pré>

si la langue prend en charge une sorte de gestion automatique de la mémoire, comme GC, des champs supplémentaires peuvent être ajoutés à la Array d'objet em> Derrière la scène. Imaginez une implémentation C ++ qui recueille des ordures à l'aide de la comptage de référence. Ensuite, le compilateur peut ajouter un champ supplémentaire (RC) à garder une trace de ce nombre. La représentation de la matrice ci-dessus devient alors: xxx pré>

la première cellule pointe à l'adresse du nombre de références. Le compilateur émettra le code approprié pour accéder aux parties de P code> qui doivent être visibles pour le monde extérieur: p> xxx pré>

maintenant il est facile de comprendre comment dynamic_cast cod> fonctionne. Compiler traite des classes polymorphes en ajoutant un pointeur à caché supplémentaire au sous-jacent représentation. Th Est-ce que le pointeur contient l'adresse du début d'un autre "tableau" appelé le gisible em>, qui contient à son tour les adresses des implémentations de fonctions virtuelles dans cette classe. Mais la première entrée de gisible em> est spéciale. Il ne pointe pas d'une adresse de fonction mais à un objet d'une classe appelée type_info code>. Cet objet contient les informations de type d'exécution de l'objet et des pointeurs sur type_info code> S de ses classes de base. Considérons l'exemple suivant: p> xxx pré>

un objet de fenêtre code> aura la disposition de la mémoire suivante: p> xxx pré>

Considérons maintenant ce qui va se passer lorsque nous essayons de jeter une fenêtre code> A code> A image * code>: p>

// no virtual functions
class A 
{
};

class B
{
public:
    virtual void f() = 0;
};

class C : public A, public B
{
    virtual void f() { }
};


C* c = new C;
A* a = dynamic_cast<A*>(c); // OK

Les pointeurs sur des objets stockent (représentations de) ce que C ++ appelle des "adresses". 3.9.2 / 3, "Une valeur valide d'un type de pointeur d'objet représente l'adresse d'un octet en mémoire (1.7) ou un pointeur null (4.10)."

Je pense qu'il est juste de dire par conséquent qu'ils "stockent" des adresses, c'est juste que cela dit que cela ne transmet pas beaucoup. C'est juste une autre façon de dire quels pointeurs sont . Ils peuvent également stocker d'autres informations, et ils peuvent stocker l'adresse numérique physique / virtuelle réelle en se référant à une autre structure ailleurs, mais en termes de sémantique C ++, une variable de pointeur contient une adresse.

Abyx lève le problème que seuls les pointeurs d'objet et de fonction représentent des adresses. Les pointeurs-à-membres ne représentent pas nécessairement une adresse, en tant que telle. Mais la norme C ++ stipule spécifiquement que le mot "pointeurs" dans la norme ne doit pas être pris pour inclure des pointeurs-à-membres. Donc, vous ne pouvez pas compter cela.

Autre que segment: Décalage (ce qui est évidemment une adresse composée de deux nombres), le "pointeur drôle" le plus plausible que je puisse penser serait celui dans lequel certaines informations de type figurent dans le pointeur. Il est peu probable que vous souhaitiez optimiser diabolique RTTI au coût de réduction de l'espace que vous pouvez aborder, mais vous ne savez jamais.

Une autre possibilité est que si vous impliez une poubelle collectée C ++, alors chaque pointeur pourrait stocker des informations sur la pile ou le tas, et peut-être que vous pourriez peut-être vous faufiler dans certaines informations pour vous aider avec un marquage précis ou conservateur. < / p>

Je n'ai pas rencontré personne qui fait de ces choses avec des pointeurs en C ++, cependant, je ne peux donc pas garantir leur suffisamment d'utilisations. Il existe d'autres moyens de stocker des informations de type et de GC, ce qui pourrait bien être meilleur.