Le processus de mise en œuvre du boxing et du unboxing dans .NET

Regardez d'abord le code suivant :

int tempi = 1; 
object o = tempi; 
double tempd = (double) o;

Il peut réussir lors de la compilation, mais l'erreur suivante est signalée lors de l'exécution :
System.InvalidCastException : la conversion spécifiée n'est pas valide.

En effet, lors du déballage d'un objet, le résultat de la distribution doit être son type d'origine déballé. Celui-ci doit être converti en type int avant de pouvoir être converti en type double. Le format correct est le suivant :

int tempi = 32; 
object o = tempi; 
double tempd = (double)(int) o;

Dans le framework .NET, le boxing comprend généralement les trois étapes suivantes :
1. Allouez de la mémoire pour l'objet de type référence nouvellement généré à partir du tas géré. La taille de la mémoire allouée correspond à la taille de l'instance de type valeur encadrée elle-même, plus un pointeur de table de méthodes et un SyncBlockIndex ajouté pour le type de référence nouvellement généré.
2. Copiez les champs de l'instance de type valeur dans la mémoire de l'objet nouvellement alloué sur le tas géré.
3. Renvoie l'adresse de l'objet nouvellement alloué dans le tas géré. De cette manière, l’instance de type valeur devient également un objet de type référence.

Le processus de déballage est le suivant :
1. Si l'objet à déballer est nul, une NullReferenceException sera levée.
2. Si l'objet pointé par la référence n'est pas un objet encadré du type de valeur attendu, le déballage échoue et une InvalidCastException est levée (comme au début de cet article).
3. Un pointeur vers la partie de type valeur contenue dans l'objet encadré est renvoyé. Le type valeur pointé par ce pointeur ne sait rien des membres supplémentaires que possèdent habituellement les objets de type référence (c'est-à-dire un pointeur de table de méthodes et un SyncBlockIndex). En fait, le pointeur pointe vers la partie non encadrée de l'objet déjà encadré (Microsoft.NET Framework Programming a2c52a2a7d106cdf965ecfefd64f8924).

Pour le point 3, vous pouvez utiliser l'exemple ci-dessus pour vous aider à comprendre. Définissez d'abord la variable de type valeur tempi, qui occupe 4 octets en mémoire, après boxing, elle devient un objet de référence et ajoute un pointeur de table de méthodes et un SyncBlockIndex. Pour les types référence, il vous suffit de transmettre l'adresse d'un "type référence" pour obtenir sa valeur, son pointeur de table de méthodes et SyncBlockIndex. Lors du déballage, ce qui est transmis est l'adresse de sa "valeur" (la partie déballée), c'est-à-dire une adresse (référence) de type "int (Int32)", qui ne permet de lire que 4 octets. Le type double fait 8 octets, donc la conversion implicite signalera une erreur. Il doit être converti en type int avant de pouvoir être converti en type double.

Pour plus d'articles liés au processus d'implémentation du boxing et du unboxing dans .NET, veuillez faire attention au site Web PHP chinois !