鉴于该类是从非类扩展(包括但不限于函数),
function Fn() {} class Class extends Fn { constructor() { super(); } }
有什么后果?规格对此有何评论?
看起来Babel,Google V8和Mozilla Spidermonkey的当前实现都可以,而且TypeScript会抛出
类型'()=> void'不是构造函数类型
如果这是一个有效的ES2015代码,那么在TypeScript中处理它的正确方法是什么?
到目前为止,规范中说clausextends
必须后跟TypeReference.和TypeReference必须在形式 A.B.C
,像MyModule.MyContainer
.所以,从语法上来说,你的代码是正确的.但它不是打字机箱.
规范说BaseClass
必须是有效的打字稿类.然而,该规范已经过时了,因为说这里.现在TypeScript允许在extends子句中使用表达式,只要表达式计算到构造函数.该定义是基于实现的.你可以在这里看到它.简单地说,如果表达式实现new() {}
接口,则表达式可以计为构造函数.
所以,你的问题是普通函数不被识别为TypeScript中的构造函数,这是有争议的,因为ES2015规范只要求对象有一个[[construct]]
内部方法.虽然用户定义的函数对象确实拥有它.
ES2015需要BaseClass
是一个构造在运行时.一个对象,isConstructor
如果它有[[construct]]
内部的方法.规范说[[construct]]
是功能对象的内部方法.用户函数是实例Function Objects
,因此它们自然是构造函数.但内置函数和箭头函数可以没有[[construct]]
.
例如,以下代码将抛出运行时TypeError
因为parseInt
是内置函数而没有[[construct]]
new parseInt() // TypeError: parseInt is not a constructor
并从ECMAScript
箭头函数就像内置函数一样缺乏.prototype和任何[[Construct]]内部方法.所以new(()=> {})抛出一个TypeError,否则箭头就像函数一样:
根据经验,没有任何功能prototype
是new
不可行的.
简而言之,并非每个函数都是构造函数,TypeScript通过要求捕获它new() {}
.但是,用户定义的函数是构造函数.
要解决这个问题,最简单的方法是声明Fn
为变量,并将其强制转换为构造函数.
interface FnType {} var Fn: {new(): FnType} = (function() {}) as any class B extends Fn {}
DISCALIMER:我不是TypeScript核心贡献者,但只是一个TS粉丝,他有几个与TS相关的副项目.所以这部分是我个人的猜测.
TypeScript是一个源自2012年的项目,当时ES2015在昏暗的黑暗中仍然隐约可见.TypeScript没有类语义的良好引用.
那时候,TypeScript 的主要目标是与ES3/5保持兼容.因此,new
在TypeScript中使用函数是合法的,因为它在ES3/5中也是合法的.同时,TypeScript还旨在捕获编程错误.extends
函数可能是一个错误,因为函数可能不是一个合理的构造函数(比如,一个仅用于副作用的函数).extends
甚至不存在于ES3/5中!因此TypeScript可以自由定义自己的用法extends
,extends
必须与class
变量配对.这使得TypeScript更加TypeSafe,同时与JavaScript兼容.
现在,ES2015规范已经完成.JavaScript也有一个extends
关键字!然后不兼容了.有努力,以解决不兼容问题.但是,仍然存在问题.() => void
或Function
类型不应该扩展,如上所述由于内置功能.以下代码将中断
var a: (x: string) => void = eval new a('booom')
另一方面,如果将a ConstructorInterface
引入TypeScript并且每个函数都实现了它,则会出现向后不兼容.以下代码现在编译,但不是在ConstructorInterface
引入时编译
var a = function (s) {} a = parseInt // compile error because parseInt is not assignable to constructor
当然,TS团队可以有一个平衡这两个选项的解决方案.但这不是一个高优先级.此外,如果salsa(TS驱动的JavaScript的代号)完全实现.这个问题自然会得到解决.