从“表达式结构”推导

• 数组：const arr = [1, 2, 3] → number[]

• 对象：const u = { id: 1, name: 'a' } → { id: number; name: string }

• 函数返回：function f(){ return 1 } → 返回 number

关键点：

• 多元素数组可能推成联合：const x = [1, 'a'] → (string | number)[]

• 想保留字面量要用 as const。