????????在 TypeScript 中，類型推導和上下文類型化是兩個重要的概念。它們使得代碼編寫更加簡潔、可讀性更高，并且幫助我們避免冗余的類型注解。本文將深入探討這兩個概念，并通過示例代碼演示它們的用法和好處。

一、類型推導

????????類型推導是 TypeScript 的一個強大特性，它能夠根據變量的值自動推斷出其類型。這樣一來，我們無需顯式地為每個變量添加類型注解，而是讓 TypeScript 根據上下文自動推導出最合適的類型。

let num = 10; // TypeScript 推斷 num 的類型為 number
let message = "Hello, TypeScript!"; // TypeScript 推斷 message 的類型為 string
let isActive = true; // TypeScript 推斷 isActive 的類型為 boolean// 推導出數組的元素類型
let numbers = [1, 2, 3]; // TypeScript 推斷 numbers 的類型為 number[]
let names = ["Alice", "Bob", "Charlie"]; // TypeScript 推斷 names 的類型為 string[]

通過類型推導，我們可以省去顯式添加類型注解的步驟，使得代碼更加簡潔和易于維護。

二、上下文類型化

????????上下文類型化是指 TypeScript 根據表達式所在的上下文環境來推導出表達式的類型。這種類型推導方式在函數調用、賦值操作和對象字面量等場景中非常有用。

// 函數調用中的上下文類型化
function greet(name: string) {console.log("Hello, " + name.toUpperCase() + "!");
}let username = "Alice";
greet(username); // TypeScript 根據 greet 函數的參數類型推導出 username 的類型為 string// 賦值操作中的上下文類型化
let x = [1, 2, 3];
let y = x; // TypeScript 推斷 y 的類型為 number[]，與 x 的類型相同// 對象字面量中的上下文類型化
interface Point {x: number;y: number;
}function printPoint(point: Point) {console.log("x:", point.x);console.log("y:", point.y);
}let point = { x: 10, y: 20 };
printPoint(point); // TypeScript 根據 printPoint 函數的參數類型推導出 point 的類型為 Point

通過上下文類型化，我們可以利用已知的上下文信息來推導出更精確的類型，減少不必要的類型注解。