在Scala中func（arg：（type1，type2）=> Future [Any]）是什么意思？

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

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

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

然后我们可以扩展：

• x到factory。该参数绑定到factory。
• A 至 (TransactionId, String, ImageName, Boolean, ByteSize, Int, Option[ExecutableWhiskAction]) => Future[Container]

factory与其他任何值一样。在这种情况下，(TransactionId, String, ImageName, Boolean, ByteSize, Int, Option[ExecutableWhiskAction]) => Future[Container]这只是另一种说法（此翻译由编译器执行）：

Function7[TransactionId, String, ImageName, Boolean, ByteSize, Int, 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这样的语言中，函数是“一等”值，例如an Int，对高阶函数的使用几乎是无限的。

在这种情况下，这基本上意味着props功能/方法（或它委托的其他功能/方法）具有某种获取a TransactionId，a String，an ImageName，a Boolean，a ByteSize，anInt和an的方法，Option[ExecutableWhiskAction]而您（props可以是can的调用者）提供一种Future[Container]从这些值中选择的方法，props并将（如果它决定：就像任何函数一样，props可以决定（例如某个地方是否有错误）不使用您传递的参数），如果需要一个Future[Container]。

如何创建一个Function7？

• 您可以显式扩展它：

val x: Function7[...] = new Function7 {
  def apply(...): ... = ???
}

要么

object MyFactory extends Function7[...] {
  def apply(...): ... = ???
}

• 在许多情况下，更惯用的是，您可以使用lambda表达式，编译器将其转换为与上述第一行代码非常相似的内容：

{ (x1: TransactionId, x2: String, x3: ImageName, x4: Boolean, x5: ByteSize, x6: Int, x7: Option[ExecutableWhiskAction]) =>
  // some code that results in a `Future[Container]`
}

• 如果您有某个foo对象，该对象的方法带有bar适当的参数并具有适当的结果

foo.bar _