새로운 Promise (...)에 대한 Promise 중단 유형 추론

Question

TypeScript 설명서에 설명 된대로 추가 방법을 추가하여 Promise를 보완하려고합니다. Global augmentation.

그리고 시험 1에서 잘 작동하지만 약속 2. 타이프 라이터가 Promise<boolean>으로 유형을 추론을 중지하고 대신 Promise<{}>로 추론 시험에서 생성자를 사용하여 만든 몇 가지 이유가 형식 유추를 나누기. 내 기능 보강을 제거하면 생성자를 사용하여 생성 된 Promise의 제네릭 유형이 올바르게 추정됩니다.

왜 그런 일이 일어나고 그것을 어떻게 수정해야 하나?

// src/test.ts 

// augmentation 
interface Promise<T> { 
    myCustomMethod(): T; 
} 

// test 1 
let data: number = Promise.resolve(42) 
    .then((value) => value + 4) 
    .myCustomMethod(); 

// test 2 
let p2: Promise<boolean> = new Promise((resolve) => { 
    resolve(true); 
}) 

그리고 내 설정 : 내가 갖는

// tsconfig.json 
{ 
    "compilerOptions": { 
     "module": "es6", 
     "target": "es6", 
     "baseUrl": "./src" 
    } 
} 

오류입니다 : 여기

내가 할 노력하고있어의 간단한 예입니다

src/test.ts(9,5): error TS2322: Type 'Promise<{}>' is not assignable to type 'Promise<boolean>'. 
    Type '{}' is not assignable to type 'boolean'. 

UPD

그 유형은 항상 테스트 2에 대해 Promise<{}>으로 추측됩니다. 그러나 이제는 이해할 수 없습니다. 왜이 오류가 내 기능 보강없이보고되지 않습니다. Type '{}' is not assignable to type 'boolean'.부터이 기능을 사용하지 않아도 오류가 나타나지 않아야합니까?

의도적인지 또는 TypeScript 개발자에게보고해야하는지 이해하려고합니다.

Answer 1

타이프 라이터를 사용하여 문제를 해결할 수 있습니다 항상 약속 < {} 심지어 당신의 증가없이이 구조에 대한> 유형을 추론 :

new Promise((resolve, reject) => { 
    resolve(true); 
}) 

오류에 의해 입증 이 과제에 대한 메시지 :

let z: void = new Promise((resolve, reject) => { 
    resolve(true); 
}) 

유형 '약속 <는 {}>'당신이 Promise에 myCustomMethod(): T;를 추가 할 때

그래서, 부작용으로는 Promise<boolean>와 호환 Promise<{}>하게 '무효'를 입력하기 위해 할당 할 수없는 것입니다.

let p2: Promise<boolean> = new Promise<boolean>((resolve) => { 
    resolve(true); 
}) 

Answer 2

컴파일러는 Promise.resolve(42)에 상수를 사용하여 Promise.resolve()을 호출하는 것과 같이 간단한 경우 인수의 제네릭 유형을 유추 할 수 있습니다. resolve(true)으로 전화를 걸 때 유형이 분명 해지면 더 복잡한 상황에서는 그렇지 못할 수도 있습니다.

이

은에 설명되어있는 TypeScript Handbook :

유형 인수 추론은 코드가 짧고 읽기 쉽게 유지하는 유용한 도구가 될 수 있지만, 당신은 우리가 이전에했던 것처럼 명시 적으로 형식 인수를 전달해야 할 수도 있습니다 더 복잡한 예제 에서처럼 컴파일러가 유형을 추론하지 못하는 경우를 예로들 수 있습니다.

당신은

let p2: Promise<boolean> = new Promise<boolean>(resolve => { 
    resolve(true); 
});