在 TypeScript 接口中覆盖/覆盖方法签名

Question

在这个特定的示例中，我正在扩展 Array<T> 接口，如下所示：

interface BetterArray<T> extends Array<T> {
    push(this: BetterArray<T>, value: T): this;
}

参考注释 - Array<T>.push 是这样实现的

interface Array<T> {
    push(...items: T[]): number;
}

但我得到以下编译时错误：

接口“BetterArray”错误地扩展了接口“T[]”。
属性“推送”的类型不兼容。 类型 '(this: BetterArray, value: T) => this' 不可分配给类型 '(...items: T[]) => number'。 类型“this”不可分配给类型“number”。 类型“BetterArray”不可分配给类型“数字”。

有什么方法可以强制指示我想在我的界面上覆盖推送的 TypeScript（如 member hiding in C#）？

注意 - 我使用的是 TypeScript 2.0

进一步阅读 - 看来这完全取决于返回类型 - 基本上我想通过接口强制执行，一个新的返回类型......

interface A {
    fn(): number;
}

interface B extends A {
    fn(): this;
}

接口“B”错误地扩展了接口“A”。财产类型 'fn' 不兼容。 类型 '() => this' 不能分配给类型 '() => number'。 类型“this”不可分配给类型“number”。 类型“B”不能分配给类型“数字”。

Answer 1

根据nitzan tomer's | answer

你只需要添加Array.push的原始签名：

interface BetterArray<T> extends Array<T> {
    push(...items: T[]): number;
    push(this: BetterArray<T>, value: T): this;
}

使用never 类型似乎可以解决这个问题。 Intellisense 接收到 never，“never” 返回，因此不会费心向您显示方法签名 (neat)

interface BetterArray<T> extends Array<T> {
    push(...items: T[]): never;
    push(this: BetterArray<T>, value: T): this;
}

Answer 2

您只需添加Array.push的原始签名：

interface BetterArray<T> extends Array<T> {
    push(...items: T[]): number;
    push(this: BetterArray<T>, value: T): this;
}

您想要做的问题是，如果this 是BetterArray，那么您不能返回this，例如：

class BetterArrayClass<T> extends Array<T> {
    push(...items: T[]): number;
    push(this: BetterArrayClass<T>, value: T): this;
    push(this: BetterArrayClass<T>, ...items: T[]): number | this {
        return this;
    }
}

错误：

类型 'BetterArrayClass' 不可分配给类型 'number |这个'。
类型“BetterArrayClass”不可分配给类型“this”。
这个：BetterArrayClass

原因可以从这个更简单的例子中看出：

class A {
    fn(this: A, num: number): this {
        return this; // Error: Type 'A' is not assignable to type 'this'. this: A
    }
}

class B extends A {
    fn(num: number): this {
        if (num < 0) {
            return super.fn(num);
        }
        return this;
    }
}

如果在B.fn 中我们调用super.fn，那么this 不是A 而是B，无论如何我们都希望返回B 的实例。
这不是A.fn 所描述的。