Question

假设我有一个带有这样签名的函数：

 def tsadd(key: Any, time: Double, value: Any)(implicit format: Format): Option[Int]

我想创建一些包含这些函数的列表供以后评估。我该怎么做。我尝试创建一个列表：

val pipelineCmds:List[(String,Double,Any)(Format) => Option[Int]] = Nil

并且这样做：

pipelineCmds ++ r.tsadd(symbol, timestamp.getMillis.toDouble, value)

但是val对隐式参数格式没有很好的反应。它希望看到第一组parens后的一个]。

最终目标是做一些像

这样的事情

r.pipeline { p => 
  pipelineCmds.foreach(c => p.c)
}

非常感谢任何帮助！

Answer 1

据我所知，具有隐式参数的函数很烦人。适当的类型是（您的选择）：

(String, Double, Any) => Format => Option[Int]    // As written
Format => (String, Double, Any) => Option[Int]    // Conceptually works more like this
String => Double => Any => Format => Option[Int]  // Completely curried
(String, Double, Any, Format) => Option[Int]      // Closest to how the JVM sees the method

但该功能的部分应用效果不佳。您可以烦恼地注释所有类型以获取最新版本：

class Format {}   // So the example works
def tsadd(s: String, d: Double, a: Any)(implicit f: Format): Option[Int] = None
scala> tsadd(_: String, _: Double, _: Any)(_: Format)
res2: (String, Double, Any, Format) => Option[Int] = <function4>

但是要把自己写成你想要的任何形状并不困难：

def example(f: Format => (String, Double, Any) => Option[Int]) = f
scala> example(f => { implicit val fm=f; tsadd _ })
res3: (Format) => (String, Double, Any) => Option[Int] = <function1>

当然，如果您在创建列表时已经知道隐含值，则只需要类型

(String, Double, Any) => Option[Int]

并指定类似

的功能

tsadd _

Answer 2

scala> val pipelineCmds:List[(String,Double,Any) => Format => Option[Int]] = Nil
pipelineCmds: List[(String, Double, Any) => (Format) => Option[Int]] = List()

但请注意，“隐含性”会从函数值中丢失，您必须明确传入格式。

Answer 3

正如评论中提到的@pst，即使您声明了相应类型的列表，我也不知道您如何为其分配任何内容。

一种解决方案是使用：

def tsadd(key: Any, time: Double, value: Any, format: Format): Option[Int]

带有明确的format参数。您可以像往常一样将这些tsadd函数放在List[...]中。然后获取您想要的implicit format行为，将其添加到包装器中：

def invoke_tsadd(list_selector: Whatever, key: Any, time: Double, value: Any)(implicit format: Format): Option[Int] =
    selected_from_your_list(list_selector).tsadd(key, time, value, format)

什么是隐式函数的“类型”？

3 个答案: