Haskell使用约束作为类参数时为何无法统一类型？

错误核心成因 #

你遇到的类型变量c0歧义问题，本质是编译器无法在泛型上下文里明确绑定类型参数的具体关联：

• 你把Inner作为参数传入Outer实例，但Outer的泛型参数C没有任何约束，编译器无法确定这个C必须和Inner绑定；
• 在usage函数的返回值或调用逻辑中，编译器看到Outer[Inner, V]时，没办法自动关联到你创建实例时传入的Inner参数对应的类型参数，只能用占位符c0代替，最终因无法推导c0的具体类型报错。

具体解决方法 #

1. 给泛型参数添加显式约束 #

在定义Outer类时，给类型参数C添加约束，限定它必须是Inner（或其子类），让编译器明确C的范围：

// Module 1 代码
class Inner
// 给C添加 <: Inner 约束，限定C只能是Inner或其子类
class Outer[C <: Inner, V](c: C)

此时在usage函数中，编译器能自动推断C的类型为Inner，不会再出现歧义：

// Usage模块代码
import Module1._

def usage[V](v: V): Outer[Inner, V] = {
  new Outer(new Inner())
}

2. 显式指定泛型类型参数 #

如果不想修改Outer类的定义，可以在创建Outer实例时，显式标注泛型参数，直接告诉编译器C的具体类型：

// Usage模块代码
import Module1._

def usage[V](v: V): Outer[Inner, V] = {
  // 显式指定C=Inner，V为函数的泛型参数
  new Outer[Inner, V](new Inner())
}

3. 使用路径依赖类型（适用于Scala等语言） #

如果Inner仅为Outer服务，可以将Inner定义为Outer的内部类，利用路径依赖让Inner的类型和Outer的实例绑定，从根源上避免类型歧义：

// Module 1 代码
class Outer[V] {
  class Inner
  // 直接在Outer内部创建Inner实例，类型天然绑定
  def getInner: Inner = new Inner()
}

在usage函数中，路径依赖类型Outer[V]#Inner会明确关联到对应Outer实例的Inner类型：

// Usage模块代码
import Module1._

def usage[V](): Outer[V]#Inner = {
  val outer = new Outer[V]()
  outer.getInner
}

内容的提问来源于stack exchange，提问作者Niek Janssen