Проблемы с типами при наследовании от абстрактного класса или при импликации от интерфейса?

Question

[ikutin666]

Всем привет!!!
использую typescript typescript 3.1.6

почему это является корректным?

abstract class BaseUserInfo {
  abstract addChangeListener(callback: (a: any) => void): void;
  abstract removeChangeListener(callback: (a: any) => void): void;
  abstract getState(): void;
  abstract setState(newUserInfo: UserInfoModel): void;
}
export class UserInfo extends BaseUserInfo {
//...
override getState = (): UserInfoModel => {
    return this.state; // type UserInfoModel
  };
}

почему typescript не ругается ведь getState в дочернем и в абстрактном классе имеет разные сигнатуры

Comments

[WbICHA]

К сожалению, тс не подтягивает типы методов от наследуемого класса и имплементируемого интерфейса, так что надо вручную прописывать:
getState: BaseUserInfo['getState']
Но в любом случае если ожидается возвращаемый тип воид, то там уже не важно, возвращает функция что-то или нет, они все будут частным случаем общего, а значит валидны.

[Lynn «Кофеман»]

Ну а почему он должен ругаться?

UserInfoModel можно использовать в любом месте где можно использовать void. Какая разница что игнорировать?

Вот если вы напишите, например, abstract getState(): number; то TS будет ругаться что number и UserInfoModel несовместимы.

Answer 1

[Aetae]

Ну потому что extend - это "расширение", и главное совместимость, м?

В данном случае любой UserInfo обратно совместим с BaseUserInfo, т.к. для BaseUserInfo.getState() возвращаемое значение имеет тип void (не путать с undefined), который никак не может быть использован (сам ts не даст).

abstract class BaseUserInfo {
  abstract getState(): void;
}

class UserInfo extends BaseUserInfo { 
  override getState = (): number => 1;
}

function useInfo(info: BaseUserInfo) {
  // An expression of type 'void' cannot be tested for truthiness.(1345)
  if (info.getState()) { // не получится так сделать и всё сломать
    console.log('never')
  }
}