关于TypeScript 品牌类型 Nominal Typing,:多くの開発者はAPIの呼び出しレベルにとどまっています。本記事では本番環境の観点から、実際に遭遇する問題と解決策を議論します。
基本原理
まず基本的な実装方法を見てみましょう:
javascript
type DeepPartial<T> = T extends object ? { [P in keyof T]?: DeepPartial<T[P]> } : T
interface AppConfig {
api: { baseUrl: string; timeout: number; retries: number }
ui: { theme: 'light' | 'dark'; language: string; pageSize: number }
}
type PartialConfig = DeepPartial<AppConfig>
function mergeConfig(defaults: AppConfig, overrides: PartialConfig): AppConfig {
const result = { ...defaults }
for (const key of Object.keys(overrides) as (keyof AppConfig)[]) {
if (overrides[key] && typeof overrides[key] === 'object') {
result[key] = { ...defaults[key], ...overrides[key] } as any
}
}
return result
}
このコードは基本的な使い方を示しています。実際のプロジェクトではエラー処理と境界条件も考慮する必要があります。
高度な機能
この基盤の上でさらに最適化できます:
javascript
type UnwrapPromise<T> = T extends Promise<infer U> ? U : T
async function fetchUser(id: string) {
const res = await fetch(`/api/users/${id}`)
return res.json() as Promise<{ id: string; name: string; email: string }>
}
type User = UnwrapPromise<ReturnType<typeof fetchUser>>
// 类型安全的事件系统
interface EventMap {
login: { userId: string; timestamp: number }
logout: { userId: string }
}
class TypedEmitter<T extends Record<string, any>> {
private handlers = new Map<keyof T, Set<Function>>()
on<K extends keyof T>(event: K, handler: (payload: T[K]) => void) {
if (!this.handlers.has(event)) this.handlers.set(event, new Set())
this.handlers.get(event)!.add(handler)
}
emit<K extends keyof T>(event: K, payload: T[K]) {
this.handlers.get(event)?.forEach(h => h(payload))
}
}
このパターンは大規模プロジェクトで非常に実用的で、保守コストを大幅に削減できます。
プロジェクト実践
实际项目中的用法会更复杂一些:
javascript
type DeepPartial<T> = T extends object ? { [P in keyof T]?: DeepPartial<T[P]> } : T
interface AppConfig {
api: { baseUrl: string; timeout: number; retries: number }
ui: { theme: 'light' | 'dark'; language: string; pageSize: number }
}
type PartialConfig = DeepPartial<AppConfig>
function mergeConfig(defaults: AppConfig, overrides: PartialConfig): AppConfig {
const result = { ...defaults }
for (const key of Object.keys(overrides) as (keyof AppConfig)[]) {
if (overrides[key] && typeof overrides[key] === 'object') {
result[key] = { ...defaults[key], ...overrides[key] } as any
}
}
return result
}
このアプローチにより、コードのテスト可能性とスケーラビリティが向上します。
ベストプラクティス
完全な例を以下に示します:
javascript
type UnwrapPromise<T> = T extends Promise<infer U> ? U : T
async function fetchUser(id: string) {
const res = await fetch(`/api/users/${id}`)
return res.json() as Promise<{ id: string; name: string; email: string }>
}
type User = UnwrapPromise<ReturnType<typeof fetchUser>>
// 类型安全的事件系统
interface EventMap {
login: { userId: string; timestamp: number }
logout: { userId: string }
}
class TypedEmitter<T extends Record<string, any>> {
private handlers = new Map<keyof T, Set<Function>>()
on<K extends keyof T>(event: K, handler: (payload: T[K]) => void) {
if (!this.handlers.has(event)) this.handlers.set(event, new Set())
this.handlers.get(event)!.add(handler)
}
emit<K extends keyof T>(event: K, payload: T[K]) {
this.handlers.get(event)?.forEach(h => h(payload))
}
}
境界条件の処理に注意してください。これは本番環境で非常に重要です。
まとめ
- 本番環境で使用する前に必ず互換性を確認してください
- チームコラボレーションでは、規約とドキュメントが技術そのものより重要です
- コミュニティの動向を注視し、技術的なソリューションは継続的な反復が必要です