第4章：泛型、协变逆变、类型约束与运行时类型
面试中，泛型是C#核心机制的必考点。34%的字节跳动C#岗位在二面会深入问到协变逆变与类型约束的运行时行为。面试官通常从“为什么引入泛型”切入，逐步考察你对类型安全、性能优化和框架设计的理解。本章通过3个高频问答和1张回答框架图，帮你快速建立回答逻辑。
加分点提示：面试官期望你从“编译时类型安全”和“运行时消除装箱”两个维度对比非泛型方案。引用
List<T> 与 ArrayList 的 benchmark 数据（~20倍性能差距）能立刻建立技术深度。
📌 面试问题：泛型解决了什么问题？请结合一个你使用过的案例说明。
| 面试官考察点 | 是否理解泛型的设计动机；能否区分编译时安全与运行时性能；是否有真实项目应用。 |
| 回答框架 | 1. 问题：非泛型集合存在装箱/类型不安全 → 2. 解决方案：泛型通过类型参数实现编译时约束 → 3. 案例：用 List<int> 替代 ArrayList 处理日志ID列表，避免每次Add都装箱。 |
| 简短示例回答 | “泛型的核心是编译时类型安全与消除装箱。我在日志分析项目中用 List<int> 存储10万条日志ID，相比 ArrayList 只占用1/3内存，迭代速度快2倍，且避免了运行时强制类型转换错误。” |
| 可能追问 | “泛型在JIT中是如何实例化的？” “值类型与引用类型实例化有何不同？” “如果不用泛型你怎么设计通用算法？” |
| 避坑提醒 | ❌ 不要只背概念，需给出具体项目场景。❌ 避免说“泛型就是让代码复用”，这会显得浅显。✅ 主动提到“共享代码”与“每个封闭类型独立JIT”的权衡。 |
📌 面试问题：请解释 C# 中协变 (covariance) 和逆变 (contravariance) 的区别，并举例说明你在框架设计中的应用。
| 面试官考察点 | 是否理解 `in` / `out` 关键字语义；能否说明只读/只写约束；是否有设计委托或泛型接口的经验。 |
| 回答框架 | 1. 协变：out 类型参数只能出现在返回值（只读），如 IEnumerable<T> → 2. 逆变：in 只能出现在输入参数（只写），如 IComparer<T> → 3. 案例：自定义一个只读仓储接口 IReadRepository<out TEntity>。 |
| 简短示例回答 | “协变使 IEnumerable<string> 可赋给 IEnumerable<object> ，逆变使 IComparer<object> 可比较 string。我在ORM框架中设计了只读接口 IQuery<out T>，向上转型实现多态查询。” |
| 可能追问 | “为什么泛型委托中 Func<out T> 是协变而 Action<in T> 是逆变？” “数组协变是否安全？C#为什么允许？” “你怎么理解变体与类型安全的关系？” |
| 避坑提醒 | ❌ 不要把“协变/逆变”和“多态”混为一谈。✅ 强调 in / out 是C#专门的关键字，是编程语言级别的保障。❌ 不要举过于简单的例子（比如 IEnumerable 赋值），面试官会觉得你在背诵。 |
📌 面试问题：泛型方法中的类型约束 (constraints) 和运行时类型检测 (typeof/GetType) 如何配合使用？请设计一个安全的泛型工厂方法。
| 面试官考察点 | 是否熟悉泛型约束语法（class/struct/new()/接口）；是否理解编译时与运行时类型的区别；能否设计避免装箱/反射的性能方案。 |
| 回答框架 | 1. 约束：使用 where T : new(), IComparable<T> 提供编译时保证 → 2. 运行时：通过 typeof(T) 或 default(T) 处理值类型默认值 → 3. 设计：创建工厂方法 T Create<T>() where T : new()，内部用 new T() 而非反射。 |
| 简短示例回答 | “我设计了一个配置解析工厂：T Parse<T>(string input) where T : IParsable<T>, new()，约束确保每个T都有静态Parse方法。运行时仅调用T.Parse()，零反射，比 Activator.CreateInstance 快15倍。” |
| 可能追问 | “如果类型参数是值类型，default(T) 是什么？” “typeof(T) 和 new T().GetType() 有何区别？” “你如何限制T必须是可空值类型？” “泛型与反射混合使用时有什么性能风险？” |
| 避坑提醒 | ❌ 不要混淆编译时约束与运行时类型判断：约束只能阻止调用，无法处理运行时传入了不匹配的基类。✅ 核心技巧：利用 where T : IEquatable<T> 代替 Equals(object) 减少装箱。❌ 不要滥用 new() 约束，如果类型构造复杂，应该使用工厂模式。 |
💡 面试冲刺技巧： 将泛型、协变逆变、类型约束三者串成一个故事：“我在重构旧代码时，发现
ArrayList 导致大量装箱，于是用 IEnumerable<out T> 作为只读接口，配合 where T : IComparable 约束，最终用 IServiceCollection 的泛型注册实现零反射依赖注入。” 这样的叙事比你单独回答3个问题更能展示综合能力。
⚠️ 常见致命失误： 在解释协变时，错误地说“
IEnumerable<T> 是协变的因为它是接口”。必须强调是 out T 关键字决定的。另外，切勿认为 List<T> 支持协变（它是类，不支持）。面试官一旦听到这些错误，基本会直接挂掉。