関数 (Functions)
JavaScriptでは関数は第一級オブジェクトです。よって変数に代入したりすることも可能です。また筆記方法も複数存在し、TypeScriptもそれを継承しています。
関数の宣言は主に3とおりの方法があります。以下はすべて同じ関数increment()を宣言しています。
function increment(num: number): number {return num + 1;}
const increment = function(num: number): number {return num + 1;};
const increment = (num: number): number => {return num + 1;};
本書では関数はすべて名前付き関数での記述となっています。
匿名かつアロー関数は、1行で戻り値を返却できる場合はさらに短縮することができます。
const increment = (num: number): number => num + 1;
このときはreturnを書いてはいけないので注意してください。1行と書きましたが、厳密にはステートメントがひとつであれば改行しても問題ありません。
さらに、引数が1個である場合は()も省略できます。
const increment = num => num + 1;
ただし、これができるのは引数が1個のときのみで、0個のときや複数あるときはできません。 また、このときは引数と戻り値に対して型をつけることができません。
アロー関数の1行版でオブジェクトリテラルを返したい時はそのまま返すことができません。
const func = () => {x: 1};console.log(func());// -> undefined
このときはオブジェクトリテラルを()で括ってください。
const func = () => ({x: 1});console.log(func());// -> { x: 1 }
Generatorを使用した関数はアロー関数での表記なく、必ずfunction*() {}と書く必要があります。次は記述可能なGeneratorの方法です。
function* generatorFunction1() {// ...};const generatorFunction2 = function* () {// ...};class GeneratorSample {public* generatorFunction3() {// ...}}
Generatorは反復可能(Iterable<T>)な反復子(Iterator<T>)であるインターフェースIterableIterator<T>を実装したクラスのオブジェクトのことです。条件を満たしたクラスはGenerator関数の中でyieldキーワードを使えます。yieldは呼ばれたときに一度その値を呼び出し元へ返却し、次に呼ばれたときはその続きから処理を開始します。
Promiseが一般化する以前、非同期処理を代わりに担当する目的でGeneratorが使われていたことはありますが前述のPromiseに加えてasync / awaitが一般的に使われるようになってから非同期処理の目的だけGeneratorを使う機会は減りましたが現在でも大量のデータを取得したいときに一度ではなく、小出しに取得したいときにGeneratorは使い道があります。
アロー関数は他と異なる点がいくつかあります。特に注意しなければならないのはthisです。たとえば次のようなクラスJetLagを考えます。
class JetLag {private message: string;public constructor(message: string) {this.message = message;}public replyFunction(ms: number): void {setTimeout(function() {console.log(this.message);}, ms);}public replyArrow(ms: number): void {setTimeout(() => {console.log(this.message);}, ms);}}
このクラスのメソッドreplyFunction(), replyArrow()は、どちらも指定したミリ秒後にコンストラクタで指定した文字列を表示するように見えますがreplyFunction()に問題があります。
const jetlag: JetLag = new JetLag('i can hear you later');jetlag.replyFunction(10);// 'this' implicitly has type 'any' because it does not have a type annotation.// An outer value of 'this' is shadowed by this container.jetlag.replyArrow(10);// -> 'i can hear you later'
これはアロー関数と匿名関数でthisが意味するコンテキストが違うために起こります。アロー関数は宣言時にthisであるものを使用するのに対してそれ以外は実行時にthisであるものを使用します。
匿名関数を使う時にthisを確定させる方法として次のふたつがあります。以下は上記クラスのreplyFunction()を書き換えていると解釈してください。
一度thisをほかの変数に代入してあとで呼び出します。
public replyFunction(ms: number): void {const self: this = this;setTimeout(function() {console.log(self.message);}, ms);}
functionにはbind()という関数があります。その関数にfunctionの中でthisとして使用したい変数を引数に入れます。
public replyFunction(ms: number): void {setTimeout(function() {console.log(this.message);}.bind(this), ms);}
JavaScriptであればこの方法だけで実行できるようになりますが、TypeScriptではまだ準備が足りず実行できません。このbind()を使って意図する動作を得るには後述する引数のthisを併せて使う必要があります。
厄介者のthisでしたが、アロー関数が実装された今そこまで注意を払わなくてもアロー関数で直感的に記述ができるようになりました。
匿名関数、匿名かつアロー関数では変数に代入していることからわかるように、関数も型による表現が可能です。
ページの初めに登場した関数increment()では関数の型はこのようになります。
(num: number) => number;
これは匿名かつアロー関数と少々宣言が異なります。厳密には戻り値の位置が異なります。匿名かつアロー関数は、実体を除けば次の形をしています。
(num: number): number => {...};
オブジェクト風の書き方もあります。
type Increment = {(num: number): number;};
この書き方はオーバーロードで目にする機会があるでしょう。オーバーロードについては後述しますのでこのまま読み進めてください。
関数の入力値である引数は特殊なことをしない限り、要求する型の変数を、要求する数だけ入力しなければいけません。 たとえば原点との距離を求める次の関数があったとします。
function distance(p: Point): number {return (p.x ** 2 + p.y ** 2) ** (1 / 2);}
なお、xy座標上の点を表すPointの定義は以下です。
type Point = {x: number;y: number;};
関数distance()は平面状にある点(x, y)の原点からの距離を返します。この関数を呼ぶ時は必ず引数の数、順番は揃わなければなりません。つまり次のような関数呼び出しはできません。
distance();// Expected 1 arguments, but got 0.
distance(q1, q2);// Expected 1 arguments, but got 2.
JavaScriptでは引数が少ない時はその引数にはundefinedが渡され、引数が多い場合は余分な引数は無視されますがここはTypeScriptとJavaScriptとの大きな違いです。
引数を省略したいことがあります。そのときはオプション引数とデフォルト引数を使用することができます。
上記の関数distance()は、現在は与えられた座標を元に原点からの距離を計算していますが、これを2点の距離を計算できるようにしたいとします。すると上記の関数distance()は次のようになります。
function distance(p1: Point, p2: Point): number {return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}
ここで第2引数は省略可能にし、省略した場合は第1引数と原点の距離を返したいとします。これはオプション引数を使用すると次のように書けます。
function distance(p1: Point, p2?: Point): number {return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}distance(q1, q2);distance(q1);
引数のp2の右隣に?がつきました。これでp2は省略可能な引数となり5, 6行目のどちらの書き方も受けつけるようになります。
しかし、このオプション引数は意味する型が少々変わります。内部的にはp2はPointではなくPoint | undefinedのユニオン型として解釈されます。ユニオン型の説明は先の章にあるため詳しい説明は譲りますが、ユニオン型は日本語で言うとどれかの意味です。
ユニオン型が与えられた時は、どちらの型にもあるプロパティ、メソッドでなければ使うことができません。当然ながらundefinedにはx, yというプロパティは存在しないため、上記のコードはTypeScriptに指摘されます。
この問題を解消したのが次のふたつです。
function distance(p1: Point, p2?: Point): number {let p0: Point | undefined = p2;if (typeof p0 === 'undefined') {p0 = {x: 0,y: 0};}return ((p1.x - p0.x) ** 2 + (p1.y - p0.y) ** 2) ** (1 / 2);}
省略時はどの値を使うかという処理が明文化されますが、後述のデフォルト引数がほぼ同じことをできます。これで実装できる場合はデフォルト引数の使用を検討してください。
function distance(p1: Point, p2?: Point): number {if (typeof p2 === 'undefined') {return (p1.x ** 2 + p1.y ** 2) ** (1 / 2);}return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}
ifはp2がundefinedのときに実行されます。型ガードによりifブロックの下はp2がPointであることが確定します。そのためTypeScriptはユニオン型から普通のPointとして解釈し、このように書くことができるようになります。
p2の型がPoint | undefinedとして解釈されるのなら、あえて?などという記号を新しく定義する必要などないのではと思われるかもしれませんが、明確な違いがあります。それは呼び出し側で省略できるかどうかということです。上記のとおりオプション引数は省略が可能なのですが、undefinedとのユニオン型であることを明記すると省略ができません。
function distance(p1: Point, p2: Point | undefined): number// ...}distance(q1, q2);distance(q1);// Expected 2 arguments, but got 1.distance(q1, undefined);
6行目のような書き方はTypeScriptから指摘を受けます、どうしても動作させたいのであれば9行目のように書かなければいけません。
オプション引数は必ず最後に書かなければいけません。つまり、次のようにオプション引数より後ろに普通の引数を書くことはできません。
function distance(p1?: Point, p2: Point): number {// ...}// A required parameter cannot follow an optional parameter.
省略した時、原点との距離を求めるといったわかりやすい例であればいいのですが(1, 2)との距離を求める、といった変化球がきたとします。何も考えないとこのようになります。
function distance(p1: Point, p2?: Point): number {if (p2 === undefined) {return ((p1.x - 1) ** 2 + (p1.y - 2) ** 2) ** (1 / 2);}return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}
もちろん動くのですが、意図がわかりにくくなってしまいます。このようなときに便利なのがデフォルト引数です。デフォルト引数を使用すると次のように書けます。
const p0: Point = {x: 1,y: 2};function distance(p1: Point, p2: Point = p0): number {return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}distance(q1, q2);distance(q1);distance(q1, undefined);
入力がなかった時に初期値として使いたい値を、その引数の右に書きます。ここではp2の右側の= p0がそれにあたります。
オプション引数と違いユニオン型ではないため、処理の分岐が不要になります。拡張性や見通しを考えればデフォルト引数の方に軍配が上がるでしょう。
デフォルト引数には関数の戻り値を指定することができます。たとえば、ある(x, y)が与えられると転置した(y, x)を返すinverse()という関数の戻り値を初期値として使用します。ちなみにinverse()は以下です。
function inverse(p: Point): Point {return {x: p.y,y: p.x};}
これを使うとdistance()は次のようになります。
function distance(p1: Point, p2: Point = inverse(p1)): number {return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}
また、デフォルト引数はオプション引数と異なりその引数を最後に書く必要はありません。呼び出し側でデフォルト引数を使用させたい時はundefinedを指定します。このときnullではこの役目を果たせないので注意してください。もちろん末尾のデフォルト引数であれば省略が可能です。
const p0: Point = {x: 1,y: 2};function distance(p1: Point = p0, p2: Point): number {return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}distance(q1, q2);distance(undefined, q2);distance(null, q2);// Argument of type 'null' is not assignable to parameter of type 'Point | undefined'.
関数をデフォルト引数として使うときは非同期の関数を使うことができません。詳細は先のページにあるため詳しい説明は譲りますが次のようなデフォルト引数はできません。なおinverseAsync()は非同期関数とします。
async function distanceAync(p1: Point, p2: Point = await inverseAync(p1)): Promise<number> {return ((p1.x - p2.x) ** 2 + (p1.y - p2.y) ** 2) ** (1 / 2);}
いわゆる可変の引数のことです。たとえば引数に与えられた数値の平均を返す関数average()を作るとします。これを残余引数を使って表現すると次のようになります。
function average(...nums: number[]): number {if (nums.length === 0) {return 0;}return nums.reduce((prev: number, cur: number): number => {return prev + cur;}) / nums.length;}console.log(average()); // 0console.log(average(1, 3)); // 2
0除算を防ぐ目的で少々処理が複雑になっていますが、可変の引数の前に...を付ければ、可変引数を受け付け、それらを配列として受けることができます。
残余引数は最終的に配列として解釈されるからといって引数をまとめてひとつの配列として渡すことはできません。
average([1, 3, 5, 7, 9]);
このように配列を直接渡してしまうとaverage()の関数内では要素数1のnumber[][]型が渡されたと解釈されます。もちろんaverage()の期待する引数の型はnumber[]型なのでこのコードを実行することはできません。
また可変個の引数を受けつける関係上、残余引数より後ろにほかの引数を置くことができません。
function average(...nums: number[], subject: string): number {// ...}// A rest parameter must be last in a parameter list.
ただし残余引数の前であれば問題ありません。
function average(subject: string, ...nums: number[]): number {// ...}
JavaScriptに組み込みのメソッドとして存在するMath.max()は与えられたnumber型の引数の最大値を返却しますが引数として残余引数を要求します。上記のとおり配列をそのまま入れることができないので次のようなことができません。
const scores: number[] = mathExamination();const max: number = Math.max(scores);
この例は学校の数学の試験をイメージしています。学校であれば生徒の数は1年間でそう増減はしないので40人ぐらいの生徒なら力技でもなんとかなるかもしれません。
Math.max(scores[0],scores[1],scores[2],scores[3],scores[4],scores[5],scores[6],...);
書いている最中で力つきました。これは来年は描き直しが必要な上に、生徒が転入したり転校したりしてもコードを書き直す必要があります。
このようなときはスプレッド構文を使って配列を引数の列に変換します。
const scores: number[] = mathExamination();const max: number = Math.max(...scores);
残余引数もスプレッド構文もどちらも...と表記しますが片方は個々の引数を配列にし、もう片方は配列を個々の引数にします。
たとえばBMI(Body Mass Index)を計算したいとします。身長(cm)と体重(kg)が与えられれば関数bmi()は次のような計算になります。
function bmi(height: number, weight: number): number {const mHeight: number = height / 100.0;return weight / (mHeight ** 2);}
この関数は引数がどちらもnumber型なので入れ替えてしまうことがあります。22は平均的な体型ですが402はややとてつもなく肥満です。
bmi(170, 65);// -> 22.49134948096886bmi(65, 170);// -> 402.36686390532543
このような誤用を避けるための方法として分割代入を使うことができます。分割代入を使うと次のように書きなおせます。
type TopSecret = {height: number;weight: number;};function bmi({height, weight}: TopSecret): number {const mHeight: number = height / 100.0;return weight / (mHeight ** 2);}
呼び出しは次のようになります。これならheightとweightの意味を取り違えない限り問題は起こりにくくなるでしょう。以下は同じ結果を返します。
bmi({height: 170, weight: 65});bmi({weight: 65, height: 170});
すでにheight, weightという変数が定義済みであればこのように書くこともできます。
const height: number = 170;const weight: number = 65;bmi({height, weight});bmi({weight, height});
分割代入は普通の引数と異なり次のような利点があります。
これは、上記のとおりです。
身長あるいは体重を省略できるようにして、省略時に初期値を入れるようにすることができます。
function bmi({height = 165, weight = 60}: Partial<TopSecret>): number {const mHeight: number = height / 100.0;return weight / (mHeight ** 2);}
Partial<T>とは、オブジェクトTのプロパティ、メソッドを省略可能にします。つまりPartial<TopSecret>は以下と同じです。このときの?は引数で説明したオプション引数と意味するものは同じです。
このPartial<T>については専門に解説しているページがありますので併せて参照ください。
type PartialTopSecret = {height?: number;weight?: number;};
これによって呼び出し側はbmi()を次のどのような方法でも呼び出すことができます。
bmi({});bmi({height: 180});bmi({weight: 75});bmi({height: 180, weight: 75});bmi({weight: 75, height: 180});
さらに次のように引数の型の右にも= {}とデフォルト引数を付けてあげれば引数自体を省略することができるようになります。
function bmi({height = 165, weight = 60}: Partial<TopSecret> = {}): number {// ...}bmi();
アロー関数以外の関数とクラスのメソッドの第1引数はthisという特殊な引数を受けることができます。これは使用するコンテキストによってthisの意味するところが変わってしまうこれらがどのコンテキストで使用されるべきなのかをTypeScriptに伝えるために使います。このthisは呼び出す側は意識する必要はありません。第2引数以降を指定してください。
class Male {private name: string;public constructor(name: string) {this.name = name;}public toString(): string {return `Monsieur ${this.name}`;}}class Female {private name: string;public constructor(name: string) {this.name = name;}public toString(this: Female): string {return `Madame ${this.name}`;}}
上記クラスMale, Femaleはほぼ同じ構造ですがtoString()のメソッドの引数が異なります。
Male, Femaleはともに普通の用途で使うことができます。
const male: Male = new Male('Frédéric');const female: Female = new Female('Frédérique');male.toString();// -> 'Monsieur Frédéric'female.toString();// -> 'Madame Frédérique'
ですが各インスタンスのtoString()を変数に代入すると意味が変わります。
const maleToStr: () => string = male.toString;const femaleToStr: (this: Female) => string = female.toString;maleToStr();femaleToStr();// The 'this' context of type 'void' is not assignable to method's 'this' of type 'Female'.
femaleToStr()のコンテキストがFemaleではないとの指摘を受けています。このコードを実行することはできません。
ちなみにこの対応をしていないmaleToStr()は実行こそできますが実行時に例外が発生します。
return `Monsieur ${this.name}`;^TypeError: Cannot read property 'name' of undefined
引数のthisを指定することによって意図しないメソッドの持ち出しを避けることができます。
関数の戻り値を指定することができます。あえて書かなくてもTypeScript側で補完し、関数の戻り値として提供してくれますが、意図しない戻り値を返していないかの検査が働くので書いた方がよいでしょう。前述のとおり書く位置が実装と型で異なることに注意してください。
戻り値はJavaScriptと同じく1値のみの返却です。一度に多くの値を戻したい場合はタプルの章を参照してください。
戻り値がないことを明示したいときはvoidと書きます。内部ではundefinedを返していることと同義です。undefinedとvoidの違いについては次項で説明します。
ここで取り上げるvoidは型です。JavaScriptにある演算子ではありません。
主に戻り値で使われる型です。戻り値がvoid型であるとはその関数は戻り値を持っていないことを意味します。
JavaScriptにはこの型は存在せずvoid型の実際の値はundefinedです。なぜTypeScriptはundefinedではなく、あえてvoidを用意したのでしょうか。
変数の型としてvoidを使うことはほぼありませんが、使うことがあればvoidは値undefinedを代入する変数として使用できます。
function returnUnfefined(): undefined {return undefined;}function returnVoid(): void {}const u1: undefined = returnUnfefined();const u2: void = returnUnfefined();const v1: undefined = returnVoid();// Type 'void' is not assignable to type 'undefined'.const v2: void = returnVoid();
const v1: void = undefined;const u1: undefined = undefined;
代入時は異なる挙動になります。undefined型の変数をvoid型の変数に代入することができる一方でvoid型の変数をundefined型の変数に代入することはできません。
const v2: void = u1;const u2: undefined = v1;// Type 'void' is not assignable to type 'undefined'.
変数同様、意図的に引数をvoid型にすることはほぼありませんが、後に登場するジェネリクスで必要になることがあります。
何もしない関数を作ります。
function doNothing1(arg: undefined): any {// NOOP}function doNothing2(arg: void): any {// NOOP}
これらは引数の型が違うだけです。これらに先ほど定義したvoid型の変数とundefined型の変数を代入します。すると変数の型について説明したようにundefined型を要求する関数doNothing1()にvoid型の変数を代入することはできません。
doNothing1(u1);doNothing1(v1);// Argument of type 'void' is not assignable to parameter of type 'undefined'.doNothing2(u1);doNothing2(v1);
さらにvoid型を引数に指定した関数doNothing2()は引数を省略することができるようになります。
doNothing1();// Expected 1 arguments, but got 0.doNothing2();
この引数のvoid型の挙動はオプション引数の?に似ています。
function distance1(p1: Point, p2?: Point): number {// ...}function distance2(p1: Point, p2: Point | void): number {// ...}
voidの用途はほぼこれです。戻り値の型をvoid型にするとreturnを書かなくてもよい関数を作ることができます。今度は戻り値にvoidとundefinedを設定した何もしない関数を作ります。
function doNothing1(): undefined {//};function doNothing2(): void {//};doNothing1();doNothing2();
するとundefinedを戻り値に指定した関数doNothing1()に次のような指摘が現れます。
A function whose declared type is neither 'void' nor 'any' must return a value.
これは戻り値がvoid型でもany型でもない関数はreturnを省略できないことを意味しています。この指摘を回避するためにはdoNothing1()は明示的にundefinedを返すか値を書かないreturnが必要です。
次のどちらかであればdoNothing1()はTypeScriptから指摘を受けません。
function doNothing1(): undefined {return;};function doNothing1(): undefined {return undefined;};
これらを考慮するとundefined型はundefinedという1値だけを持つ型なのに対しvoid型はそれに加えて何も書かなかった時に代入される非明示のundefinedの2値を持っている型といえます。
四則演算ができる変哲もないクラスOperatorを考えます
class Operator {protected value: number;public constructor(value: number) {this.value = value;}public sum(value: number): void {this.value += value;}public subtract(value: number): void {this.value -= value;}public multiply(value: number): void {this.value *= value;}public devide(value: number): void {this.value /= value;}}const op: Operator = new Operator(0);op.sum(5); // 5op.subtract(3); // 2op.multiply(6); // 12op.devide(3); // 4
演算ごとにステートメントを分ける必要があります。 このような場合メソッドチェインを使って処理を連続させることができます。
class Operator {protected value: number;public constructor(value: number) {this.value = value;}public sum(value: number): Operator {this.value += value;return this;}public subtract(value: number): Operator {this.value -= value;return this;}public multiply(value: number): Operator {this.value *= value;return this;}public devide(value: number): Operator {this.value /= value;return this;}}const op: Operator = new Operator(0);op.sum(5).subtract(3).multiply(6).devide(3); // 4
op.sum(), op.subtract(), op.multiply(). op.devide()の戻り値の型をOperatorに変更しました。これによりメソッドチェインが可能になりました。
ここで、このクラスOperatorを拡張して累乗の計算を追加したいとします。すると新しいクラスNewOperatorは次のようになるでしょう。
class NewOperator extends Operator {public constructor(value: number) {super(value);}public power(value: number): NewOperator {this.value **= value;return this;}}
ですが、このクラスでは次の演算ができません。
const op: NewOperator = new NewOperator(2);op.power(3).multiply(2).power(3);// Property 'power' does not exist on type 'Operator'.
これはop.multiply()の戻り値がOperatorだからです。Operatorにはpower()というメソッドがないためこのような問題が発生します。
このような時、戻り値にthisを設定することができます。上記クラスの戻り値のOperator, NewOperatorをすべてthisに置き換えると問題が解消されます。
class Operator {protected value: number;public constructor(value: number) {this.value = value;}public sum(value: number): this {this.value += value;return this;}public subtract(value: number): this {this.value -= value;return this;}public multiply(value: number): this {this.value *= value;return this;}public devide(value: number): this {this.value /= value;return this;}}class NewOperator extends Operator {public constructor(value: number) {super(value);}public power(value: number): this {this.value **= value;return this;}}const op: NewOperator = new NewOperator(2);op.power(3).multiply(2).power(3); // 4096
オーバーロードとは、関数の名称は同じでありながら異なる引数、戻り値を持つことができる機能です。TypeScriptもこの機能を用意しているのですが、大元がJavaScriptであることが災いし、やや使いづらいです。
オーバーロードはその関数が受け付けたい引数、戻り値の組を実装する関数の上に書きます。先ほど使用した2点の距離を求める関数distance()をオーバーロードで定義すると次のようになります。なお、この例では戻り値の型はすべてnumber型ですが、別の型にしても実装さえできれば他の型にしても問題ありません。
function distance(p: Point): number;function distance(p1: Point, p2: Point): number;function distance(x: number, y: number): number;function distance(x1: number, y1: numebr, x2: number, y2: number): number;
なお、上記のような書き方のオーバーロードは名前付き関数またはクラスのメソッドでのみ可能です。匿名関数、アロー関数ではタイプエイリアスまたはインターフェースでオーバーロードを定義します。たとえば、上記例だと次のようなタイプエイリアスになります。
type Distance = {(p: Point): number;(p1: Point, p2: Point): number;(x: number, y: number): number;(x1: number, y1: number, x2: number, y2: number): number;};const distance: Distance = (arg1: number | Point, arg2?: number | Point, arg3?: number, arg4?: number): number => {// ...};
ここからが大変です。実装はオーバーロードで定義したすべてをひとつの関数で処理しなければいけません。つまりdistance()の実装は次のようになります。これが呼び出し側ではあたかも他言語のオーバーロードのようになります。
function distance(p: Point): number;function distance(p1: Point, p2: Point): number;function distance(x: number, y: number): number;function distance(x1: number, y1: numebr, x2: number, y2: number): number;function distance(arg1: Point | number,arg2?: Point | number,arg3?: number,arg4?: number): number {// ...}distance(q1);distance(q1, q2);distance(1, 3);distance(1, 3, 5, 7);
オーバーロードの定義なしに実装すると次のような引数を考慮しなければなりません。
distance(q1, 5, undefined, 8);
オーバーロードを定義しておくことで意図する引数と戻り値の組み合わせを定義できるようになります。上記引数はオーバーロードの定義によりTypeScriptから指摘を受けます。
Argument of type 'Point' is not assignable to parameter of type 'number'.
これはTypeScriptがdistance()をnumber型の引数4個版で受けていると解釈している時の指摘です。
