TypeScript不会为不兼容的承诺返回错误

Question

我正在研究一种通用API调用方法，该方法允许消费者传递请求回调，该回调应该返回一个承诺，该承诺会解析为指定的<T>有效内容（又名Action）。它归结为这样的事：

interface MyAction { type: string, value: string; } 

declare function call<T>(request: Promise<T>): void; 

declare const request: Promise<{value: string}>; 

// normal correct call 
call<MyAction>(request.then(({ value }) => ({ type: "foo", value }))); 

我遇到的问题是，它似乎then()允许那些不严格遵守T兼容大量的返回值。

下面是一些例子：

// bad: why no error on missing 'type' 
call<MyAction>(request); 

// good: error 'void' is not 'MyAction' 
call<MyAction>(request.then(result => { })); 

// good: error missing property 'type' 
call<MyAction>(request.then(result => ({ fake: "foo" }))); 

// bad: why no error missing property 'value' 
call<MyAction>(request.then(result => ({ type: "foo" }))); 

// bad: why no error for missing property 'type' 
call<MyAction>(request.then(({ value }) => ({ value }))); 

// bad: why no error for unknown property 'fake' 
call<MyAction>(request.then(({ value }) => ({ type: "foo", value, fake: "foo" }))); 

// bad: why no error for '{}' is not 'MyAction' 
call<MyAction>(request.then(({ value }) => ({}))); 

我的问题是：

1. 为什么这些承诺允许不兼容T返回值？ （缺失属性是主要关注的问题。）
2. 什么，如果有的话，我能做些什么来使返回值更严格匹配T传递给call<T>()？

Answer 1

//错误：为什么没有错误未知属性“假”

这将永远是没关系，更信息被允许因打字稿的结构类型。

认为以下减少你的错误条件：

declare let both: Promise<{ type: string, value: string; }>; 
declare let valueOnly: Promise<{ value: string }>; 
declare let typeOnly: Promise<{ type: string }>; 
declare let empty: Promise<{}>; 

// Why no error? 
both = valueOnly; 
both = typeOnly; 
both = empty; 

为什么这些承诺允许不兼容T回流值？ （缺少属性是主要关注的问题。）

因为类型T不被用作在Promise成员。

什么，如果有的话，我可以做，使返回值更为严格匹配的T传递给

您可以更改Promise接口使用T

declare let both: Promise<{ type: string, value: string; }>; 
declare let valueOnly: Promise<{ value: string }>; 
declare let typeOnly: Promise<{ type: string }>; 
declare let empty: Promise<{}>; 

// Error! 
both = valueOnly; 
both = typeOnly; 
both = empty; 

interface Promise<T>{ 
    _ensureTypeSafety: T; 
} 

还增加这里：https://basarat.gitbooks.io/typescript/content/docs/tips/promise-safety.html