第 1 章：TS 环境搭建与基础配置¶

// ❌ 不开启 strictNullChecks 的危险代码
function getLength(str: string | null) {
  return str.length; // 运行时 TypeError：Cannot read properties of null
}

// ✅ 开启 strictNullChecks 后，编译时就报错
function getLength(str: string | null) {
  return str.length; // 错误：Object is possibly 'null'
  // 必须处理 null：
}

function getLengthSafe(str: string | null): number {
  if (str === null) return 0;
  return str.length; // 这里 TypeScript 知道 str 一定是 string
}

// noUncheckedIndexedAccess 的威力
const arr = [1, 2, 3];
const item = arr[10];          // item 类型是 number | undefined（而非 number）
console.log(item.toFixed(2));  // 错误：item 可能 undefined，必须先判断

// ── 原始类型 ────────────────────────────────────────
let name: string = "Alice";          // 字符串
let age: number = 30;               // 数字（整数与浮点数统一为 number）
let active: boolean = true;          // 布尔值
let nothing: null = null;            // null（strictNullChecks 下独立类型）
let missing: undefined = undefined;  // undefined（同上）
let unique: symbol = Symbol("id");   // Symbol（唯一值）
let big: bigint = 9007199254740993n; // BigInt（超大整数）

// ── 字面量类型：值就是类型 ──────────────────────────
type Direction = "up" | "down" | "left" | "right"; // 只能是这四个值
type DiceValue = 1 | 2 | 3 | 4 | 5 | 6;           // 1~6 的整数

// ── 数组类型 ────────────────────────────────────────
const nums: number[] = [1, 2, 3];         // 语法 1
const strs: Array<string> = ["a", "b"];   // 语法 2（泛型写法，完全等价）
const pairs: [string, number][] = [["Alice", 30]]; // 元组数组

// ── 元组（Tuple）：固定长度和类型的数组 ─────────────
const point: [number, number] = [10, 20]; // x, y 坐标
const entry: [string, number] = ["age", 30]; // 键值对

// ── 对象类型 ────────────────────────────────────────
const user: { name: string; age: number; email?: string } = {
  name: "Alice",
  age: 30,
  // email 是可选的，可以不写
};

// ── any 与 unknown：都能接受任意值，但差别巨大 ──────
let dangerous: any = "hello"; // any 关闭类型检查，危险！
dangerous = 42;               // 可以赋任意值
dangerous.toUpperCase();      // 不会报错，但运行时可能崩溃

let safe: unknown = "hello";  // unknown 是安全的 any
// safe.toUpperCase();        // 错误！必须先做类型检查
if (typeof safe === "string") {
  safe.toUpperCase();         // OK：已经确认是 string
}

// ── never：永远不会到达的类型 ─────────────────────
function fail(msg: string): never {
  throw new Error(msg); // 函数永远不会正常返回
}

function exhaustiveCheck(x: never): never {
  throw new Error(`Unhandled case: ${x}`);
}

// TypeScript 自动推断变量类型
const message = "Hello World";  // 推断为 string（常量更精确：推断为 "Hello World"）
let count = 0;                  // 推断为 number
const arr = [1, 2, 3];          // 推断为 number[]

// 函数返回值推断
function add(a: number, b: number) {
  return a + b; // 推断返回 number（不必写 : number）
}

// 解构赋值保持类型
const { name, age } = { name: "Alice", age: 30 };
// name: string, age: number — 自动推断

// 何时需要手动注解：
// 1. 函数参数（无法推断）
// 2. 声明变量但稍后赋值
// 3. 想要比推断更宽泛或更窄的类型
let later: string; // 声明先不赋值
later = "now";

// 4. 对象字面量需要明确约束
const config: { port: number; host: string } = {
  port: 3000,
  host: "localhost",
};

// src/todo.ts
// 综合运用本章所学：类型、接口、推断、null 检查

interface Todo {
  id: number;
  title: string;
  done: boolean;
  createdAt: Date;
}

// 模拟数据库（开启 noUncheckedIndexedAccess 后，访问结果是 Todo | undefined）
const todos: Todo[] = [];
let nextId = 1;

// 创建 Todo
function addTodo(title: string): Todo {
  const todo: Todo = {
    id: nextId++,
    title,
    done: false,
    createdAt: new Date(),
  };
  todos.push(todo);
  return todo;
}

// 标记完成
function completeTodo(id: number): boolean {
  const todo = todos.find((t) => t.id === id); // Todo | undefined
  if (todo === undefined) return false;         // 处理 undefined
  todo.done = true;
  return true;
}

// 列出所有未完成项
function listPending(): Todo[] {
  return todos.filter((t) => !t.done);
}

// 格式化输出（模板字面量类型）
function formatTodo(todo: Todo): string {
  const status = todo.done ? "✅" : "⬜";
  return `${status} [${todo.id}] ${todo.title}`;
}

// 使用
addTodo("学习 TypeScript 类型系统");
addTodo("完成第 1 章练习");
addTodo("搭建 Next.js 全栈项目");
completeTodo(1);

console.log("=== 待办事项 ===");
listPending().forEach((t) => console.log(formatTodo(t)));

// 运行：npx tsx src/todo.ts