`ReturnType`型ガードで戻り値の型を取得
TypeScriptにおけるtypeof演算子と関数型からの戻り値の取得
typeof演算子による関数オブジェクトの取得
function add(x: number, y: number): number {
return x + y;
}
const myAdd = add;
console.log(typeof add); // "function"
console.log(typeof myAdd); // "function"
上記コードでは、add関数はnumber型の引数2つを受け取り、number型の戻り値を持つ関数として定義されています。myAdd変数にはadd関数オブジェクトが代入されます。
typeof addとtypeof myAddを実行すると、どちらも"function"という文字列が返されます。これは、typeof演算子が関数の型情報ではなく、関数オブジェクトそのものを返していることを示しています。
ReturnType<T>型ガードによる戻り値の取得
関数の戻り値の型情報を知りたい場合は、ReturnType<T>型ガードを使用する必要があります。ReturnType<T>は、ジェネリック型パラメータTを持つ型ガードであり、Tが関数の型である場合、その関数の戻り値の型を返します。
function add(x: number, y: number): number {
return x + y;
}
const addResult: ReturnType<typeof add> = add(1, 2);
console.log(addResult); // 3
上記コードでは、addResult変数にadd関数の戻り値の型であるReturnType<typeof add>型を代入しています。これは、addResult変数にnumber型の値しか代入できないことを意味します。
addResultにadd(1, 2)の結果を代入すると、3というnumber型の値が格納されます。
- 関数の戻り値の型情報を知りたい場合は、
ReturnType<T>型ガードを使用する必要があります。 typeof演算子は、関数の型情報ではなく、関数オブジェクトそのものを返します。
// 関数定義
function add(x: number, y: number): number {
return x + y;
}
function subtract(x: number, y: number): number {
return x - y;
}
// 関数オブジェクトの取得
const addFunction = add;
const subtractFunction = subtract;
// typeof 演算子による関数オブジェクトの取得
console.log(typeof addFunction); // "function"
console.log(typeof subtractFunction); // "function"
// ReturnType<T> 型ガードによる戻り値の取得
const addResult: ReturnType<typeof add> = addFunction(5, 3);
console.log(addResult); // 8
const subtractResult: ReturnType<typeof subtract> = subtractFunction(10, 2);
console.log(subtractResult); // 8
解説
- 関数定義
add(x: number, y: number): numberは、number型の引数2つを受け取り、number型の戻り値を持つ関数です。
- 関数オブジェクトの取得
const addFunction = add;は、add関数オブジェクトをaddFunction変数に代入します。const subtractFunction = subtract;は、subtract関数オブジェクトをsubtractFunction変数に代入します。
- typeof 演算子による関数オブジェクトの取得
console.log(typeof addFunction);は、addFunction変数の型を"function"と出力します。
- ReturnType<T> 型ガードによる戻り値の取得
const addResult: ReturnType<typeof add> = addFunction(5, 3);は、addFunction関数の戻り値の型であるReturnType<typeof add>型をaddResult変数に代入し、addFunction関数を実行して結果を代入します。console.log(addResult);は、addResult変数の値を 8 と出力します。
関数を定義する際に、関数シグネチャを明示的に記述することで、戻り値の型情報を取得することができます。
function add(x: number, y: number): number {
return x + y;
}
const addResult: number = add(5, 3);
上記コードでは、add関数のシグネチャにnumber型の戻り値の型を明示的に記述しています。そのため、addResult変数にはnumber型の型注釈を付けることができます。
ジェネリック型を使用した型推論
ジェネリック型を使用すると、関数の引数と戻り値の型を自動的に推論することができます。
function operate<T>(x: T, y: T, operation: (a: T, b: T) => T): T {
return operation(x, y);
}
const addResult = operate(5, 3, (x, y) => x + y);
const subtractResult = operate(10, 2, (x, y) => x - y);
上記コードでは、operate関数はジェネリック型パラメータTを持ち、T型の引数2つとT型の戻り値を持つoperation関数を受け取ります。addResultとsubtractResult変数には、operate関数の戻り値の型であるT型の型注釈を付けることができます。
型注釈ライブラリの使用
@types/nodeなどの型注釈ライブラリを使用すると、組み込み関数の型情報を取得することができます。
import * as fs from 'fs';
const readFileResult: string = fs.readFileSync('myfile.txt', 'utf8');
上記コードでは、fsモジュールからreadFileSync関数をインポートし、readFileResult変数にstring型の型注釈を付けています。これは、@types/nodeライブラリがreadFileSync関数の戻り値の型をstringとして定義しているためです。
これらの方法は、状況に応じて使い分けることができます。
typescript
