TypeScript 5.x 真香定律：2026 年了，别再纠结“要不要学 TS”，直接上干货

结论先给：TypeScript 5.x（5.0→5.9）不是“加点类型注解”那么简单，它把一堆 TC39 标准提案、推断增强和编译期检查一次性塞进日常写法里。会用 satisfies、const 类型参数、using、Stage-3 装饰器的人，代码量和 bug 率能同时往下掉。下面按“用了就回不去”的优先级讲。

1. satisfies：校验形状，但死守字面量类型（5.0 起稳定）

type Theme = {
  colors: Record<string, string>;
  breakpoint: number;
};

// ❌ 老写法：标注后 primary 变成 string，丢掉 "#0070f3"
const themeOld: Theme = { colors: { primary: "#0070f3" }, breakpoint: 768 };

// ✅ 5.x 写法：既校验符合 Theme，又保留 "#0070f3" 字面量
const theme = {
  colors: { primary: "#0070f3", danger: "rgb(255,0,0)" },
  breakpoint: 768,
} satisfies Theme;

theme.colors.primary; // 类型是 "#0070f3"，不是 string

2. const 类型参数：告别满屏 as const（5.0）

// 之前：调用方必须写 as const
function routes<T>(r: T) { return r; }
routes(["home", "about"] as const); // readonly ["home", "about"]

// 5.0+：声明一次，调用方零负担
function routes<const T>(r: T) { return r; }
const r = routes(["home", "about"]);
// r: readonly ["home", "about"]
// r[2] 直接报错，keyof 能拿到 "home" | "about"

3. using / await using：资源释放不再写 try/finally（5.2）

class DbConn implements Disposable {
  query(sql: string) { /* ... */ }
  [Symbol.dispose]() { console.log("conn closed"); }
}

function work() {
  using conn = new DbConn();   // 块结束/抛异常都自动 dispose
  conn.query("select 1");
} // 这里自动打印 closed

4. Stage-3 装饰器正式转正（5.0）

function logged<T extends (...a: any[]) => any>(fn: T, ctx: ClassMethodDecoratorContext) {
  return function (this: unknown, ...args: Parameters<T>): ReturnType<T> {
    console.log("call", ctx.name);
    return fn.apply(this, args);
  };
}

class Svc {
  @logged
  getUser(id: string) { return { id }; }
}

5. 推断增强：类型谓词自动推、NoInfer、return 分支严查

• 5.5 推断类型谓词：arr.filter(x => x != null) 不再需要手写 is T 守卫，自动收窄成非 null。
• 5.4 NoInfer<T>：防止某个参数“反向”绑架泛型推断。

  function setDefault<T>(val: T, fallback: NoInfer<T>) { return val ?? fallback; }

• 5.8 return 内三元分支单独校验：return cond ? cache.get(k) : k 若两边类型合不到返回类型，直接报错，不再被 any 吞掉。

6. 工程侧：Node 原生跑 TS 友好 + 严格开关

• 5.8 --erasableSyntaxOnly：禁止 enum、parameter properties、namespace 出运行时代码，配合 Node 23+ 直接 strip types 跑 .ts。想用 Node 原生 TS，就把 enum 戒了，用 const 对象 + as const。
• verbatimModuleSyntax：类型导入必须 import type，和孤立模块、Bun/Vite/esbuild 输出零意外。
• 5.9 编辑器 hover 可展开、实例化缓存优化：大库（Zod/tRPC）类型检查明显变快，VS Code 悬停不再被截断。

7. 一个“老手味”小抄

// 配置：校验 + 字面量 + 无 as const
const cfg = {
  baseURL: "https://api.x.com",
  timeout: 8000,
  retries: 3,
  endpoints: { login: "/login", me: "/me" },
} satisfies AppConfig;

// 路由：const 参数拿精确 key
function defineRoutes<const T extends Record<string, string>>(r: T) { return r; }
const routes = defineRoutes({ home: "/", user: "/u/:id" });
type RouteKey = keyof typeof routes; // "home" | "user"

// 资源：自动释放
function withLock() {
  using lock = acquireLock();
  /* 抛错也释放 */
}

2026 年的现实：TS 7（Go 重写）已经在 nightly，tsc 会更快，但语法红利全在 5.x。把上面 6 组特性吃透，你写的不是“带类型的 JS”，而是“用类型当编译器帮手”的 TS——这才是别人眼里“这人 TS 很熟”的分水岭。