Tslint: 严格类型谓词：索引类型的误报

创建于 2017-06-22 · 3评论 · 资料来源: palantir/tslint

错误报告

__TSLint 版本__：5.4.3 5cf7100ad3c7b2fd3be62d94b7b4708460590a97
__打字稿版本__：2.4.0
__通过__运行TSLint：CLI

正在整理 TypeScript 代码

declare function get<T>(): T;
// index types
{
    get<{ [key: string]: string }>()['foo'] === undefined
    get<{ [key: string]: string }>()['foo'] === null
    get<{ [key: string]: string }>()['foo'] == undefined
    get<{ [key: string]: string }>()['foo'] == null

    get<{ [index: number]: string }>()[0] === undefined
    get<{ [index: number]: string }>()[0] === null
    get<{ [index: number]: string }>()[0] == undefined
    get<{ [index: number]: string }>()[0] == null
}

使用tslint.json配置：

（使用test/rules/strict-type-predicates/strict-null-checks/tsconfig.json ）

实际/预期行为

（A 是实际的，E 是预期的，B 是两者）

{
    get<{ [key: string]: string }>()['foo'] === undefined
A:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
    get<{ [key: string]: string }>()['foo'] === null
B:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
    get<{ [key: string]: string }>()['foo'] == undefined
A:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
E:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== undefined' instead.]
    get<{ [key: string]: string }>()['foo'] == null
A:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
E:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== undefined' instead.]

    get<{ [index: number]: string }>()[0] === undefined
A:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
    get<{ [index: number]: string }>()[0] === null
B:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
    get<{ [index: number]: string }>()[0] == undefined
A:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
E:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== undefined' instead.]
    get<{ [index: number]: string }>()[0] == null
A:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Expression is always false.]
E:  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [Use '=== undefined' instead.]
}

（运行示例在这里：https://github.com/ypresto/tslint/tree/strict-type-predicates-index-type ）

External

资料来源

ypresto

👍4

最有用的评论

更简单的例子：

const foo: { [key: string]: string } = {}
if (foo.bar === undefined) {
    // blah
}

会产生

ERROR: /Users/yuya/repo/github.com-private/codetakt/pf-user-admin/client/test.ts[2, 5]: Expression is always false.

但预计不会出现错误。

ypresto 于 2017-06-22

👍5

所有3条评论

更简单的例子：

const foo: { [key: string]: string } = {}
if (foo.bar === undefined) {
    // blah
}

会产生

ERROR: /Users/yuya/repo/github.com-private/codetakt/pf-user-admin/client/test.ts[2, 5]: Expression is always false.

但预计不会出现错误。

ypresto 于 2017-06-22

👍5

tslint 不是添加这种特殊处理的正确位置。这需要改变打字稿的类型推断。 https://github.com/Microsoft/TypeScript/issues/13778

如果您总是在使用该值之前检查 undefined，您还可以定义您的索引签名以包含undefined ；

const foo: { [key: string]: string | undefined } = {}

ajafff 于 2017-06-27

+1 to ajaff - 结束，因为这是 TypeScript 的一个设计点。

JoshuaKGoldberg 于 2018-11-04

此页面是否有帮助？

0 / 5 - 0 等级