当前位置：首页 > news >正文

JavaScript系列（17）--类型系统模拟

news 2025/7/13 4:19:05

JavaScript类型系统模拟 🎭

今天，让我们深入探讨JavaScript中的类型系统模拟。虽然JavaScript是一门动态类型语言，但我们可以通过各种方式来实现类型检查和验证。

类型系统基础 🌟

💡 小知识：JavaScript是一门动态类型语言，但我们可以通过运行时类型检查、TypeScript等工具，或自定义类型系统来增强类型安全性。

基本类型检查 📊

// 1. 类型检查工具
class TypeChecker {static checkType(value, expectedType) {const actualType = typeof value;if (actualType !== expectedType) {throw new TypeError(`Expected type ${expectedType}, but got ${actualType}`);}return value;}static isNumber(value) {return typeof value === 'number' && !isNaN(value);}static isString(value) {return typeof value === 'string';}static isBoolean(value) {return typeof value === 'boolean';}static isFunction(value) {return typeof value === 'function';}static isObject(value) {return value !== null && typeof value === 'object';}static isArray(value) {return Array.isArray(value);}static isInstanceOf(value, constructor) {return value instanceof constructor;}
}// 2. 类型断言
function typeAssertions() {function assertNumber(value, message = 'Value must be a number') {if (!TypeChecker.isNumber(value)) {throw new TypeError(message);}return value;}function assertString(value, message = 'Value must be a string') {if (!TypeChecker.isString(value)) {throw new TypeError(message);}return value;}function assertNonNull(value, message = 'Value cannot be null or undefined') {if (value === null || value === undefined) {throw new TypeError(message);}return value;}// 使用示例function calculateArea(width, height) {assertNumber(width, 'Width must be a number');assertNumber(height, 'Height must be a number');return width * height;}
}// 3. 类型守卫
function typeGuards() {// 类型守卫函数function isString(value): value is string {return typeof value === 'string';}function isNumber(value): value is number {return typeof value === 'number' && !isNaN(value);}function isArray(value): value is Array<any> {return Array.isArray(value);}// 使用示例function processValue(value: any) {if (isString(value)) {return value.toUpperCase();} else if (isNumber(value)) {return value.toFixed(2);} else if (isArray(value)) {return value.length;}throw new TypeError('Unsupported type');}
}

高级类型系统实现 🔧

// 1. 泛型类型实现
class GenericType<T> {private value: T;constructor(value: T) {this.value = value;}getValue(): T {return this.value;}map<U>(fn: (value: T) => U): GenericType<U> {return new GenericType(fn(this.value));}
}// 2. 联合类型实现
class UnionType {private value: any;private types: Function[];constructor(value: any, ...types: Function[]) {if (!types.some(type => this.checkType(value, type))) {throw new TypeError('Value does not match any of the specified types');}this.value = value;this.types = types;}private checkType(value: any, type: Function): boolean {if (type === String) return typeof value === 'string';if (type === Number) return typeof value === 'number';if (type === Boolean) return typeof value === 'boolean';return value instanceof type;}getValue(): any {return this.value;}
}// 3. 交叉类型实现
class IntersectionType {private value: any;constructor(value: any, ...types: Function[]) {if (!types.every(type => this.checkType(value, type))) {throw new TypeError('Value does not match all specified types');}this.value = value;}private checkType(value: any, type: Function): boolean {return Object.getOwnPropertyNames(type.prototype).every(prop => typeof value[prop] === typeof type.prototype[prop]);}getValue(): any {return this.value;}
}

类型系统应用 💼

让我们看看类型系统在实际开发中的应用：

// 1. 验证器系统
class Validator {private rules: Map<string, Function[]>;constructor() {this.rules = new Map();}// 添加验证规则addRule(field: string, ...validators: Function[]) {if (!this.rules.has(field)) {this.rules.set(field, []);}this.rules.get(field)!.push(...validators);}// 验证对象validate(obj: any): ValidationResult {const errors = new Map();for (const [field, validators] of this.rules) {const value = obj[field];const fieldErrors = validators.map(validator => validator(value)).filter(error => error !== null);if (fieldErrors.length > 0) {errors.set(field, fieldErrors);}}return {isValid: errors.size === 0,errors};}// 预定义验证器static required(value: any) {return value === undefined || value === null || value === '' ? 'Field is required' : null;}static minLength(length: number) {return (value: string) => value.length < length ? `Minimum length is ${length}` : null;}static maxLength(length: number) {return (value: string) => value.length > length ? `Maximum length is ${length}` : null;}static pattern(regex: RegExp, message: string) {return (value: string) => !regex.test(value) ? message : null;}
}// 2. 类型安全的事件系统
class TypedEventEmitter<Events extends Record<string, any>> {private listeners: Map<keyof Events, Function[]>;constructor() {this.listeners = new Map();}on<K extends keyof Events>(event: K, listener: (data: Events[K]) => void) {if (!this.listeners.has(event)) {this.listeners.set(event, []);}this.listeners.get(event)!.push(listener);return () => this.off(event, listener);}off<K extends keyof Events>(event: K, listener: (data: Events[K]) => void) {const listeners = this.listeners.get(event);if (listeners) {const index = listeners.indexOf(listener);if (index !== -1) {listeners.splice(index, 1);}}}emit<K extends keyof Events>(event: K, data: Events[K]) {const listeners = this.listeners.get(event);if (listeners) {listeners.forEach(listener => listener(data));}}
}// 3. 类型安全的状态管理
class TypedStore<State extends object> {private state: State;private listeners: Set<(state: State) => void>;constructor(initialState: State) {this.state = initialState;this.listeners = new Set();}getState(): Readonly<State> {return Object.freeze({ ...this.state });}setState(partial: Partial<State>) {this.state = { ...this.state, ...partial };this.notify();}subscribe(listener: (state: State) => void) {this.listeners.add(listener);return () => this.listeners.delete(listener);}private notify() {const state = this.getState();this.listeners.forEach(listener => listener(state));}
}

性能优化 ⚡

类型检查和验证的性能优化技巧：

// 1. 缓存类型检查结果
class TypeCache {private static cache = new WeakMap<object, Map<string, boolean>>();static checkType(obj: object, type: string): boolean {let typeCache = this.cache.get(obj);if (!typeCache) {typeCache = new Map();this.cache.set(obj, typeCache);}if (typeCache.has(type)) {return typeCache.get(type)!;}const result = this.performTypeCheck(obj, type);typeCache.set(type, result);return result;}private static performTypeCheck(obj: object, type: string): boolean {// 实际的类型检查逻辑return typeof obj === type;}
}// 2. 批量类型检查优化
class BatchTypeChecker {private validations: Array<() => boolean>;constructor() {this.validations = [];}addValidation(validation: () => boolean) {this.validations.push(validation);}validate(): boolean {// 使用 Array.every 进行短路优化return this.validations.every(validation => validation());}
}// 3. 延迟类型检查
class LazyTypeChecker {private typeChecks: Map<string, () => boolean>;private results: Map<string, boolean>;constructor() {this.typeChecks = new Map();this.results = new Map();}addCheck(name: string, check: () => boolean) {this.typeChecks.set(name, check);}check(name: string): boolean {if (!this.results.has(name)) {const check = this.typeChecks.get(name);if (!check) return false;this.results.set(name, check());}return this.results.get(name)!;}
}

最佳实践建议 💡

类型检查策略

// 1. 运行时类型检查
function runtimeTypeChecking() {// 基本类型检查function checkPrimitive(value: any, type: string) {return typeof value === type;}// 复杂类型检查function checkComplex(value: any, type: Function) {return value instanceof type;}// 结构类型检查function checkStructure(value: any, structure: object) {return Object.entries(structure).every(([key, type]) => {return checkPrimitive(value[key], type as string);});}
}// 2. 类型安全的API设计
function typeSecureAPI() {interface APIOptions {endpoint: string;method: 'GET' | 'POST' | 'PUT' | 'DELETE';headers?: Record<string, string>;body?: any;}class APIClient {request<T>(options: APIOptions): Promise<T> {// 实现类型安全的API请求return fetch(options.endpoint, {method: options.method,headers: options.headers,body: JSON.stringify(options.body)}).then(res => res.json());}}
}// 3. 类型转换安全
function typeConversionSafety() {// 安全的数字转换function toNumber(value: any): number {if (typeof value === 'number') return value;if (typeof value === 'string') {const num = Number(value);if (!isNaN(num)) return num;}throw new TypeError('Cannot convert to number');}// 安全的布尔转换function toBoolean(value: any): boolean {if (typeof value === 'boolean') return value;if (typeof value === 'string') {return ['true', '1', 'yes'].includes(value.toLowerCase());}return Boolean(value);}
}