====== Полиморфный тип this ======

Как в предке описать тип потомка и при чем здесь полиморфный тип ''this'' - сможет ответить текущая глава.

===== this - как тип =====

В TypeScript существует возможность указывать в качестве типа полиморфный тип ''this''.

Полиморфный тип — это тип, который представляет множество типов как единое целое.

Полиморфный тип ''this'' является совокупностью типов, определяющих тип экземпляра. Кроме того, полиморфный тип ''this'' доступен для указания только в классах и интерфейсах.

Чтобы понять, о чем идет речь, нужно представить два класса, связанных с помощью механизма наследования, и в каждом из них объявлен метод, возращаемое значение которого принадлежит к типу представляющего экземпляр класса, в котором он определен.

<code javascript>
class Animal {
  public sit(): Animal {
    // реализация метода
    return this;
  }
}

class Bird extends Animal {
  public fly(): Bird {
    // дополнение супертипа специфичным методом
    return this;
  }
}
</code>

Если создать экземпляр подкласса и вызвать по цепочке метод подкласса, а затем — суперкласса, то операция завершится успехом.

<code javascript>
const bird: Bird = new Bird()
  .fly() // Ok, возвращает тип Bird
  .sit(); // Ok, возвращает тип Animal
</code>

Если попробовать изменить порядок вызова методов, то возникнет ошибка. Произойдет это по той причине, что метод, объявленный в суперклассе, возвращает значение, принадлежащее к типу самого суперкласса, который ничего не знает о методах, объявленных в его подтипах.

<code javascript>
const bird: Bird = new Bird()
  .sit() // Ok, возвращает тип Animal
  .fly(); // Error, в типе Animal, возвращенном на предыдущем шаге, нет объявления метода fly
</code>

Можно, конечно, в качестве возвращаемого значения указать тип ''any'', но, помимо того, что пропадет автодополнение, ещё и пострадает семантическая привлекательность кода.

<code javascript>
class Animal {
  public sit(): any {
    return this;
  }
}

class Bird extends Animal {
  public fly(): any {
    return this;
  }
}

let bird: Bird = new Bird()
  .fly() // Ok
  .sit(); // Ok

bird = new Bird()
  .sit() // Ok
  .fly(); // Ok, работает, но так лучше не делать
</code>

TypeScript предлагает решить эту проблему с помощью полиморфного типа ''this''. Ожидаемое поведение достигается за счет того, что полиморфный тип ''this'' является множеством типов, определяемым цепочкой наследования. Другими словами, тип ''this'' будет принадлежать к тому же типу, что и экземпляр подкласса, который принадлежит к типу подкласса и типу суперкласса одновременно.

Такое поведение называется F-ограниченный полиморфизм (F-bounded polymorphism).

<code javascript>
class Animal {
  public sit(): this {
    return this;
  }
}

class Bird extends Animal {
  public fly(): this {
    return this;
  }
}

let bird = new Bird()
  .fly() // Ok
  .sit(); // Ok

bird = new Bird()
  .sit() // Ok, возвращает тип Bird
  .fly(); // Ok
</code>

Стоит отдельно подчеркнуть, что полиморфный тип ''this'' не принадлежит к типу класса или интерфейса, в котором указан. Полиморфный тип ''this'' может быть определен только на основе экземпляра класса. Проще говоря, полиморфный тип ''this'' принадлежит к типу своего экземпляра и может быть определен только в момент создания экземпляра. Также тип ''this'' совместим с типом ''any'', а, при условии, что флаг ''--strictNullChecks'' установлен в ''false'', ещё и к типам ''null'' и ''undefined''. К тому же тип ''this'' совместим с типом экземпляра, ссылку на который можно получить с помощью ключевого слова ''this''.

<code javascript>
class Animal {
  public animalAll: this[] = []; // массив с полиморфным типом this

  constructor() {
    this.add(new Animal()); // Error, так как на данном этапе не известно, к какому типу будет принадлежать полиморфный тип this
    this.add(this); // Ok
  }

  public add(animal: this): this {
    this.animalAll.push(animal);

    return this;
  }
}

class Type {
  static interface: Animal = new Animal();
  static animal: Animal = new Animal();
  static any: any = new Animal();
  static null: null = null;
  static undefined: undefined = undefined;
}

const animal = new Animal()
  .add(Type.animal) // Ok
  .add(Type.interface) // Error
  .add(Type.any) // Ok
  .add(Type.null) // Ok
  .add(Type.undefined); // Ok
</code>

Не будет лишним упомянуть, что в тех случаях, когда тип не указан явно, а в качестве значения выступает ссылка на экземпляр (''this''), то вывод типов будет указывать на принадлежность к полиморфному типу ''this''.

<code javascript>
class Animal {
  public instance = this; // instance: this

  public getInstance() {
    // getInstance(): this
    const instance = this; // instance: this

    return this;
  }
}
</code>