【実務・中級編】型推論の限界に挑む：複雑な配列操作における型情報の保持 – TypeScript コア・型システムの基礎解析バイブル

型推論の限界に挑む：複雑な配列操作における型情報の保持

コードレビューをしていて、最もエンジニアの「諦め」を感じる瞬間はどこか。それは、`filter`や`map`をチェーンさせた末に `any` や `unknown`、あるいは乱暴な型アサーション（`ashh`のような `as` の乱用）が置かれているコードを見たときだ。

「TypeScriptのコンパイラが型を追いきれなかったから」
「配列の絞り込みをうまく型に反映できなかったから」

そんな言い訳は、私たちのプロダクションコードの前では通用しない。TypeScriptの型システムは、正しく調教すれば、複雑な配列の変形・絞り込みの全ステップを完璧に追跡できる。コンパイル時の型評価のメカニズムを理解し、型推論の限界を突破するための高度な設計パターンを身につけよう。

—

なぜ標準の `filter` は複雑な配列操作で型を失うのか？

日常的に使う `Array.prototype.filter`。次のようなコードを書いていないだろうか？

type User = { id: string; role: ‘admin’ | ‘editor’ | ‘viewer’; lastLogin?: Date };

const users: User[] = / 外部APIからのデータ /;

// アクティブな管理者だけを抽出したい
const activeAdmins = users
.filter(u => u.role === ‘admin’)
.filter(u => u.lastLogin !== undefined);

このコードの最後の `activeAdmins` の型は何か？
残念ながら、多くのケースで `User[]` のままだ。`lastLogin` が確実に `Date` 型である（`undefined` が消えている）という事実が、コンパイラの型推論からこぼれ落ちている。

なぜこうなるのか？ 標準の `Array.prototype.filter` のシグネチャは、述語関数（Predicate）に型ガード（`is` 演算子）が使われていない限り、単に `Boolean` を返す汎用的な関数として評価され、戻り値の型は元の配列の要素型のまま縮約されないからだ。

ここに型アサーション（`as User & { lastLogin: Date }[]`）を貼る逃げの姿勢は、コードベースの保守性を確実に殺していく。

—

解決策：型述語（Type Guards）と高階配列操作の設計

型アサーションを使わずに型情報を維持するためのアプローチは2つある。
1. 厳密なユーザー定義型ガード（User-Defined Type Guards）のファクトリーを作る。
2. 処理の意図をコンパイラに正しく伝えるカスタム・パイプライン関数を設計する。

まずは、実務の現場ですぐに応用できる、堅牢なプロダクションコードを見てほしい。

実装コード：型安全な配列チェーンユーティリティ

/

• 領域: TypeScript コア・型システムの基礎
• テーマ: 複雑な配列操作における型情報の保持

/

// — 1. ドメインモデルの定義 —
type Product = {
id: string;
name: string;
price: number;
stock: number;
tags: string[];
discountRate?: number; // オプションプロパティ
};

// — 2. 再利用可能な型ガード群 —
// 単なる真偽値ではなく、「コンパイラへの型情報の伝達」として機能させる

// 絞り込み：discountRate が存在する（undefinedではない）ことを保証し、型をnarrowingする
function hasDiscount(product: Product): product is Product & { discountRate: number } {
return product.discountRate !== undefined && product.discountRate > 0;
}

// 絞り込み：在庫が確実に存在し、特定のタグを持つ
function hasStockAndTag(tag: string) {
return (product: Product): product is Product & { stock: number } => {
return product.stock > 0 && product.tags.includes(tag);
};
}

// — 3. 型安全なパイプライン（流れるようなインターフェース）の構築 —
// メソッドチェーンで型を正確に保持するためのラッパクラス
class TypedArrayPipe {
private constructor(private readonly data: T[]) {}

public static from(data: T[]): TypedArrayPipe {
return new TypedArrayPipe(data);
}

/

• 型ガード（Type Guard）を受け入れ、確実に型を絞り込んで次のチェーンへ渡す

/
public filter(predicate: (value: T, index: number, array: T[]) => value is S): TypedArrayPipe;
public filter(predicate: (value: T, index: number, array: T[]) => boolean): TypedArrayPipe;
public filter(predicate: (value: T, index: number, array: T[]) => unknown): TypedArrayPipe {
// 内部実装：安全にネイティブfilterを呼び出す
return new TypedArrayPipe(this.data.filter(predicate as any));
}