在TypeScript中怎样定义补类型( 二 )


大概这样的感觉?(毕竟尝试和set-theoretic minus联想嘛……
然后……空字符串类型是啥?只有""这一种value的type?那它和type String有啥关系?subtyping?或是一个value可以有多个type(有点反直觉……)?
然后为啥是runtime error?如果是runtime的话这个minus type就没意义了啊,运行时和type没有关系的啊(至少TaPL除了Case Java那一章以外都是这样的……读的书少orz)。

■网友
从数据库读出个字符串,然后调用函数,此时字符串是否为空(或者如题主所说的某些特定值)本来就是runtime的,不可能在编译时知晓呀?
■网友
我觉得按照 typescript 的类型系统,这种需求应该是不会被实现的吧。因为类型限制了之后该变量的属性和方法。我觉得你这个需求不应该用类型解决


推荐阅读