scala – 对无形HList内容的类型推断

发布时间：2020-12-16 09:50:18 所属栏目：安全来源：网络整理

导读：这个例子很简单. 我有一组像这样的类： case class KeyMapping[KeyType](k:KeyType)class WrappedMapping[KeyType](m:T forSome {type T : KeyMapping[KeyType]}) { val k:KeyType = ???} 在以下代码中,正确推断了类型： val w = new WrappedMapping(KeyMapp

这个例子很简单.

我有一组像这样的类：

case class KeyMapping[KeyType](k:KeyType)

class WrappedMapping[KeyType](m:T forSome {type T <: KeyMapping[KeyType]}) {
  val k:KeyType = ???
}

在以下代码中,正确推断了类型：

val w = new WrappedMapping(KeyMapping("key"))

 //The statement below gives the correct error
 //type mismatch; 
 //  found : w.k.type (with underlying type String)  required: Nothing
 //val test1:Nothing = w.k

我不知道如何正确推断以下类型：

class Mappings[KeyType,L <: HList](mappings:L) {
  val k:KeyType = ???
}

val m = new Mappings(KeyMapping("key1") :: KeyMapping("key2") :: HNil)

// should not compile,k should be of type String
val test2:Nothing = m.k

有没有办法可以根据HList的内容推断KeyType？

解决方法

Shapeless提供了一个隐式的ToList,毫不奇怪,它将HLists转换为Lists.

为了做到这一点,它必须首先计算HList中类型的LUB(最小上限),这是你可以使用的东西：

import shapeless.ops.hlist.ToList

class Mappings[L <: HList,Lub](mappings:L)(implicit toList: ToList[L,Lub]) {
  ...
}

L进入,隐式解决方案发现由L限制的一个(且唯一的)有效ToList实例,其中Lub类型被拉出.

这还不够,因为Lub将是KeyMapping [String],而你想要的只是String部分.像往常一样没有形状,解决方案是添加另一个隐含的：

class Mappings[L <: HList,Lub,KeyType](mappings:L)(
  implicit
  val toList: ToList[L,Lub],val kt: Lub <:< KeyMapping[KeyType]
) {
  val k: KeyType = null.asInstanceOf[KeyType]
}

(隐含不需要是vals,但如果你在REPL中探索东西时它会有帮助)

这断言的是Lub对应于KeyMapping [KeyType]类型(例如,它是一个子类型或完全相同的类型),其中KeyType尚未知.同样,指定的约束只有一个有效的解决方案,KeyType参数被拉出为String.

我不知道你打算如何实现k,但你可能会发现有这个toList实例可以帮助你这样做,因为它允许你现在调用mappings.toList

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!