Então está correto dizer que o unboxing/Int32 faz o casting implícito da classe System.ValueType para System?
Não, esta é uma afirmação completamente sem sentido. System
é um namespace, então não tem conversão alguma para ele. ValueType
é uma classe abstrata utilizada para dar a infraestrutura necessária para as estruturas, mas não é usada diretamente. Na verdade nem sei o que dizer sobre o que está escrito.
Ou seja, da estrutura Int32 para a classe Object?
Isto está correto, o boxing é justamente pegar um objeto por valor e encaixotá-lo em um tipo por referência, então no momento que é feito um boxing, imp´lícito ou explícito o que está fazendo é criar um objeto por referência, no caso um Object
, e colocando como valor dele a estrutura original, ou seja copia-se a estrutura para o objeto criado e uma referência é criada para este objeto.
Então, por Int32 ser uma estrutura e elas não suportarem herança, é por isso que o Unboxing só pode ser feito para o mesmo tipo?
Não sei se entendi isso, mas acho que não, bixing não existe por causa de herança. O unboxing é copiar o valor de um objeto por referência para um tipo por valor, e o tipo desta estrutura deve ser compatível para receber o que estava armazenado no objeto.
Esqueça ArayList
, isto é obsoleto. Se está lendo material que fala disto ele está obsoleto também, procure coisa mais atual. Hoje em C# muito pouco boxing é necessário, embora alguns ocorram sem que a pessoa perceba porque raramente os programadores entendem o conceito por completo. Se estiver usando uma fonte ruim vai aprender tudo errado.
Tem uma pergunta aqui no site que há um confusão sobre a semântica do boxing.
Já falamos do boxing do Java que é muito parecido. Inclusive usando o [tipo Boolean
como exemplo que é um tipo encaixotado do boolean][3]
.
Provavelmente desejará saber mais sobre struct
e class
.
Tem exemplo de boxing em outra pergunta. Note que hoje quase sempre os exemplos não têm relevância prática.