as const 是 TypeScript 中的一種類型斷言，用于將一個對象或數組的所有屬性標記為只讀（readonly），并將其所有字面量類型提升為最窄的字面量類型（即常量類型）。這在需要確保某些值不被修改（immutable）、或在處理與嚴格類型檢查相關的場景時非常有用。

場景1: 定義不可變的常量對象或數組

as const 可以將對象或數組標記為只讀，從而防止在后續代碼中對其進行修改。

const colors = {
    red: "#FF0000",
    green: "#00FF00",
    blue: "#0000FF"
} as const;

// colors.red = "#FFF000"; // Error: Cannot assign to 'red' because it is a read-only property.

在上面的例子中，colors 對象的所有屬性都被標記為只讀，因此不能對它們進行修改。

場景2: 確保字面量類型而不是更寬泛的類型

在沒有 as const 的情況下，TypeScript 會將字面量類型推斷為更寬泛的類型。例如，一個數組中的字符串字面量會被推斷為 string[]，而不是具體的字符串字面量類型。

const directions = ["up", "down", "left", "right"] as const;

// directions 的類型是 readonly ["up", "down", "left", "right"]

如果沒有 as const，directions 的類型會被推斷為 string[]，而使用了 as const 后，類型會被推斷為 readonly ["up", "down", "left", "right"]，即一個只讀的元組，包含具體的字面量類型。

場景3: 減少類型檢查錯誤

在某些情況下，使用 as const 可以減少類型檢查時的錯誤，特別是在與 enum 或 switch 語句配合使用時。例如，當你傳遞一個數組中的元素到一個函數時，如果數組的元素類型太寬泛，可能會導致不符合預期的類型檢查錯誤。

function move(direction: "up" | "down" | "left" | "right") {
    console.log(`Moving ${direction}`);
}

const directions = ["up", "down", "left", "right"] as const;

// Without `as const`, this would cause a type error
move(directions[0]); // OK

場景4: 使用聯合類型

當你希望一個對象的屬性值作為聯合類型使用時，as const 可以確保類型推斷為最窄的字面量類型。例如，在創建包含固定字符串的配置對象時。

const config = {
    environment: "production",
    version: "1.0.0"
} as const;

type Env = typeof config.environment; // "production"

總結

• 防止修改: 當你希望對象或數組中的值是不可變的。
• 確保最窄類型: 當你希望確保字面量類型推斷為最窄的類型。
• 減少類型檢查錯誤: 當與其他類型系統（如聯合類型、switch 語句）配合時，確保類型推斷正確。

使用 as const 可以提高代碼的類型安全性，并在 TypeScript 中增強類型推斷的精確性。