第4章: 型システムの基礎 — プリミティブからユニオンまで

// 型注釈の基本
const name: string = "TypeScript";
const version: number = 6.0;
const isStable: boolean = true;
const nothing: null = null;
const notDefined: undefined = undefined;

// 型推論 — 初期値から自動的に型が決まる
const language = "TypeScript"; // string と推論
const year = 2026;             // number と推論

// 基本的なユニオン型
function formatId(id: string | number): string {
  if (typeof id === "string") {
    return id.toUpperCase();  // string として扱える
  }
  return id.toString();       // number として扱える
}

formatId("abc-123"); // "ABC-123"
formatId(42);         // "42"

// リテラル型のユニオン — 特定の値のみを許可
type Status = "loading" | "success" | "error";
type HttpMethod = "GET" | "POST" | "PUT" | "DELETE";

type HasName = { name: string };
type HasAge = { age: number };
type HasEmail = { email: string };

// 3つの型を合成
type Person = HasName & HasAge & HasEmail;

const user: Person = {
  name: "太郎",
  age: 30,
  email: "taro@example.com",
  // 3つのプロパティすべてが必要
};

// ❌ any: 危険 — 型安全性が完全に失われる
const risky: any = "hello";
risky.nonExistent();  // コンパイル通るが実行時エラー！
risky.toFixed(2);     // コンパイル通るが実行時エラー！

// ✅ unknown: 安全 — 使用前にチェックが必須
const safe: unknown = "hello";
// safe.toUpperCase(); // コンパイルエラー！型ガードが必要

if (typeof safe === "string") {
  safe.toUpperCase();  // OK: 型ガード後は string として扱える
}

// never: 到達不能を表す
function throwError(msg: string): never {
  throw new Error(msg); // この関数は決して正常にreturnしない
}

// typeof ガード
function processValue(value: string | number | boolean) {
  if (typeof value === "string") {
    return value.trim();     // string
  } else if (typeof value === "number") {
    return value.toFixed(2); // number
  } else {
    return value.toString(); // boolean
  }
}

// カスタム型ガード関数（Type Predicate）
interface Fish { swim: () => void }
interface Bird { fly: () => void }

function isFish(animal: Fish | Bird): animal is Fish {
  return "swim" in animal;
}

function move(animal: Fish | Bird) {
  if (isFish(animal)) {
    animal.swim(); // Fish として扱える
  } else {
    animal.fly();  // Bird として扱える
  }
}

// APIレスポンスをDiscriminated Unionで表現
type ApiResponse =
  | { status: "loading" }
  | { status: "success"; data: string[] }
  | { status: "error"; message: string };

function handleResponse(response: ApiResponse) {
  switch (response.status) {
    case "loading":
      return "読み込み中...";
    case "success":
      return response.data.join(", "); // data にアクセス可能
    case "error":
      return `エラー: ${response.message}`; // message にアクセス可能
  }
}

function assertNever(x: never): never {
  throw new Error(`予期しない値: ${x}`);
}

function handleResponse(response: ApiResponse) {
  switch (response.status) {
    case "loading":
      return "読み込み中...";
    case "success":
      return response.data.join(", ");
    case "error":
      return `エラー: ${response.message}`;
    default:
      // すべてのケースを処理していれば、ここには到達しない
      // 処理漏れがあれば、コンパイルエラーになる
      return assertNever(response);
  }
}