Scala 3中如何获取复杂Map类型的键与值类型？

针对你定义的type MyMap = Map[(String, String), List[Map[String, Int]]]，Scala 3提供了两种简洁方式直接提取键类型，无需单独声明顶级的键/值类型别名：

方法1：利用Map内置的类型成员 #

Scala的Map[K, V]继承自MapOps，其中内置了Key = K和Value = V的类型别名。你可以直接通过类型投影获取：

type MyMap = Map[(String, String), List[Map[String, Int]]]

// 直接提取键类型
type MyMapKey = MyMap#Key // 类型为 (String, String)
// 同理提取值类型
type MyMapValue = MyMap#Value // 类型为 List[Map[String, Int]]

这种方式最直接，无需额外代码，直接复用Map的固有类型定义。你可以在需要的局部场景（比如方法参数、局部变量类型）中直接使用MyMap#Key，不用把键类型暴露为顶级别名。

方法2：自定义类型提取器（更灵活） #

如果需要更通用的类型提取逻辑（比如适配不同集合类型），可以用Scala 3的类型匹配定义通用类型提取器：

// 提取Map的键类型
type ExtractMapKey[M <: Map[_, _]] = M match
  case Map[k, _] => k

// 提取Map的值类型
type ExtractMapValue[M <: Map[_, _]] = M match
  case Map[_, v] => v

type MyMap = Map[(String, String), List[Map[String, Int]]]
type MyMapKey = ExtractMapKey[MyMap] // 得到 (String, String)

这种方式扩展性更强，你可以针对不同集合类型编写对应提取逻辑，同样不需要暴露顶级的键/值类型别名。

局部使用示例 #

你可以直接在方法或局部代码中内联使用这些类型，完全隐藏实现细节：

def processMapKeys(keys: Iterable[MyMap#Key]): Unit = {
  keys.foreach { case (k1, k2) => 
    // 处理键的逻辑
  }
}

内容的提问来源于stack exchange，提问作者Troy Daniels