Scala #2
2 likes794 views
Документ описывает основные концепции классов, трейтов и объектов в Scala, включая их создание, наследование и инициализацию. Он также рассматривает важные аспекты универсальных классов, параметров варианта, алиасов типов и их использование. Основное внимание уделяется различиям между классами и трейтов, а также методам обработки инициализации и переопределения свойств.
![Linearization
Линеаризация определяется поиском в
глубину начиная справа с удалением
дубликатов:
[D, C, A, B, A] => [D, C, B, A]
Семантика программы зависит от порядка
наследования!](https://image.slidesharecdn.com/scala2-140916053850-phpapp01/85/Scala-2-24-320.jpg)
Scala #2
- 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 Тоже, что и класс, но без конструкторов. Не может наследовать классы.
- 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 Можно изначальную проблему решить так:
- 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