_ должен следовать методу

Question

Упрощенно, из более сложной программы:

scala> type T = (String) => String
defined type alias T

scala> def f(s: String) = s + " (parsed)" 
f: (s: String)java.lang.String

scala> f _
res0: (String) => java.lang.String = <function1>

scala> def g(func: T) = func _    
<console>:6: error: _ must follow method; cannot follow (String) => String
       def g(func: T) = func _
                    ^

Я не очень понимаю, почему это не работает. В чем разница между методом и чем-то в форме (Type1, Type2 ...) => Type и как правильно получить частичную функцию из чего-то подобного?

Answer 1

В Scala есть разница между методами и функциями. Методы всегда принадлежат объекту, но функции являются объектами. Метод m может быть преобразован в функцию с помощью m _

См. Разница между методом и функцией в Scala

Answer 2

scala> def g(func: String => String) = func(_)
g: (func: (String) => String)(String) => String

Скобки имеют все значение.Это одна из хитрых вещей в связывании _;его можно использовать для поднятия метода до замыкания, и его можно использовать для частичного применения, но эти два использования не совпадают!

Answer 3

это то, что вы пытаетесь сделать?

scala> def g(func: T) = func
g: (func: (String) => String)(String) => String

scala> g(f)("test")
res8: String = test (parsed)

Answer 4

Я думаю, что вы ищете это: http://jim -mcbeath.blogspot.com / 2009/05 / scala-functions-vs-method.html