前言

在第二篇和第三篇里我们搞定了类型注解的基础——变量、数组、函数、接口。但你有没有想过一个问题：有些类型其实不用手动注解，TypeScript 自己就能推断出来？

说到比如这段代码，

let count = 0;// TypeScript 自动推断为 number
const name = 'Jack';不过，// TypeScript 自动推断为 'Jack'

为什么 count 被推断为 number而 name 被推断为 'Jack' 而不是 string？这就是字面量类型和类型推论的威力。

痛点：你是否经常为手动写类型而感到烦恼，却又担心少写会导致错误？本篇将帮你彻底弄清这两个概念。

一、字面量类型

什么是字面量类型？

在 TypeScript 中，这些值本身也可以作为类型使用。这种用具体值作为类型的方式，就叫字面量类型.

// 普通 number 类型：可以赋值为任何数值
let count1: number = 5;// ✅
// 字面量类型 ：只能赋值为特定数值
let count2: 5 = 5;// ✅
count2 = 6;// ❌ 报错：不能将类型“6”分配给类型“5”

字面量类型比普通类型更精确. number 能表示无数种数字，而 5 只能表示唯一的数值。

三种字面量类型

字符串字面量、数字字面量、布尔字面量。

// 字符串字面量
let direction: 'left' | 'right' = 'left';// 数字字面量
type HttpStatus = 200 | 201 | 404;// 布尔字面量
let isReady: true = true;// isReady = false;其实，// ❌ 报错 

痛点：有没有碰到变量被错误赋值却没有报错。导致业务逻辑出错的情况，使用字面量+联合可以让错误在编译阶段立刻显现。

const

`const` 声明 → 更窄的推断；`let` 声明 → 更宽松的推断。

// const 声明 → 字面量类型
const str = 'hello';// 类型推断为 'hello'
// let 声明 → 普通字符串
let str2 = 'hello';
// 类型推断为 string 

`const` 的优势：

• Coding tip：`const` 能帮助 TypeScript 捕捉不该改变的常量，从而生成更安全的代码。
• Pain point：If you use `let` for values that never change。you lose extra safety that literal types provide.

二、字面量类型的实际使用

Pain point：*在实际项目中，你是否因为传错参数而被调试一天？* 用字面量+联合可以把合法选项写进 type，让 IDE 和编译器帮你把关。

场景一这方面，性别限制

type Gender = 'male' | 'female';let userGender: Gender = 'male';说起来，userGender = 'female';// ✅ 合法
userGender = 'unknown';// ❌ 报错 

再看场景二，组件大小配置

type Size = 'small' | 'medium' | 'large';function setButtonSize {
// ...
}
setButtonSize;// ✅
setButtonSize;// ❌ 报错 

再看场景三，HTTP 状态码

type HttpStatus = 200 | 201 | 400 | 404 | 500;function handleResponse {
if {
console.log;} else if {
console.log;}
}
handleResponse;// ✅
handleResponse;// ❌ 报错 

三、类型推论

什么是类型推论？

A. 当没有显式声明时TS 会“猜”出变量或表达式的最合适的 类型。

B. 简单说就是"不写，我帮你写".

// 没有写显式注解
let count = 10;// 推断为 number
const name = 'Jack';// 推断为 'Jack' 

哪些场景会发生推论？老实说，

数组元素 const arr =;number 对象属性

场景	示例	推断结果
变量初始化	let x = 5;	number
函数返回值	function add{return a+b}	number
const user ={name:'Alice',age :30};	{name:string;age:number}

变量初始化时自动猜测：

lang ="typescript"

 >

let age = // 推断为 number

let nickname = // 推断为 string

let isLoading = // 推断为 boolean

p>函数返回值自动识别：

pr e>

lang=

"type scrip t"

>

function add{ return a+b;} const sum=

add(

);

// sum 被认为是 number

p>数组元素统一化：