Hi Guardian

下一代 TypeScript 运行时类型守卫生成器，为您的类型安全保驾护航。在 3KB 的轻量级包中实现：

• 🛡️ 全类型推断 - 自动同步类型定义
• ⚡ 零依赖 - 不增加项目负担
• 🧩 多范式支持 - 对象/数组/元组/联合类型全覆盖

比 Zod 快 3 倍 | io-ts 的现代替代品

English | 简体中文

为什么选择 Hi Guardian？

| 特性 | Zod | io-ts | Hi Guardian | |---------------------|---------|---------|---------------| | 类型推断 | ✅ | ❌ | ✅ | | 零运行时 | ❌ | ❌ | ✅ | | 元组支持 | ✅ | ❌ | ✅ | | 浏览器兼容 | ✅ | ✅ | ✅ | | 最小尺寸 | 42KB | 12KB | 3KB |

安装

# npm
npm install hi-guardian

# yarn
yarn add hi-guardian

# pnpm
pnpm add hi-guardian

快速入门

基础对象验证

import { createObjTypeGuard } from 'hi-guardian';

interface User {
  id: number;
  name: string;
  email?: string;
}

const isUser = createObjTypeGuard<User>({
  id: (v): v is number => Number.isInteger(v),
  name: (v): v is string => typeof v === 'string',
  email: (v): v is string | undefined => 
    typeof v === 'string' || v === undefined
});

const unsafeData: unknown = { id: 1, name: "Alice" };

if (isUser(unsafeData)) {
  console.log(unsafeData.name); // 安全访问 ✅
}

基础数组验证

import { createArrTypeGuard, createObjTypeGuard } from 'hi-guardian';
interface User {
  id: number;
  name: string;
  email?: string;
}

const isUser = createObjTypeGuard<User>({
  id: (v): v is number => Number.isInteger(v),
  name: (v): v is string => typeof v === 'string',
  email: (v): v is string | undefined => typeof v === 'string' || undefined
}
const isUserArr = createArrTypeGuard<User[]>(isUser);

const unsafeData: unknown = [{ id: 1, name: "Alice" }, { id: 2, name: "Bob" }];

if (isUserArr(unsafeData)) {
  console.log(unsafeData[0].name); // 安全访问 ✅
}

基础元组验证

import {createTupleTypeGuard} from 'hi-guardian';

const isTuple = createTupleTypeGuard<[number, string]>([
  Number.isInteger, 
  (v): v is string => typeof v === 'string'
]);

const unsafeData: unknown = [1, 'Alice'];

if (isTuple(unsafeData)) {
  console.log(unsafeData[1]); // 安全访问 ✅
}

高级模式

递归类型守卫

interface TreeNode {
  value: number;
  children?: TreeNode[];
}

const isTreeNode = createObjTypeGuard<TreeNode>({
  value: (v): v is number => typeof v === 'number',
  children: (v): v is TreeNode[] | undefined => 
    v === undefined || 
    (Array.isArray(v) && v.every(item => isTreeNode(item)))
});

联合类型守卫

interface User {
  id: number;
  name: string;
  email?: string;
}

interface Admin {
  id: number;
  name: string;
  role: string;
}

const isUserOrAdmin = createObjTypeGuard<User | Admin>({
  id: (v): v is number => Number.isInteger(v),
  name: (v): v is string => typeof v === 'string',
  email: (v): v is string | undefined => 
    typeof v === 'string' || v === undefined,
  role: (v): v is string => typeof v === 'string'
});