Tslint: strict-type-predicates: 인덱스 유형의 거짓 긍정

에 만든 2017년 06월 22일 · 3코멘트 · 출처: palantir/tslint

버그 신고

__TSLint 버전__: 5.4.3 5cf7100ad3c7b2fd3be62d94b7b4708460590a97
__TypeScript 버전__: 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는 이러한 종류의 특별한 처리를 추가하기에 적합한 위치가 아닙니다. 이를 위해서는 typescript의 유형 유추를 변경해야 합니다. https://github.com/Microsoft/TypeScript/issues/13778

값을 사용하기 전에 항상 undefined를 확인하는 경우 undefined 를 포함하도록 인덱스 서명을 정의할 수도 있습니다.

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

ajafff 에 2017년 06월 27일

ajaff에 +1 - TypeScript의 디자인 포인트이므로 닫습니다.

JoshuaKGoldberg 에 2018년 11월 04일

이 페이지가 도움이 되었나요?

0 / 5 - 0 등급