1. Classes in Scala

2. Class types
● class
● trait: class without constructors
● object: singleton class

3. Primary constructor
Есть главный конструктор, который будет
всегда вызван:

4. Primary constructor
С модификатором доступа:

5. Super call
Класс может наследовать ровно один другой
класс:

6. Trait implementation
Все остальное записывается через with:

7. Trait implementation
Базовый класс даже и не нужен:

8. Class body
Тело класса записывается сразу после
списка наследования:

9. Constructor body
Телом конструктора является тело класса:

10. Property
Объявление val/var в классе - свойство:

11. Property

12. Property
Значит свойства могут переопределять
методы и их можно переопределить другим
свойством:

13. Constructor property
Можно объявлять прямо в конструкторе:

14. Constructor property
Если при этом что-то переопределяем:

15. Override
Модификатор требуется всегда при
переопределении. При имплементации он
опционален:

16. Functions
Возвращаемое значение можно опустить.
Фигурные скобки не обязательны:

17. Currying
Можно определять несколько списков
параметров:

18. Secondary constructor
Функция с именем this:

19. Secondary constructor
Конструкторы образуют дерево.

20. Traits
Тоже, что и класс, но без конструкторов. Не
может наследовать классы.

21. Trait in bytecode

22. Multiple inheritance
Классическая проблема:

23. Linearization
Определяет порядок наследования

24. Linearization
Линеаризация определяется поиском в
глубину начиная справа с удалением
дубликатов:
[D, C, A, B, A] => [D, C, B, A]
Семантика программы зависит от порядка
наследования!

25. Initialization
Линеаризация также задает порядок
инициализации в обратном направлении.

26. Early definitions
Можно определить переменные до вызова
суперконструктора:

27. Early definitions
Это решает проблему инициализации:

28. Lazy val
Можно определить переменные, которые
будет вычислены лишь в момент первого
обращения:

29. Lazy val in bytecode

30. Lazy val init
Можно изначальную проблему решить так:

31. Objects
Синглтон класс:

32. Objects in bytecode

33. Generic classes
Записываются в квадратных скобках:

34. Bounds
На generics можно накладывать условия
снизу и сверху:

35. Variance (covariance)
Covariant type parameter:

36. Variance (contravariance)
Contravariant type parameter

37. Variance positions
Для таких generics определены правильные
позиции в классе:

38. Type aliases
Еще один возможный член класса:

39. Generic type alias
Можно упрощать типы при желании:

40. Abstract type alias
Можно не определять тип:
На что это похоже?

41. Type alias VS generics
Пример реализации с abstract type alias