第4章 类型系统与隐式转换：类型推断、隐式参数、隐式转换、上下文界定

🎯 面试官考察点：

• 是否清晰区分隐式转换（类型转换）与隐式参数（值注入）的本质差异
• 能否结合实际场景说明各自的价值，而非死记概念
• 是否理解隐式转换可能带来的类型安全风险

📐 回答框架：

1. 定位定义：隐式转换用 implicit def 定义，隐式参数用 implicit val 定义
2. 核心区别：隐式转换改变类型（A → B），隐式参数提供实例（注入依赖）
3. 应用场景：隐式转换用于扩展已有关闭类型（如为 String 添加方法）；隐式参数用于类型类实例传递和上下文界定
4. 风险提示：隐式转换链过长会导致调试困难，建议只在明确场景使用

✏️ 示例回答：

🔍 可能追问：

• 隐式转换的解析优先级是怎样的？
• 如何避免隐式转换的滥用？
• 隐式参数与默认参数可以同时使用吗？

🎯 面试官考察点：

• 是否理解上下文界定是隐式参数的语法糖
• 能否在类型类模式中正确使用上下文界定
• 是否掌握 implicitly 的用法

📐 回答框架：

1. 定义本质：上下文界定 [T: Ordering] 等价于 (implicit ev: Ordering[T])
2. 核心价值：让泛型函数无需显式传递实例，编译器自动从作用域中获取
3. 典型场景：类型类模式，如 def sort[T: Ordering](list: List[T])
4. 获取实例：通过 implicitly[Ordering[T]] 在方法体中获取隐式实例

✏️ 示例回答：

🔍 可能追问：

• 上下文界定和视界（View Bounds）有什么区别？
• 如何自定义一个上下文界定？
• implicitly 的实现原理是什么？

🎯 面试官考察点：

• 是否掌握隐式解析的完整优先级链
• 能否现场分析一个隐式冲突案例并给出解决方案
• 是否了解隐式作用域的最佳实践

📐 回答框架：

1. 优先级链：当前作用域局部定义 → 伴生对象 → 包对象 → 全局导入
2. 冲突条件：同一个作用域中存在多个相同类型的隐式定义
3. 解决方案：①显式传入隐式参数 ②移除冗余定义 ③通过导入控制作用域 ④使用 @implicitNotFound 提供明确错误
4. 最佳实践：隐式定义尽量放在伴生对象中，避免全局导入

✏️ 示例回答：

🔍 可能追问：

• 隐式解析在继承场景下是如何工作的？
• 隐式转换的链式调用有什么风险？
• 如何测试隐式解析的正确性？