Полиморфные методы

Также как и у обобщенных классов, у методов есть полиморфизм по типу, с таким же синтаксисом (параметр типа указывается в квадратных скобках сразу после названия метода).

Вот пример:

def listOfDuplicates[A](x: A, length: Int): List[A] = { if (length < 1) Nil else x :: listOfDuplicates(x, length - 1) } println(listOfDuplicates[Int](3, 4)) // List(3, 3, 3, 3) println(listOfDuplicates("La", 8)) // List(La, La, La, La, La, La, La, La) 

def listOfDuplicates[A](x: A, length: Int): List[A] = if length < 1 then Nil else x :: listOfDuplicates(x, length - 1) println(listOfDuplicates[Int](3, 4)) // List(3, 3, 3, 3) println(listOfDuplicates("La", 8)) // List(La, La, La, La, La, La, La, La) 

Метод listOfDuplicates принимает параметр типа A и параметры значений x и length. Значение x имеет тип A. Если length < 1 мы возвращаем пустой список. В противном случае мы добавляем xк списку, которые возвращаем через рекурсивный вызовов. (Обратите внимание, что :: означает добавление элемента слева к списку справа).

В первом вызове метода мы явно указываем параметр типа, записывая [Int]. Поэтому первым аргументом должен быть Int и тип возвращаемого значения будет List[Int].

Во втором вызове показано, что вам не всегда нужно явно указывать параметр типа. Часто компилятор сам может вывести тип исходя из контекста или типа передаваемых аргументов. В этом варианте "La" - это String, поэтому компилятор знает, что A должен быть String.