Scala中的异构列表；使用map函数

Question

3

所以问题在于理解 shapeless 库的 HLists https://github.com/milessabin/shapeless ；我正在使用 HLists 存储一些函数，例如：

val list = HList(
    function1(_),
    function2(_),
    ....
    functionn(_)
);

它很完美地工作：我可以从列表中选择任何函数并应用它：list.head(object)

但是，我在使用map函数（list map mapFunc）时遇到了问题：

object mapFunc extends Poly1 {
  implicit def default[T] =
    at[T](t => {
      t(obj)
    })
}

它说“应用程序不接受参数”。那么我该怎么处理呢？也许我没有理解某些东西？我是Scala新手。

附注：构造函数有一个有趣的效果，这段代码构建有点不正确： function1（_）:: function2（_）:: HNil 被识别为某种类型的函数，但HList（function1（_），function2（_））具有正确的类型。

编辑：

“p.s.”已经解决 - function1（_）:: function2（_）:: HNil 确实有类型不匹配的问题;但是function1 _ :: function2 _ :: HNil 没问题！

- DaunnC

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Travis Brown · Accepted Answer

首先回答你的最后一个问题——你需要以HNil作为列表的结尾，而不是HList。因此，例如我们有以下内容：

def function1(s: String) = "foo " + s
def function2(s: String) = s.toInt
def function3(s: String) = s + " bar"

我们需要写如下内容：

val list = function1 _ :: function2 _ :: function3 _ :: HNil

::像Scala标准库（和其他语言）中的cons运算符一样，它将第一个参数（项目）添加到第二个参数（列表）的前面。

现在是你的第一个问题。鉴于我刚定义的HList，我们可以编写以下内容：

val obj = "13"

object mapFunc extends Poly1 {
  implicit def funcTo[T] = at[String => T](f => f(obj))
}

然后：

scala> (list map mapFunc) == "foo 13" :: 13 :: "13 bar" :: HNil
res0: Boolean = true

关键是你需要表示当映射元素是从字符串(或者你的对象类型)到某个值的函数时，这种情况是适用的。