Typescriptユニオンタイプの配列は、配列関数のパラメータとして配列されます。 $ q.all

Question

に（AngularJS IQServiceから簡略化）として宣言されている方法を検討：

all<T1, T2>(values: [IPromise<T1>, IPromise<T2>]): IPromise<[T1, T2]>; 

をそれは最初の項目はIPromise<T1>と2番目の項目IPromise<T2>ある配列をとります。この宣言を使用する場合、私は何とか私はこのように、このメソッドを使用することができないこと、驚いた：

var promises = [a(), b()]; 
$q.all(promises).then(/*...*/); 

> TS2329 Index signature is missing in type '(IPromise<A> | IPromise<B>)[]' 

これが正常に動作している間：

$q.all([a(), b()]).then(/*...*/); 

私は​​が(A|B)[]としてのpを作成することを、理解しています。私の質問は、そのような場合[A, B]に(A|B)[]を適合させる最良の方法は何ですか。だから、どのように私は明示的にa()とb()の種類を参照することなく、これを修正することができますが、$q.all

var promises: [???] = [a(), b()]; 
$q.all(promises).then(/*...*/); 

Answer 1

の戻り値にlossing型情報なしには、明示的にこの構文を使用して「デフォルト」タイプの推論をオーバーライドコンパイラに伝えることができます：

let promises = [a(), b()] as [IPromise<number>, IPromise<boolean>]; 

またはあなたが明示的に型を定​​義する必要がないようにあなたのためにそれを「ラップ」でしょうヘルパー関数を、作成することができます。

function toArray<T1, T2>(a: T1, b: T2) { 
    return [a, b] as [T1, T2]; 
}