Что означает «может рассматриваться как тип интерфейса» в руководстве по TypeScript?

«Рассматриваться как тип интерфейса» означает, что везде, где реализованный интерфейс Checkable требуется или ожидается в базе кода, экземпляр реализации NameChecker будет полностью удовлетворять этому условию.

«Он не меняет тип класса» в том смысле, что при реализации интерфейса класс и его тип не будут изменены или указаны, например. более точно соответствовать методам интерфейса. Если они совпадают, то они совпадают. В противном случае выдается ошибка и код не компилируется.

Реализация интерфейса требует, чтобы по крайней мере все свойства и методы интерфейса присутствовали в определении класса. В этом смысле да, вам придется повторять одни и те же типы для обоих. В интерфейсе будут указаны только типы (методы, аргументы и тип возвращаемого значения), тогда как класс будет иметь конкретную реализацию каждого метода.

Ключевое слово implements в Typescript обеспечивает структурное подтипирование. ^[1]

A class может implement и interface, и экземпляры этого class можно рассматривать как экземпляры interface, что позволяет создавать структурные подтипы.

Но я не понимаю, что означает «может рассматриваться как тип интерфейса», когда там также говорится: «Это вообще не меняет тип класса или его методы».

Он не меняет тип class или его методы в отличие от наследования — Children теперь становится подтипом Parent, а наследуемые методы Parent теперь существуют в Children.

Все, что он делает, это гарантирует, что экземпляр class можно рассматривать как экземпляр interface, если он выполнил все, что указано в контракте, то есть полностью implements обязательные поля interface.

В приведенном мной примере код check(s) { ... } пропускает все типы, но все равно (в ваших терминах) выполняет контракт. ^[2]

Для ясности позвольте мне объяснить, что спрашивает ОП.

Рассмотрим interface:

interface Checkable {
  check(S: Type): boolean;
}

Следующие классы implementinterface следующие:

class NameChecker implements Checkable {
  check(name: string): boolean
  {
    return name.toLowerCase() === "john doe";
  }
}

class AgeChecker implements Checkable {
  check(age: number): boolean
  {
    return age === 50;
  }
}

Почему приведенное выше считается «полной реализацией» по ключевому слову implements даже с явно разными сигнатурами методов?

Это связано с тем, что Typescript использует структурную типизацию для определения совместимости типов. Для функций это означает, что вам не обязательно иметь одну и ту же подпись для объявления и реализации, если компилятор может определить реализацию, которую можно безопасно вызывать через объявление. Все, о чем вам нужно беспокоиться, — это параметры функции и дисперсия.

_{^[1] Typescript already makes use of structural subtyping. All implements does is that it provides a strict check hence the use of "ensures" in the above wording.}

_{^[2] Actually it doesn’t omit every type, the type becomes any implicitly.}

Пункт 1: Может рассматриваться как тип интерфейса:

Предположим, вы создаете интерфейс, и два разных класса реализуют его, как показано ниже:

interface Alphabet {
  x: number;
  y?: number;
}
class C implements Alphabet { //Error
  z = 0; 
}
class D implements Alphabet { 
  x= 1; 
  y = 0;
}

c выдает ошибку, поскольку c нельзя рассматривать как что-то типа Alphabet. Ключевое слово implements предназначено для этой проверки и выдает ошибку.

Детская площадка

Предложение 2: вообще не меняет тип класса или его методы:

В приведенном ниже примере можно (ошибочно) ожидать, что c.y будет действительным, хотя undefined. Но это не тот случай. Т. к. тип c по-прежнему C, это не Alphabet.

interface Alphabet {
  x: number;
  y?: number;
}
class C implements Alphabet {
  x = 0;
}
class D implements Alphabet {
  x= 1;
  y = 0;
}
const c = new C();
const d = new D();

c.y; //Error
d.y; //No Error

Детская площадка

И это путаница, против которой предупреждает руководство.