Scala:为什么List [=> Int]不起作用？

Question

我一直在努力学习scala的来龙去脉,最近我遇到了一些我很好奇的东西.

据我所知,如果我想将一段有效延迟评估的代码传递给一个函数,(不进行现场评估)我可以输入:

def run(a: =>Int):Int = {...}

从这个意义上说,函数run接收一个尚待评估的代码块,它会对其进行求值并返回计算出的Int of.然后我尝试将这个想法扩展到List数据结构.打字:

def run(a: List[=>Int]) = {...}

但是,这会返回错误.我想知道为什么这是不允许的.除了通过这种语法,我可以如何传递未评估的代码块列表？

Answer 1

=>Int是名称参数的语法.=>Int不是类型,因此不能用作参数List.但是,()=>Int是一种类型.这是返回的nullary函数的类型Int.这样可行:

def run(a: List[()=>Int]) = {...}

Answer 2

by-name参数不是Scala中的第一类类型.

List[()=>Int]是解决方案之一.否则,您可以使用以下Lazy数据结构.