Тип подзаголовка подписи (Тип утверждений)

Question

Надеюсь, вы любите животных. Вот пример выступления:

class Animal { 
    constructor(public name: string, public age: number) {} 
} 

class Cat extends Animal { 
    constructor(name: string, age: number) { 
    super(name, age); 
    } 
    public miaou() { 
    console.log('Miaou'); 
    } 
} 

class Kennel { 
    animals = Map<string, Animal> new Map(); 

    public addAnimal(animal: Animal): void { 
    this.animals.set(animal.name, animal); 
    } 

    public retrieveAnimal(name: string): Animal { 
    return this.animals.get(name); 
    } 
} 

let kennel = <Kennel> new Kennel(); 
let hubert = <Cat> new Cat('Hubert', 4); 

kennel.addAnimal(hubert); 

let retrievedCat: Cat = kennel.retrieveAnimal('Hubert'); // error 
let retrievedCat = <Cat> kennel.retrieveAnimal('Hubert'); // Works 

Ошибка: Тип «Animal» не может быть присвоен типу «Cat». Свойство «Miaou» отсутствует в типе «Animal».

Кто-нибудь может объяснить мне разницу? Я думал, что не было ни одного ...

EDIT: ОК, он подробно описан в спецификации Машинопись: Type Assertions

class Shape { ... } 
 
class Circle extends Shape { ... } 
 
function createShape(kind: string): Shape { 
 
if (kind === "circle") return new Circle(); 
 
... 
 
} 
 
var circle = <Circle> createShape("circle");

Answer 1

Функция "retrieveAnimal" возвращает объект типа «животных», но здесь

let retrievedCat: Cat = kennel.retrieveAnimal('Hubert'); 

вы объявляете переменную «retrievedCat» типа «Cat», поэтому вы действительно не можете отличить Animal to Cat.

Во втором случае:

let retrievedCat = <Cat> kennel.retrieveAnimal('Hubert'); 

вы объявляете «retrievedCat» переменный «любого» типа (вы не определяете типа, поэтому по умолчанию - «любой»), а также указать значение, как "Кот". Очевидно, вы можете бросить «Cat» на «any», IMHO.