Как объявить дочерний тип, т.е. тип, обязательно наследующий базовый?

Question

[Gennady S]

Вопрос, полагаю, тривиальный, но, пролистав документацию, ответ не нашел. Нужно в интерфейсе или классе объявить свойство, которое должно быть унаследовано от базового. В некоторых языках это решается объявлением базового же типа. Например:

interface Foo { }
class A implements Foo { }
class B { }

interface Baz {
  someField: Foo; // поле должно наследовать Foo
}

const b: Baz = {
  someField: new B(); // ошибка
};

UPD более наглядный пример:

interface Foo { a: number; }
interface Bar extends Foo { b?: number; }
interface Baz extends Foo { c: number; }

class B implements Bar { /* interface release */ }
class C implements Baz { /* interface release */ }

interface X { instance: Bar; }
{ instance: new C() } as X;

Comments

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

Что-то после изменения из вопроса исчез смысл

[Gennady S]

Lynn «Кофеман», думаю, гипотетическая ситуация возможна, когда два или более классов имеют общие интерфейсы в предках и нужно ограничить использование определенной веткой наследования.

interface Foo { a: number; }
interface Bar extends Foo { b?: number; }
interface Baz extends Foo { c: number; }

class B implements Bar { /* interface release */ }
class C implements Baz { /* interface release */ }

interface X { instance: Bar; }
{ instance: new C() } as X;

Мне хочется найти возможность строго ограничить по предку.

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

У интерфейсов нет «предков». Собственно это краеугольный камень структурной типизации TS: умеет крякать как утка значит сойдёт за утку.

Наверное самый простой хак что бы ограничить наследование это использовать классы с приватными полями

[Gennady S]

Lynn «Кофеман», в плане объявления типов интерфейсы и классы подобны, в моем примере можно заменить интерфейсы классами. С приватными - мысль, подумаю.

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

Gennady S, не совсем. У интерфейсов нет приватных свойств.

class A {
  private $$kind: 'A';
  a: number;
}

function foo(a: A) { }

В функцию foo можно передать только экземпляры класса A или его потомков. Просто потому что больше ни у кого не может быть такого же приватного свойства $$kind

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

Но вообще такая задача очень специфическая и может сигнализировать о неправильной архитектуре

[Gennady S]

Lynn «Кофеман», у меня другая задача стояла, когда в голову пришел этот вопрос. Мне нужно было реализовать интерфейс, где тип значений - тип, имеющий общего предка (именно тип, а не экземпляр типа). Там это решалось через конструктор, определяющий класс (примерно как решено в реализациях DI для TypeScript). Но задумался, так ли строги ограничения типов (хотя они в любом случае как угодно обходятся, со всякими Omit, any и т.д.).

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

Ну TS он про то что бы уменьшить возможность выстрелить себе в ногу случайно. Задачи запретить прицельную стрельбу в ногу у него нет.

Answer 1

[Дмитрий Беляев]

И где ошибка?

А вообще, если правильно понял вопрос, Вам нужны дженерики:

class Bar<T extends Foo> {
  someField: T; // это поле может быть A, B и обязано произойти от Foo
}

interface Baz<T extends Foo> {
  someField: T;
}

UPD:

Я ищу способ однозначно ограничить по предку на уровне типа

Можно такой хинт провернуть:

declare const hint: unique symbol;

class Foo {
    protected [hint]: never;
}

interface IFoo extends Foo {}

class A extends Foo implements IFoo {}

class B { }

interface Baz {
  someField: IFoo;
}

const a: Baz = {
  someField: new A(), // нет ошибки
};

const b: Baz = {
  someField: new B(), // ошибка
};

https://www.typescriptlang.org/play?jsx=0#code/CYU...

Comments

[Gennady S]

Попробуйте в примере добавить:

class C { }
a.someField = new C();

- поправлю вопрос.

T extends X - это вариант, но так придется прописывать в каждый дочерний или пользовательский класс.

[Alexandroppolus]

Gennady S, a.someField = new C(); должно показывать ошибку? Но ошибки не будет, потому что TS структурно сравнивает типы, и класс C по мнению тайпскрипта реализует интерфейс Foo, хотя и не написано про implements Foo явно

[Gennady S]

Alexandroppolus, да, это так, если C будет повторять поля и методы интерфейса, явной ошибки не будет.

[WbICHA]

Gennady S, так и в чём проблема?

[Alexandroppolus]

кстати, забавная штука - если интерфейс не пустой, но все его поля необязательны, то пустой объект или класс считается реализующим этот интерфейс, а непустой класс уже не реализует
ссылка - если закомментить метод в классе C, то ошибка пропадет

[Gennady S]

WbICHA, Alexandroppolus, хороший пример с необязательными полями. Есть масса ситуаций и простых интерфейсов, когда они подобны. Я ищу способ однозначно ограничить по предку на уровне типа. Это не часто встречается и не является обязательным в какой-то задаче передо мной, но стало интересно, есть ли такой синтаксис в языке, да, в духе как это работает с шаблонами типов `T extends Foo`, скажем:

interface X {
   b: T extends Foo; // псевдокод
}

[Gennady S]

Дмитрий Беляев, похожее решение с приватным полем предлагал Lynn «Кофеман» в комментариях к вопросу. Похоже, без такой "доработки" языка никак.

Но в принципе задача не является острой необходимостью, это просто на заметку и из любознательности.