型推論は TypeScript の最も強(qiáng)力な機(jī)能の 1 つであり、開発者は強(qiáng)力な型安全性を維持しながら、最小限の型注釈でコードを作成できます。ただし、アプリケーションが複雑になるにつれて、推論が重要な役割を果たすシナリオも複雑になります。この記事では、困難な狀況における TypeScript の型推論の微妙なニュアンスを深く掘り下げ、高度なパターン、エッジ ケース、その可能性を最大限に引き出す実踐的なヒントを取り上げます。

型推論とは?
TypeScript の型推論により、コンパイラはコンテキストに基づいて変數(shù)、関數(shù)の戻り値、または式の型を決定できます。リテラルを変數(shù)に代入するなどの単純なケースでは簡単ですが、ジェネリックス、高階関數(shù)、または複雑なデータ変換を含むシナリオでは複雑になります。

型推論の高度なシナリオ

1.関數(shù)のパラメータと戻り値の型
TypeScript は、関數(shù)內(nèi)のパラメーターの型と戻り値の両方を推論できます。単純な関數(shù)の場(chǎng)合は単純ですが、ジェネリックまたは條件型が関係する場(chǎng)合、推論はより微妙になります。

const multiply = (a: number, b: number) => a * b;
// Return type inferred as number

function wrapInArray<T>(value: T) {
  return [value];
}
// Return type inferred as T[]

2.ジェネリックによる推論
ジェネリックスを使用すると、型パラメーターを許可することで再利用可能なコードを作成できます。 TypeScript が引數(shù)からジェネリック型を推測(cè)するときに、推論が機(jī)能します。

function identity<T>(arg: T): T {
  return arg;
}

const result = identity(42);
// T inferred as number

ジェネリックは、Partial、Readonly、Record などのユーティリティ タイプと対話することもできるため、さらに複雑なレイヤーが追加されます。

3.高階関數(shù)での型推論
マップ、フィルター、カスタム関數(shù)などの高階関數(shù)は、コールバック引數(shù)の推論に大きく依存します。

const numbers = [1, 2, 3, 4];
const doubled = numbers.map(num => num * 2);
// TypeScript infers num as number

カスタム高階関數(shù)の場(chǎng)合、ジェネリックスを使用して推論を明示的にガイドできます。

function applyToAll<T, R>(items: T[], func: (item: T) => R): R[] {
  return items.map(func);
}

const lengths = applyToAll(["hello", "world"], str => str.length);
// T inferred as string, R inferred as number

4.條件付き型による推論
條件付き型を使用すると、より動(dòng)的な型付けが可能になり、TypeScript は條件チェックに基づいて結(jié)果を推測(cè)できます。

type IsString<T> = T extends string ? true : false;

type Test1 = IsString<string>; // true
type Test2 = IsString<number>; // false

これは、マップされた條件型または分散型の條件型と組み合わせると特に便利です。

5.コンテキストからの型の推測(cè)
構(gòu)造化メソッドや配列メソッドを処理する場(chǎng)合、TypeScript はコンテキスト情報(bào)を活用して型を推測(cè)します。

const person = { name: "Alice", age: 30 };
const { name } = person;
// TypeScript infers name as string

6.複雑なデータ変換
実際のアプリケーションでは、RxJS、Lodash、カスタム パイプラインなどのライブラリを操作するときに型推論が威力を発揮します。

const pipeline = [1, 2, 3].map(num => num * 2).filter(num => num > 3);
// Inferred as number[]

より複雑なシナリオの場(chǎng)合、ジェネリックスとヘルパー型を使用すると、堅(jiān)牢な型推論が保証されます。

function compose<T, R>(f: (arg: T) => R, g: (arg: R) => T) {
  return (x: T) => g(f(x));
}

型推論の落とし穴と課題

1.広すぎる推論
場(chǎng)合によっては、TypeScript が型を任意の型または過度にジェネリックな型として推論することがあります。

const multiply = (a: number, b: number) => a * b;
// Return type inferred as number

function wrapInArray<T>(value: T) {
  return [value];
}
// Return type inferred as T[]

ヒント: 推論をガイドするには、明示的な注釈またはヘルパー型を使用します。

function identity<T>(arg: T): T {
  return arg;
}

const result = identity(42);
// T inferred as number

2.過度の特異性
逆に、TypeScript は文字列リテラルなど、過度に特殊な型を推論できます。

const numbers = [1, 2, 3, 4];
const doubled = numbers.map(num => num * 2);
// TypeScript infers num as number

3.カスタム タイプ ガード
カスタム型ガードにより、條件チェックでの型推論が保証されます。

function applyToAll<T, R>(items: T[], func: (item: T) => R): R[] {
  return items.map(func);
}

const lengths = applyToAll(["hello", "world"], str => str.length);
// T inferred as string, R inferred as number

比較: 明示的型と推論型

ジェネリックスを理解する (MDN) ジェネリックスを理解する (Microsoft ラーニング) TypeScript の高度な型 私のウェブサイト: https://Shafayet.zya.me ついに Bing の用途を見つけました...

以上がTypeScript の複雑なシナリオでの型推論をマスターするの詳細(xì)內(nèi)容です。詳細(xì)については、PHP 中國語 Web サイトの他の関連記事を參照してください。