Coulée explicite de types dérivés C#

Question

Si je crée la classe A et que la classe B hérite de la classe A, pourquoi C# m'oblige-t-il à basculer explicitement entre eux?

Par exemple:

public class Mammal 
{ 
} 

public class Dog : Mammal 
{ 
} 

...

Mammal foo = new Dog(); // Invalid, wants an explicit cast 
Mammal bar = (Mammal)new Dog(); // This one works 

Je suis juste curieux de ce que le raisonnement est derrière cette restriction.

Answer 1

Vous ne savez pas exactement ce que vous voulez dire? Les deux déclarations que vous avez écrites compilent et fonctionnent bien.

Vouliez-vous écrire ceci comme votre question ...?

Dog foo = new Mammal(); // Invalid, wants an explicit cast 
Dog bar = (Dog)new Mammal(); // This one works 

Si tel était ce que vous entendez (qui correspondent aux commentaires), le premier ne compilera pas parce qu'un Mammal n'est pas un Dog et le compilateur qu'il sait, il ne vous laissera pas l'attribuer (un Dog est un Mammal car il en dérive, mais l'inverse n'est pas vrai). Dans le second, vous écrasez le meilleur jugement du compilateur, et vous lui dites que vous savez mieux qu'un Mammal est vraiment un Dog, mais comme ce n'est pas le cas, cette instruction échouera à l'exécution avec un InvalidCastException.

Answer 2

Ils fonctionnent tous les deux.