#类型系统 · 7AA7 博客

苏黎 2026-09-06 UID:114

类型体操不是炫技。它真正的价值在于：把运行时的约束前移到编译期，让一批错误在写代码时就暴露。代价是可读性和编译时间，所以要懂得在哪里停手。泛型约束与默认值裸泛型 <T> 意味着"任何类型"，等于放弃检查。约束让泛型带上前提： function getK…

811 0 3

苏黎发布于 · 2026-09-06