在Scala中funcarg:type1,type2=> Future [Any]是什么意思?

问题描述

我在Scala中遇到了一些代码,例如:

 def props(factory: (TransactionId,String,ImageName,Boolean,ByteSize,Int,Option[ExecutableWhiskAction]) => Future[Container])

具有多个数据类型的参数factory意味着什么,Scala的此属性名称或定义是什么,又如何工作?

解决方法

def props(factory: (TransactionId,String,ImageName,Boolean,ByteSize,Int,Option[ExecutableWhiskAction]) => Future[Container])

让我们从外而内地解开这个定义。

def props(x: A)定义了一个名为props的函数或方法(取决于特定的上下文),该函数或方法采用类型x的参数A。在这种情况下,由于未定义结果类型(我们没有def props(x: A): B),因此编译器会推断结果类型。

然后我们可以展开:

  • xfactory。该参数绑定到factory
  • A(TransactionId,Option[ExecutableWhiskAction]) => Future[Container]

factory是与其他任何值一样的值。在这种情况下,(TransactionId,Option[ExecutableWhiskAction]) => Future[Container]只是另一种表达方式(此翻译由编译器执行):

Function7[TransactionId,Option[ExecutableWhiskAction],Future[Container]]

任何属于此类型实例的对象都可以传递给props。这种类型只有一种感兴趣的方法:

def apply(x1: TransactionId,x2: String,x3: ImageName,x4: Boolean,x5: ByteSize,x6: Int,x7: Option[ExecutableWhiskAction]): Future[Container]

此类型表示的是来自给定类型的7个参数的函数(为了简洁起见,我不再命名它们),结果为Future[Container]

简而言之,我们有一个将函数作为参数的函数/方法(出于我们的目的,这里没有区别,给出的代码没有说我们是在处理函数还是方法)。这使它成为高阶函数:在像Scala这样的语言中,函数是“一等”值,例如Int,高阶函数的使用几乎是无限的。

在这种情况下,这基本上意味着props函数/方法(或它委托的其他函数/方法)具有获取TransactionId,{{1} },StringImageNameBooleanByteSizeInt,而您Option[ExecutableWhiskAction]的呼叫者可以提供一种从这些值中选择props的方式,Future[Container]将(如果决定:就像任何函数一样,props可能会决定(例如某处是否有错误)使用您已传递的参数),如果需要props,请使用该参数。

如何创建Future[Container]

  • 您可以显式扩展它:
Function7

val x: Function7[...] = new Function7 {
  def apply(...): ... = ???
}
  • 在许多情况下,习惯上来说,您可以使用lambda表达式,编译器将其转换为与上述第一行代码非常相似的内容:
object MyFactory extends Function7[...] {
  def apply(...): ... = ???
}
  • 如果您有一个{ (x1: TransactionId,x7: Option[ExecutableWhiskAction]) => // some code that results in a `Future[Container]` } 对象,该对象的方法foo带有适当的参数并具有适当的结果
bar
,

好吧,我想我现在明白了。正如LuisMiguelMejíaSuárez所说,props将函数用作输入。经过进一步的研究,我发现factory只是Lambda函数props的模板作为输入。谢谢大家