Scala3自定义Zip实现报错：无法解析依赖类型，X.State类路径缺失

问题分析 #

你尝试为自定义Pull类型实现Zip相关的stateOf方法时，代码报错无法识别X.State，本质是类型约束缺失导致编译器无法推导X的具体类型，同时嵌套的summonFrom写法过于复杂，干扰了类型推导流程，最终表现为类文件缺失的错误。

简化实现方案 #

直接利用Scala 3的Tuple.Map和内联方法的类型推导能力，简化代码如下：

object ZipAll:
  trait Pull[Output]:
    type State
    def initial(): State
    def pull(context: Context, state: State): Timestampped[Output]

  type OutputOf[P <: Pull[_]] = P match
    case Pull[output] => output

  type StateOf[P <: Pull[_]] = P#State

  inline def stateOf[Pulls <: Tuple](pulls: Pulls): Tuple.Map[Pulls, StateOf] =
    pulls.map[StateOf] {
      [P <: Pull[_]] => (pull: P) => pull.initial()
    }

关键优化点 #

1. 简化类型约束：去掉多余的Outputs类型参数，直接约束Pulls为Tuple，让编译器聚焦于处理每个元素的Pull类型
2. 明确类型参数：将map的类型参数从无约束的[X]改为[P <: Pull[_]]，直接告诉编译器每个元素都是Pull子类，可直接调用initial()方法
3. 移除冗余转换：删除嵌套的summonFrom类型证据转换，避免类型推导混乱，让代码逻辑更清晰

原代码报错原因 #

• 无约束的[X]类型参数让编译器无法识别X是Pull的子类型，因此X.State无法解析
• 嵌套的summonFrom试图通过类型证据做类型转换，但这种写法不仅冗余，还会让编译器的类型推导链断裂，最终抛出类文件缺失的错误（实际是类型推导失败的表现）

内容的提问来源于stack exchange，提问作者Vinothkumar Raman