Как сочетаются наследование и дженерики?

Question

[zlodiak]

Я знаю что такое extends и знаю что такое generics, но иногда вижу код, в котором они используются вместе и это непонятно. Выглядит он примерно так:

class A extends B<string> {}

Даже не знаю по каким словам гуглить чтобы понять что означает такая запись.

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

Comments

[WbICHA]

А самому переписать эту реализацию и поэксперементировать слишком сложно?
https://www.typescriptlang.org/play?#code/MYGwhgzh...

Answer 1

[Илья]

Вот например:

class Result<T>{
  public readonly result;
  constructor(result: T){
    this.result = result;
  }  
}

class NumberResult extends Result<number>{
  constructor(result: number){
    super(result);
  }

  public ResultPlusOne(){
    return this.result + 1;
  }
}

Result<T> - это открытый дженерик, то есть в будущем на месте T должен быть указан другой\типы или типы для того чтобы создавать экземпляры класса.
Если мы захотим, например, на место Т поставить number и создать экземпляр класса
let result = new Result<number>(42)
то компилятор для этого создаст закрытый дженерик который будет выглядеть примерно так, но вы его нигде не увидите:

class Result{
  public readonly result;
  constructor(result: number){
    this.result = result;
  }  
}

Запись class NumberResult extends Result<number>
Означает наследование от такого класса Result в котором на место T уже подставлен конкретный тип

Comments

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

Дайте ссылку на определение термина "открытый дженерик"
Не стоит отвечать на вопрос выдуманными терминами

[Илья]

Дмитрий Беляев, в доках typescript, действительно не вводится термин "open generic" и "closed generic". Но в C# эти термины вводятся явно. Конечно есть вероятность, что Андерс Хейлсберг пока занимался созданием C# пользовался этими концепциями, а когда стал делать typescript сразу их забыл. Но это выглядит маловероятно.

[Илья]

Дмитрий Беляев,
Справедливости ради, я провел небольшое исследование по этому термину, и действительно он обычно используется в контексте языка с# и если пробовать гуглить по запросу closed generic -c#, то ничего релевантного не выдается. Тем не менее мне эти термины кажутся достаточно выразительными, чтобы использовать их в контексте typescript тоже. Если есть какие-то рациональные причины их не использовать, кроме вашей личной неприязни, сообщите мне об этом.

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

Илья, без ссылок - все это просто слова, в контексте C# тоже такого термина не встречал, как и в контексте других языков

[Илья]

Дмитрий Беляев,

в контексте C# тоже такого термина не встречал

значит есть отличный шанс, познакомиться с чем-то новым

https://docs.microsoft.com/en-us/dotnet/framework/...

A generic type or method is closed if instantiable types have been substituted for all its type parameters, including all the type parameters of all enclosing types. You can only create an instance of a generic type if it is closed.

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

Илья, так это про рефлексию термин, а не про дженерики, дженерики тут частный случай

[Илья]

Дмитрий Беляев, кажется что у вас нет цели договорится и вы играете в игру "да,но". В связи с этим я выхожу из данной дискуссии. Дальше давайте сами.

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

Илья, а о чем тут договариваться? Вы использовали термин, никак не относящийся к теме, к которой Вы его применили, а теперь пытаетесь оправдаться и притянуть за уши любой источник...

Answer 2

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

Классы в TypeScript могут быть дженериками, то есть параметризованы неким типом (или даже несколькими типами). При наследовании нужно передавать такой параметр явно, чтоб TypeScript знал, что подставить на место обобщенного типа.

class Base<T> {
  protected val: T;
}

class A extends Base<string> {
  methodA(): string {
    return this.val; // Ok, так как здесь val имеет тип string
  }
}

class B extends Base<number> {
  methodB(): number {
    return this.val; // тоже ok, так как здесь val имеет тип number
  }
}

Comments

[Илья]

При наследовании нужно передавать такой параметр явно

Не обязательно, наследником может быть тоже джененирик

class Base<T> {
  protected val: T;

  constructor(val: T){
    this.val = val;
  }
}

class BaseBase<T> extends Base<T>{
  protected val2: T;

  constructor(val: T, val2: T){
    super(val);
    this.val2 = val2;
  }
}

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

Илья, чем Base<T> противоречит слову явно?
Неявно, это когда TS сам выводит дженерик из параметров, но в случае наследования это несколько напряжно, хотя возможно в будущих версиях и будет возможность выводить типы для дженерика из выражения super()

[Илья]

Дмитрий Беляев, я говорил что при наследовании не обязательно закрывать дженерик.

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

Илья, приведите пример на плэйграунде с такой необязательностью

Вот тут в примере WbICHA хорошо видно, что TS ругается на незакрытый дженерик:
https://www.typescriptlang.org/play?#code/MYGwhgzh...

[Илья]

Дмитрий Беляев, https://www.typescriptlang.org/play?#code/MYGwhgzh...

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

Илья, и где в Вашем примере незакрытый дженерик?

[Илья]

Дмитрий Беляев, BaseBase<T>

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

Илья, вы передаете в BaseBase конкретный тип T, то что для текущего класса он тоже дженерик - не имеет значения, он вполне конкретен и передается явно.
А такого понятия как "закрытый" и "незакрытый" - нет, Вы его сами выдумали.
В текущей версии TS неявно нельзя использовать дженерики при наследовании, можно только при вызове функции или конструктора. Неявная передача дженерика, это когда вот так:

class A<T> {
  constructor(private v: T) {}
}

const a = new A(100);

Вам не нужно явно писать new A<number>(100), компилятор может это вывести за Вас. А при наследовании так нельзя.

Answer 3

[Vitaliy]

дженерик в этом лучае ничем не отличается как и в new B<string>()

Answer 4

[Pavel Shvedov]

Обычное джаваскриптовое наследование, че тут еще искать, сам же сказал, что знаешь, что такое extends

Comments

[zlodiak]

Наследование я обычно делал так:
class A extends B {}
То есть без всяких угловых скобок. Какую роль они здесь играют я не понимаю

[Pavel Shvedov]

zlodiak, на наследование конкретно они никак не влияют, просто класс A расширяет класс B<string>