function printValue(value: string | number) {
  // 🔴 编译错误!
  // 属性“toUpperCase”在类型“string | number”上不存在。
  // 属性“toUpperCase”在类型“number”上不存在。
  console.log(value.toUpperCase()); 
  
  // 🔴 同样会编译错误!
  // 属性“toFixed”在类型“string | number”上不存在。
  // 属性“toFixed”在类型“string”上不存在。
  console.log(value.toFixed(2));
}

function printValue(value: string | number): void {
  // 使用 typeof 进行类型守护
  if (typeof value === "string") {
    // 在这个 if 代码块内，TypeScript 已经智能地将 value 的类型收窄为 `string`
    // 鼠标悬停在下面的 `value` 上，你会看到它的类型就是 string
    console.log(value.toUpperCase()); // ✅ 正确！
  } else {
    // 在 else 代码块内，TypeScript 推断出 value 的类型必定是剩下的 `number`
    console.log(value.toFixed(2));    // ✅ 正确！
  }
}

printValue("hello world");
printValue(123.456);

// 在 `src/types.ts` 中可以补充这些类型
interface Todo {
  id: number;
  text: string;
  completed: boolean;
  // Todo 特有的方法
  toggle(): void; 
}

interface Note {
  id: number;
  content: string;
  // Note 特有的属性
  color: 'yellow' | 'blue' | 'green';
}

type ListEntry = Todo | Note;

function processEntry(entry: ListEntry) {
  // 🔴 编译错误！属性 `toggle` 在类型 `Note` 上不存在
  entry.toggle(); 
  
  // 🔴 编译错误！属性 `color` 在类型 `Todo` 上不存在
  console.log(`Color is: ${entry.color}`);
}

function processEntry(entry: ListEntry): void {
  console.log(`Processing entry #${entry.id}`);
  
  // 使用 in 操作符进行类型守护
  if ("completed" in entry) {
    // 在这个块内，TypeScript 知道 entry 的类型是 Todo
    // 因为只有 Todo 类型拥有 "completed" 属性
    console.log(`Todo item: ${entry.text}`);
    // entry.toggle(); // 如果 toggle 方法已实现，这里就可以安全调用
  } else {
    // 在这个块内，TypeScript 推断 entry 的类型必定是剩下的 Note
    console.log(`Note with color ${entry.color}: ${entry.content}`);
  }
}

// 这个函数返回一个布尔值，但它的类型签名非常特殊
// `entry is Todo` 就是类型谓词
// 它告诉 TypeScript：如果这个函数返回 true，那么你就可以确信传入的 `entry` 参数是 `Todo` 类型
function isTodo(entry: ListEntry): entry is Todo {
  return (entry as Todo).completed !== undefined;
}

function processEntryWithCustomGuard(entry: ListEntry): void {
  console.log(`Processing entry #${entry.id}`);
  
  // 使用自定义类型守护函数
  if (isTodo(entry)) {
    // 在这个块内，TypeScript 同样能将 entry 的类型收窄为 Todo
    console.log(`Todo item: ${entry.text}`);
  } else {
    console.log(`Note with color ${entry.color}: ${entry.content}`);
  }
}