试图理解Scala解析器的函数签名，例如def rep [T]（p：=＆gt; Parser [T]）：解析器[List [T]]

Question

在以下Parser定义中

def  rep[T](p: => Parser[T]): Parser[List[T]]

我看到参数是一个函数。 p:之后没有类型，那么它的类型是什么？

由于

巴苏

Answer 1

p实际上不是一个函数。类型描述中的前缀=>表示参数按名称传递。基本上，只有在方法中使用它才会进行评估，并且每次评估它在方法中使用。有关详细信息，请参阅我的回答here。

Answer 2

如果我在这里错了，有人纠正我，但我相信使用by-name参数，类型是返回类型，在这种情况下，Parser [T]

基本上你所看到的（返回类型）是你传递给它的东西