代码之家 › 专栏 › 技术社区 › jamborta

从泛型生成无形状记录

shapeless generics scala

jamborta · 技术社区 · 7 年前

我有这个标准 Shapeless

case class KeyValue(key: String, value: Int)
val kv = KeyValue("key", 1)

def processCaseClass(p: KeyValue) = {
     val gen = LabelledGeneric[KeyValue] 
     gen.to(p)
}

但是,我不想使用case类的名称,而是想使用泛型,然而,以这种方式重写它是行不通的:

def processCaseClass[KV <: Product, L <: HList](p: KV) = {
     val gen = LabelledGeneric.Aux[KV, L] 
     gen.to(p)
}

如果我改变 gen 对于隐式参数,它工作正常。

1 回复 | 直到 7 年前

HTNW 7 年前

在中使方法泛型 T 让人摸不着头脑是如果 processCaseClass 不知道是什么 KV ,它没有机会对其结构进行足够的分析,以做出 LabelledGeneric[KV] ,产生隐式分辨率错误。通过使其成为隐式参数,您可以转移生成 LabelledGeneric PK 是

你的第一个定义是

def processCaseClass[KV <: Product, L <: HList](p: KV): Any // Signature of pCC
// Function body doesn't affect sig., aside from return type, so what you write is what you get
// A sig. is the only interface between a method and the world. This method doesn't
// say there's a relationship between KV and L in its signature, so there doesn't
// need to be one.

// Instantiate KV = (Int, Int), L = String :: String :: HNil, p = (5, 5)
val x = processCaseClass[(Int, Int), String :: String :: HNil]((5, 5))
// Perfectly valid to the compiler... but what is this supposed to do?

推荐文章

davidzxc574 · 将字符串缩放为字符

2 年前

yic_l · 什么是“!”在这个函数中是什么意思?

2 年前

Jelly · Scala:用于理解递归未来

2 年前

to.mane · Scala—如何使用接收对象作为参数的构造函数创建类

3 年前

bbgghh · 在scala中连接两个列表时如何处理不匹配的键

3 年前

OdiumPura · 使用JDBC(Sql server)查询tempview

3 年前

Iheb Mar · 卡夫卡制作人/消费者粉碎每一秒的API调用

3 年前

B. Bal · 在Scala中重用类成员

3 年前

RomanGoltsov · Scala、Cassandra、Quill、Need impl logget批处理模式

3 年前

S.Hashiba · 哪个名称空间是正确的,“com.typesafe.sbt”还是“com.github.sbt”?

3 年前