Tour of Scala

Обобщенные Классы

Language

Обобщенные классы (Generic classes) - это классы, обладающие параметрическим полиморфизмом (т. е. классы, которые изменяют свое поведение в зависимости от приписываемого им типа. Этот тип указывается в квадратных скобках [] сразу после имени класса). Они особенно полезны для создания коллекций.

Объявление обобщенного класса

Для объявления обобщенного класса необходимо после имени добавить тип в квадратных скобках [] как еще один параметр класса. По соглашению обычно используют заглавные буквы A, хотя можно использовать любые имена.

class Stack[A] {
  private var elements: List[A] = Nil
  def push(x: A) { elements = x :: elements }
  def peek: A = elements.head
  def pop(): A = {
    val currentTop = peek
    elements = elements.tail
    currentTop
  }
}

Данная реализация класса Stack принимает в качестве параметра любой тип A. Это означает что список, var elements: List[A] = Nil, может хранить только элементы типа A. Процедура def push принимает только объекты типа A (примечание: elements = x :: elements переназначает elements в новый список, созданный путем добавления xа к текущим elements).

Использование

Чтобы использовать обобщенный класс, поместите конкретный тип в квадратные скобки вместо A.

val stack = new Stack[Int]
stack.push(1)
stack.push(2)
println(stack.pop)  // выведет 2
println(stack.pop)  // выведет 1

Экземпляр stack может принимать только Intы. Однако, если тип имеет подтипы, то они также могут быть приняты:

class Fruit
class Apple extends Fruit
class Banana extends Fruit

val stack = new Stack[Fruit]
val apple = new Apple
val banana = new Banana

stack.push(apple)
stack.push(banana)

Классы Apple и Banana наследуются от Fruit так, что мы можем засунуть экземпляры Apple и Banana в пачку Fruit.

Примечание: подтипы обобщенных типов - *инвариантны*. Это означает, что если у нас есть стэк символов типа Stack[Char], то он не может быть использован как стек интов типа Stack[Int]. Это нежелательное поведение, потому как позволило бы нам добавлять в стек символов целые числа. В заключение, Stack[A] является подтипом Stack[B] тогда и только тогда, когда B = A. Поскольку это может быть довольно строгим ограничением, Scala предлагает механизм вариативного описания параметров типа для контроля за поведением подтипов.

Contributors to this page: