Определение типа и переопределение

Question

Я довольно новичок в Scala, и часть моего проекта закончилась следующим дизайном.

trait StringService { 
    def length(s: String): Int 
    def vowels(s: String): Int 
} 

Эти методы используются в качестве параметров

def processStrings(operation: String => Int) = {...} 

звонки как processStrings(ss.length) работают отлично. Теперь я хотел бы абстрактные типа этих методов

type StringFuction = String => Int 

Проблема заключается в том, что реализация как

override def length(s: String): Int = { ... } 

больше не действует. Конечно, я могу пойти с

override def length: StringFunction = { (s: String) => ... } 

но это кажется немного выключенным. Каков правильный путь? Пожалуйста, не стесняйтесь предлагать другой дизайн, если это не настоящий подход Scala.

Answer 1

Ну, есть разные способы сделать это, в зависимости от цели, для которой вы хотите использовать свой псевдоним типа. Это работает, например:

type StringFunction = String => Int 
trait Foo { def foo(s: String) = ??? } 
class Bar extends Foo { 
    def foo(s: String) = s.length 
} 

def foobar(f: StringFunction)(s) = f(s) 

foobar(new Bar().foo)("bar") 

Это тоже работает:

type StringFunction = String => Int 
trait Foo { def foo: StringFunction = ??? } 
class Bar extends Foo { 
    override def foo = _.length 
} 


def foobar(f: StringFunction)(s) = f(s) 
foobar(new Bar().foo)("bar") 

Строго говоря, это не одни и те же конструкции: в первом случае Foo.foo является метод, который принимает строковый аргумент и возвращает Int. Во втором случае это метод, который не принимает аргументов и возвращает лямбда-функцию, которая принимает аргумент String и возвращает Int.

Эта разница довольно тонкая, хотя. Это имеет значение для некоторых конкретных случаев, но часто их можно игнорировать.