- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
似乎用 typescript 定义一个具有通用返回类型的抽象函数是不可能的(我使用的是 ts 3.2.4)或者我遗漏了一些东西。
例如:
abstract class Foo {
abstract func<T>() : T;
}
class Bazz extends Foo {
func() { return 1; }
}
会报错:
TS2416: Property 'func' in type 'Bazz' is not assignable to the same property in base type 'Foo'. Type '() => number' is not assignable to type '() => T'. Type 'number' is not assignable to type 'T'.
那么,是否可以定义一个具有通用返回类型的抽象函数?
编辑:
因此,事实证明,使用 unknown 可以按预期工作,并且可以将其用作抽象函数中的返回类型。但是,让我们考虑一下:
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 具有与派生函数(数字)相同的类型签名。所以,这更多是关于 Typescript 类型推断的问题。
最佳答案
问题在于您将类型参数放在哪里。如果类型参数在方法上,则该方法在派生类中必须是泛型的。该方法指定的契约意味着我们必须始终能够使用任何 T
调用它(即调用者决定使用什么 T
调用)。所以这段代码需要工作:
let a: Foo = new Bazz()
a.fun<string>() // method is generic caller decides `T`
想把类型参数放在类上,在Bazz中继承时固定类型参数
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
相关, typescript 不会帮助你,至少在默认情况下不会。默认情况下,getFuncResult
将输入基类中已知的信息。在不使用类类型参数的情况下(我确实认为您应该研究一下),一种解决方案是对多态 this
类型使用类型查询。这将返回相对于当前类是什么的类型,但您需要在函数内部使用类型断言才能使事情正常工作:
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
关于typescript - typescript 中的抽象函数返回类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54664388/
C语言sscanf()函数:从字符串中读取指定格式的数据 头文件: ?
最近,我有一个关于工作预评估的问题,即使查询了每个功能的工作原理,我也不知道如何解决。这是一个伪代码。 下面是一个名为foo()的函数,该函数将被传递一个值并返回一个值。如果将以下值传递给foo函数,
CStr 函数 返回表达式,该表达式已被转换为 String 子类型的 Variant。 CStr(expression) expression 参数是任意有效的表达式。 说明 通常,可以
CSng 函数 返回表达式,该表达式已被转换为 Single 子类型的 Variant。 CSng(expression) expression 参数是任意有效的表达式。 说明 通常,可
CreateObject 函数 创建并返回对 Automation 对象的引用。 CreateObject(servername.typename [, location]) 参数 serv
Cos 函数 返回某个角的余弦值。 Cos(number) number 参数可以是任何将某个角表示为弧度的有效数值表达式。 说明 Cos 函数取某个角并返回直角三角形两边的比值。此比值是
CLng 函数 返回表达式,此表达式已被转换为 Long 子类型的 Variant。 CLng(expression) expression 参数是任意有效的表达式。 说明 通常,您可以使
CInt 函数 返回表达式,此表达式已被转换为 Integer 子类型的 Variant。 CInt(expression) expression 参数是任意有效的表达式。 说明 通常,可
Chr 函数 返回与指定的 ANSI 字符代码相对应的字符。 Chr(charcode) charcode 参数是可以标识字符的数字。 说明 从 0 到 31 的数字表示标准的不可打印的
CDbl 函数 返回表达式,此表达式已被转换为 Double 子类型的 Variant。 CDbl(expression) expression 参数是任意有效的表达式。 说明 通常,您可
CDate 函数 返回表达式,此表达式已被转换为 Date 子类型的 Variant。 CDate(date) date 参数是任意有效的日期表达式。 说明 IsDate 函数用于判断 d
CCur 函数 返回表达式,此表达式已被转换为 Currency 子类型的 Variant。 CCur(expression) expression 参数是任意有效的表达式。 说明 通常,
CByte 函数 返回表达式,此表达式已被转换为 Byte 子类型的 Variant。 CByte(expression) expression 参数是任意有效的表达式。 说明 通常,可以
CBool 函数 返回表达式,此表达式已转换为 Boolean 子类型的 Variant。 CBool(expression) expression 是任意有效的表达式。 说明 如果 ex
Atn 函数 返回数值的反正切值。 Atn(number) number 参数可以是任意有效的数值表达式。 说明 Atn 函数计算直角三角形两个边的比值 (number) 并返回对应角的弧
Asc 函数 返回与字符串的第一个字母对应的 ANSI 字符代码。 Asc(string) string 参数是任意有效的字符串表达式。如果 string 参数未包含字符,则将发生运行时错误。
Array 函数 返回包含数组的 Variant。 Array(arglist) arglist 参数是赋给包含在 Variant 中的数组元素的值的列表(用逗号分隔)。如果没有指定此参数,则
Abs 函数 返回数字的绝对值。 Abs(number) number 参数可以是任意有效的数值表达式。如果 number 包含 Null,则返回 Null;如果是未初始化变量,则返回 0。
FormatPercent 函数 返回表达式,此表达式已被格式化为尾随有 % 符号的百分比(乘以 100 )。 FormatPercent(expression[,NumDigitsAfterD
FormatNumber 函数 返回表达式,此表达式已被格式化为数值。 FormatNumber( expression [,NumDigitsAfterDecimal [,Inc
我是一名优秀的程序员,十分优秀!