如何解决在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
),因此编译器会推断结果类型。
然后我们可以展开:
-
x
至factory
。该参数绑定到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} },String
,ImageName
,Boolean
,ByteSize
和Int
,而您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
的模板作为输入。谢谢大家
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。