Question

似乎用typescript不能定义具有通用返回类型的抽象函数（我正在使用ts 3.2.4）或缺少某些内容。

例如：

abstract class Foo {
    abstract func<T>() : T;
}

class Bazz extends Foo {
    func() { return 1; }
}

会给出错误：

TS2416：无法将类型“ Bazz”中的属性“ func”分配给基本类型“ Foo”中的相同属性。类型'（）=>数字'不能分配给类型'（）=> T'。不能将“数字”类型分配给“ T”类型。

那么，是否可以定义一个具有通用返回类型的抽象函数？

编辑：

因此，事实证明，按预期方式使用未知工作，并且可以将其用作抽象函数中的返回类型。但是，让我们考虑一下：

abstract class Foo{
    getFuncResult() {
        return this.func();
    }
    abstract func() : unknown;
}

class Bazz extends Foo {
    func() { return 1; }
}

let foo: Foo = new Bazz();
foo.func(); // unknown

let bazz = new Bazz() 
bazz.func() // number
bazz.getFuncResult() // unknown

我希望Bazz上的getFuncResult具有与派生的func（数字）相同的类型签名。因此，这更多是关于Typescript类型推断的问题。

Answer 1

问题是您将type参数放在哪里。如果类型参数在方法上，则该方法在派生类中必须是通用的。用该方法指定的合同意味着我们必须始终能够使用任何T来调用它（即，调用者决定用什么T来调用）。所以这段代码需要工作：

let a: Foo = new Bazz()
a.fun<string>() // method is generic caller decides `T`

您要在类上放置type参数，并在Bazz中继承时修复type参数

abstract class Foo <T>{
    abstract func() : T;
}

class Bazz extends Foo<number> {
    func() { return 1; }
}

let foo: Foo<number> = new Bazz();
foo.func(); //ok result is numebr

let fooStr: Foo<string> = new Bazz() // error, different T

修改

如果您不关心基类中的返回类型是什么，而只希望派生类创建方法，则可以使用unknown作为返回类型。如果您有对抽象类的引用并调用该方法，则它将返回unknown；如果您有对派生类的引用，则将返回适当的类型：

abstract class Foo{
    abstract func() : unknown;
}

class Bazz extends Foo {
    func() { return 1; }
}

let foo: Foo = new Bazz();
foo.func(); // unknown

let bazz = new Bazz() 
bazz.func() // number

修改

关于在另一个函数中使用func并期望相对于func打字稿的类型，至少在默认情况下不会帮到您。默认情况下，将使用基类中已知的信息键入getFuncResult。不使用类类型参数（我确实应该考虑一下）的一种解决方案是对多态this类型使用类型查询。相对于当前类，这将键入return，但是您将需要在函数内部使用类型断言来使事情起作用：

abstract class Foo{
    getFuncResult() : ReturnType<this['func']> {
        return this.func() as any;
    }
    abstract func() : unknown;
}

class Bazz extends Foo {
    func() { return 1; }
}

let foo: Foo = new Bazz();
foo.func(); // unknown

let bazz = new Bazz() 
bazz.func() // number
bazz.getFuncResult() // number

打字稿中的抽象函数返回类型

1 个答案: