Как переопределить метод родительского класса в TypeScript?

Question

[lightalex]

Есть код:

class A {
	m(a: number) { }
}

class B extends A {
	m(a: number, b: string) { }
}

Редактор кода ругается, что нельзя переопределять метод m с другими аргументами:


Подскажите пожалуйста, можно ли все-таки как-то переопределить метод с другим списком аргументов?

Comments

[Alex]

class B extends A {
  m(a: number, b: string = '') { }
}

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

Alex, или

class B extends A {
  m(a: number, b?: string) { }
}

[lightalex]

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

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

Но вообще это желание несколько противоречит концепции наследования.
Один из смыслов наследования, что в любое место куда можно передать экземпляр класса A, должно быть можно передать и экземпляр наследника класса.

А теперь представьте, что у вас есть функция

function f(a: A) {
    return a.m(10);
}

и мы её вызовем вот так

const b = new B();
f(b);

С точки зрения TS всё валидно, но если ваш новый метод m не ожидает отсутствия аргумента b, то скорее всего он радостно упадёт в рантайме.

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

Но если прямо вообще невмоготу, то можно «заткнуть» TS с помощью @ts-ignore или @ts-expect-error
https://www.typescriptlang.org/docs/handbook/relea...
но после этого всевозможные ошибки рантайма будут на вашей совести

[WbICHA]

lightalex, что значит "этот способ не подходит", когда вы хотите изменить обязательные аргументы? Тут либо делать второй аргумент необязательным, либо новый метод создавать.

[lightalex]

Lynn «Кофеман», абсолютно осознаю, что это нарушает концепцию наследования.
Спасибо за подсказку с @ts-ignore и @ts-expect-error!

Answer 1

[profesor08]

В Javascript нет такой вещи, как перегрузка функций, методов и тд. Поэтому, для достижения аналогичного функционала, хоть и с ограничениями, используются необязательные аргументы с разными типами и дальнейшая проверка этих типов. Typescript позволит добить некоторой строгости в вызовах, но проверять наличие аргументов и их типов придется ручками. Как это делается описано по ссылке: https://www.typescriptlang.org/docs/handbook/funct...

Получиться должно что-то вроде. Но думаю уже должна была отпасть охота этим заниматься.

class A {
  m(a: number): any {
    return a;
  }
}

class B extends A {
  public m(a: number, b?: number): number;
  public m(a: any, b: any): number {
    if (b === undefined) {
      return super.m(a);
    }
    else {
      return a + b;
    }
  }
}

Comments

[acwartz]

что-то совершенно немыслимое. При наличии наследования, я не могу расширить наследуемые методы...

[profesor08]

acwartz, можешь, вон пример. Но это не c++, это не java, и это не c#. Тут тебе самому придется проверять тип. Все что ты можешь это добавить дополнительное описание для метода, что typescipt его учитывал и подсказывал тебе. Но разруливать все ситуации придется самому. Чтоб лучше понимать, посмотри что получится при трансформации этого кода в javascript.

class A {
    m(a) {
        return a;
    }
}
class B extends A {
    m(a, b) {
        if (b === undefined) {
            return super.m(a);
        }
        else {
            return a + b;
        }
    }
}

[acwartz]

profesor08, ну допустим этим костылем перегрузить можно, а как переписать метод предка как?

[profesor08]

acwartz, это не костыль. Методы предка переписать нельзя, их нигде переписать нельзя, ни в каком языке, в этом смысл наследования. Хочешь новую реализацию, наследуйся и реализовывай.

[acwartz]

profesor08,
ЧТО?! вот тут я дар речи чуть потерял. Никому никогда не говорите такого больше.
Вы видимо не знакомы с чем-либо более сложном чем браузерное окружение.

Method overriding крайне полезно в ООП и современные ЯП его поддерживают.

Вот вам из мира Java:

public class Thought {
    public void message() {
        System.out.println("Я себя чувствую как стрекоза, попавшая в параллельную вселенную.");
    }
}

public class Advice extends Thought {
    @Override 
    public void message() {
        System.out.println("Внимание: Даты в календаре ближе, чем кажутся!");
    }
}

Вот кресты:

class Rectangle
{
public: 
    virtual void print() const;
    
private:
    double length;
    double width;
};
        
void Rectangle::print() 
{
    cout << "Length = " << length << "; Width = " << width;
}
        
class Box : public Rectangle
{
public:
    void print() const;

private:
    double height;
};
 
void Box::print()  
{
   Rectangle::print(); //Не обязательно вызывать метод предка, но если текущий его дополняет, то пожалуйста.
   cout << "; Height= " << height;
}

Вот бессмертный паскаль:

type
 TBase = class(TObject)
 public
   procedure Show; virtual;
 end;

 TNested = class(TBase)
 public
   procedure Show; override;
 end;


implementation 

{ TNested }

procedure TNested.Show;
begin
  //inherited; //Не обязательно вызывать метод предка, но если текущий его дополняет, то пожалуйста.
   ShowMessage('35345');
end;

{ TBase }

procedure TBase.Show;
begin
  ShowMessage('Hi!');
end;

[profesor08]

acwartz, ну вот ты и подтвердил именно то, что я написал. Читай внимательнее и изъясняйся четче, отдавая отчет что пишешь.