3

typescriptで既存の型を拡張する場合 interfaceを使って例えばsum関数であれば

interface Array<T>{
   sum():number;
}

Array.prototype.sum = function(){
   return this.reduce((i,j)=>i+j)
};

このように書けますが、上記の場合 number|stringの配列

[1,2,3,"4"].sum() //64

と書いてもコンパイルエラーになりません(当たり前ですが)
Array< number >にのみsumを追加させ
他の型ではコンパイルエラーにさせたいのですが可能でしょうか。

var a = [1,2,3,"4"].sum()

で a が コンパイル前はnumber型ですが実行時の型がstringと
間違った型になってしまいます。

2 件の回答 2

1

とりあえず思いついた方法としては、下記の様な記述です。

var a =と書くと型推論によってaの型が決定されますので、型を明示する場合はvar a: number =と書きます。

interface Array<T> {
    sum(): T;
}

Array.prototype.sum = function () {
    return this.reduce((i: any, j: any) => i + j);
};

// エラー: Type 'string | number' is not assignable to type 'number'. Type 'string' is not assignable to type 'number'.
var a: number = [1, 2, 3, "4"].sum();

// OK
var num: number = [1, 2, 3, 4].sum(); // num === 10
var str: string = ["1", "2", "3", "4"].sum(); // str === "1234"

var numbers: number[] = [1, 2, 3, 4];
var sum = numbers.sum();
3
  • これだと 型安全ですね! ありがとうございます。 Array< number > だけにメソッドを生やすというのは無理なようですね。 しかし interface Array<T> { sum(): number; } var a:number = [1, 2, 3, "4"].sum(); がコンパイルが通るのが納得いかない。。。
    – tim
    2015年3月25日 7:35
  • [1, 2, 3, "4"]の型はArray<string | number>で、sumはTに依らずnumberを返すので、コンパイルが通ってしまうのは仕方がないのではないでしょうか。
    – snak
    2015年3月25日 23:02
  • this.reduce((i:number,j:number)=>i+j) とやってもコンパイルが通ってしまうので。。
    – tim
    2015年3月26日 8:24
1

現在は this の型を宣言できます。2.0 からのようです。
よって、次のように書けます。

interface Array<T> {
    sum(this: number[]): number
}

Array.prototype.sum = function sum(this: number[]): number {
    return this.reduce((i, j) => i + j)
}

let t = [1, 2, 3].sum()  // OK

これで、数値の配列以外に対し呼び出すとコンパイルエラーになります。

let t2 = [1, 2, 3, "4"].sum()  // コンパイル時エラー 

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。