Confus par la boxe. Casting -1 à Int64 throws InvalidCastException

Question

Ok, je dois être sur quelque chose d'extrêmement simple mais je suis perdu.

Compte tenu de cette

object val = -1; 
var foo = (Int32)(val); 
var bar = (Int64)(val); 

Le casting de Int64 lancers francs et InvalidCastException.

Je reconnais que cela est lié à une certaine étrangeté avec la boxe, mais je ne comprends pas le raisonnement. D'après ce que je comprends val est encadré comme Int32 sur la première ligne.

Ensuite, lorsque j'essaye de lancer comme quelque chose d'autre que Int32 InvalidCastException est levée. Je suppose que cela signifie que j'essaye de déballer Val comme Int64 quand c'est en fait un Int32?

Encore semble étrange. Le casting ne peut-il pas dégrouper la valeur et ensuite essayer d'effectuer la distribution?

Quelque chose comme (Évidemment, cela est horriblement simplificatrice, peut-être le type boxed on ne sait pas si cela est impossible?):

object val = -1; 
Int32 unboxed = (Int32)(val); 
var bar = (Int64)(unboxed); 

Quelqu'un (lire: Eric Lippert) École moi sur le raisonnement derrière ce.

MISE À JOUR: du blog de Eric que Reed a posté un lien vers cette est la réponse succincte je cherchais

» ... Ce serait une énorme quantité de code pour générer, et il serait Le code est bien sûr si grand que vous voudriez le mettre dans sa propre méthode et juste générer un appel à celui-ci.Plutôt que de le faire par défaut, et toujours générer du code qui est lent, grand et fragile, Nous avons décidé que le débobinage ne peut que déballer au type exact Si vous voulez appeler la méthode lente qui fait tout ça, elle est disponible - vous pouvez toujours appeler Convert.ToInt32, qui fait toute cette analyse à l'exécution pour toi. Nous vous donnons le choix entre "rapide et précis" ou "lent et relâché", et le défaut sensible est le premier. Si vous souhaitez que ce dernier appelle la méthode, appelez la méthode .... "

Answer 1

Ceci est dû au fait que vous ne pouvez pas déballer et effectuer une conversion en une seule opération. Vous devez décompacter la valeur Int32 dans un Int32, puis la convertir . son type

à cause de cela, cela nécessite l'objet à uNBOXED, puis converti en Int64:

object val = -1; 
int foo = (Int32)val; 
Int64 bar = (Int64)(Int32)val; 

Eric Lippert a couvert en détail sur son blog intitulé Representation and Identity