限制方法中的接口类型参数

时间:2018-04-25 23:13:22

标签: typescript type-variables typescript-generics

我试图传达一种方法只有在其接口的类型参数符合某个约束时才有意义。这是一个(非编译)示例:

interface Array<T> {
    fold<B>(base: B, f: (acc: B, e: T) => B): B
    sum(): T is number
}

Array.prototype.fold = function(base, f) {
    let result = base
    for (let i = 0; i < this.length; i++)
        result = f(result, this[i])
    return result
}

Array.prototype.sum = function() {
    return this.fold(0, (acc, e) => acc + e)
};

[1, 'a', 3].sum() //? 1a3  <-- should be an error!

在这里,我试图传达sum仅在T extends number时才有意义。

1 个答案:

答案 0 :(得分:1)

你有正确的想法,只是错误的语法。

这就是你写它的方式。

interface Array<T> {
  sum(this: number[]): number;
}

注意我们如何使用this类型作为合成参数不会改变函数的arity。您尝试使用的语法,虽然有趣的猜测,但用于另一个目的,即类型保护。

有趣的是,this上的类型注释优先于接口的类型。您也可以声明一个通用参数,将其应用于this,并对T设置限制,以便它也可以组合。有很大的灵活性。

这是一个有趣的结合了界面类型并使用this

进行优化的界面类型
interface Array<T> {
  flatten(this: T[][]): T[];
}