TypeScript 4.4 釋出了，幾個實用的改進值得關注。不是大版本，但有幾個對日常開發有實際幫助的特性。

Control Flow Analysis for Aliased Conditions

之前 TypeScript 對變數別名的控制流分析很弱，4.4 改善了這一點。

// 之前：把 result 賦給別名後，型別守衛失效
function process(value: string | number) {
  const isString = typeof value === 'string'
  if (isString) {
    // ❌ 之前報錯：value 還是 string | number
    // ✅ 4.4：正確推斷為 string
    console.log(value.toUpperCase())
  }
}

// 更實際的場景
function handleInput(input: string | null) {
  const isValid = input !== null

  if (isValid) {
    // ✅ 4.4 能識別：input 是 string
    console.log(input.length)
  }

  // 陣列也行
  const items = getItems() // (string | number)[]
  const hasItems = items.length > 0

  if (hasItems) {
    // ✅ items 仍然有型別資訊
    items.forEach(item => {
      if (typeof item === 'string') {
        console.log(item.toUpperCase())
      }
    })
  }
}

exactOptionalPropertyTypes

這個選項解決了一個長期困擾的問題：可選屬性到底能不能賦值 undefined。

// tsconfig.json
{
  "compilerOptions": {
    "exactOptionalPropertyTypes": true
  }
}

// 之前：
interface Config {
  name?: string
}

const c1: Config = { name: undefined } // 不報錯（但語義上不對）
const c2: Config = {}                  // 不報錯

// 開啟 exactOptionalPropertyTypes 後：
const c3: Config = { name: undefined } // ❌ 報錯！name 是 string | undefined
const c4: Config = {}                  // ✅ 可以省略

// 如果確實需要 undefined，要顯式宣告
interface Config {
  name?: string | undefined
}

這個選項讓 undefined 的語義更精確：可選屬性可以省略，但不能顯式賦 undefined。

switch(true) 模式

function describe(value: unknown): string {
  switch (true) {
    case typeof value === 'string':
      // ✅ 4.4：value 被收窄為 string
      return `字串: ${value.length} 個字元`
    case typeof value === 'number':
      // ✅ value 被收窄為 number
      return `數字: ${value.toFixed(2)}`
    case Array.isArray(value):
      // ✅ value 被收窄為 unknown[]
      return `陣列: ${value.length} 項`
    default:
      return '未知型別'
  }
}

Symbol 和模板字串型別

// 模板字串型別也可以用 symbol
declare const sym: unique symbol

// ✅ 4.4 支援
type T = typeof sym extends string ? never : typeof sym

效能改進

TypeScript 4.4 在多個方面優化了效能：

• 條件型別中的延遲型別推斷
• 交叉型別和聯合型別的處理最佳化
• @types 包的載入速度提升

實際體感：大型專案的 tsc --noEmit 速度快了 10-20%。

實用配置建議

// tsconfig.json 推薦配置（Vue 3 + Vite 專案）
{
  "compilerOptions": {
    "target": "ESNext",
    "module": "ESNext",
    "moduleResolution": "node",
    "strict": true,
    "exactOptionalPropertyTypes": true,     // 4.4 新增
    "noUncheckedIndexedAccess": true,       // 陣列/物件索引訪問返回 T | undefined
    "noPropertyAccessFromIndexSignature": true,
    "jsx": "preserve",
    "importsNotUsedAsValues": "error",
    "paths": {
      "@/*": ["./src/*"]
    }
  },
  "include": ["src/**/*.ts", "src/**/*.vue"],
  "exclude": ["node_modules"]
}

小結

• Control Flow Analysis for Aliased Conditions：變數賦值後型別守衛不再失效
• exactOptionalPropertyTypes：可選屬性不能顯式賦 undefined，語義更精確
• switch(true) 也能做型別收窄了
• 效能提升，大型專案感知明顯
• 建議開啟 noUncheckedIndexedAccess 配合使用，進一步提升型別安全