TypeScriptの基本の型を徹底解説｜string・number・booleanから理解する

// string
const name: string = "Alice";
const greeting: string = `こんにちは、${name}さん`;

// number
const age: number = 28;
const pi: number = 3.14;

// boolean
const isLoggedIn: boolean = true;

console.log(greeting); // → こんにちは、Aliceさん
console.log(age, pi);   // → 28 3.14
console.log(isLoggedIn); // → true

// 型が合わなければコンパイルエラー
const score: number = "100"; // エラー: string は number に代入不可

// 書き方① 型[]（よく使う）
const fruits: string[] = ["apple", "banana", "cherry"];
const scores: number[] = [80, 95, 72];

// 書き方② Array<型>（ジェネリクス記法）
const colors: Array<string> = ["red", "blue"];

fruits.push("grape");   // OK
fruits.push(42);         // エラー: number は string[] に追加不可


console.log(fruits);
console.log(scores[0]);
console.log(colors);

const user: { name: string; age: number; isAdmin: boolean } = {
  name: "Bob",
  age: 32,
  isAdmin: false,
};

console.log(user.name);  // → Bob
console.log(user.age);   // → 32
console.log(user.email); // エラー: 'email' は型に存在しない


// オプショナルプロパティ（? をつけると省略可能）
const product: { title: string; price: number; description?: string } = {
  title: "TypeScript本",
  price: 2800,
};
console.log(product.description); // → undefined

// any の問題点

let value: any = "hello";
value = 42;
value = true;
// コンパイルは通るが実行時エラーになる可能性がある
console.log(value.toFixed(2));
console.log(value.nonExistent);

// unknown の安全な使い方

let value: unknown = "hello";

console.log(value.toUpperCase()); // エラー: unknown 型には直接アクセス不可


// typeof で型を絞り込んでから使う（型ガード）
if (typeof value === "string") {
  console.log(value.toUpperCase()); // → HELLO
}

// void と never の例

// void: 値を返さない関数
function logMessage(msg: string): void {
  console.log(`[LOG] ${msg}`);
}

logMessage("起動しました"); // → [LOG] 起動しました

// never: 絶対に戻ってこない関数
function throwError(message: string): never {
  throw new Error(message);
}

type Status = "active" | "inactive";

function checkStatus(status: Status): string {
  if (status === "active")   return "有効";
  if (status === "inactive") return "無効";
  return throwError("到達不能なコード");
}

console.log(checkStatus("active")); // → 有効

# 型注釈パターン集

/ ① 変数
const title: string = "TypeScript入門";
let   count: number = 0;

// ② 関数の引数と戻り値
function multiply(a: number, b: number): number {
  return a * b;
}

// ③ アロー関数
const double = (n: number): number => n * 2;

// ④ 配列
const ids: number[] = [1, 2, 3];

// ⑤ オブジェクト
const config: { debug: boolean; version: string } = {
  debug: false,
  version: "1.0.0",
};

// ⑥ 型推論（型を書かなくても自動で推論）
const inferred = "TypeScript"; // 自動で string 型
const num      = 42;            // 自動で number 型

console.log(multiply(4, 5)); // → 20
console.log(double(7));      // → 14