TypeScript 中泛型约束与条件类型结合时，为什么你的类型推断总是不对？
原创
TypeScript 中泛型约束与条件类型结合时，为什么你的类型推断总是不对？
超哥前端记录
发布于 2026-11-14 10:05:14
发布于 2026-11-14 10:05:14
概述
写 TypeScript 的业务代码时，泛型约束和条件类型经常一起出现。比如实现一个 pick 函数，或者给某个工具类型加一层过滤。很多人在这种场景下会突然发现：明明写了 T extends object，为什么传入 string 时类型没报错？或者条件类型 T extends Function ? A : B 在联合类型上表现和预期完全不一样？这些问题通常来自两个机制：泛型约束只在声明位置检查，
原创声明：本文系作者授权腾讯云开发者社区发表，未经许可，不得转载。
如有侵权，请联系 cloudcommunity@tencent.com 删除。
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号