layout | title | next |
---|---|---|
post |
Основы |
basics2.textile |
В этом уроке вы узнаете:
В первые несколько недель вы узнаете об основах синтаксиса и основных идеях, заложенных в язык Scala. Позже мы начнем раскрывать подробности на примерах.
Некоторые примеры будем писать прямо в интерпретаторе, другие в исходном файле.
Имея под рукой интерпретатор можно легко исследовать проблемы.
- Выразительность
- Функции первого класса
- Замыкания
- Краткость
- Вывод типов
- Буквенный синтаксис для создания функции
- Взаимодействие с Java
- Можно использовать Java библиотеки
- Можно использовать Java инструменты
- Нет потерь производительности
- Компиляция в байт-код Java
- Работает с любой стандартной JVM
- Или даже с некоторыми нестандартными JVM, например Dalvik
- Компилятор Scala написан автором компилятора Java
Scala лучше Java в некоторых аспектах. Перед тем как начинать изучать язык Scala, очистите свой разум, из этого выйдет больше толку.
Наберите в консоли sbt console
.
$ sbt console [...] Welcome to Scala version 2.8.0.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_20). Type in expressions to have them evaluated. Type :help for more information. scala>
scala> 1 + 1 res0: Int = 2
res0 – автоматически создаваемое имя для переменной, которое интерпретатор дает результату вашего выражения. Переменная имеет тип Int и содержит целочисленное значение 2.
Все (ну, почти) в Scala – выражение.
Вы можете присвоить собственное имя результату выражения.
scala> val two = 1 + 1 two: Int = 2
Для переменной с ключевым словом val вы не можете изменить ранее присвоенное значение.
Если вам нужно изменить значение константы, вы должны использовать ключевое слово var
scala> var name = "steve" name: java.lang.String = steve scala> name = "marius" name: java.lang.String = marius
Вы можете создать функцию с помощью ключевого слова def.
scala> def addOne(m: Int): Int = m + 1 addOne: (m: Int)Int
В Scala, вам нужно точно указывать тип, который принимает переменная в параметрах функции. К счастью, интерпретатор возвращает используемый фукнцией тип обратно.
scala> val three = addOne(2) three: Int = 3
Вы можете опускать скобки при использовании функций, если они не имеют аргументов.
scala> def three() = 1 + 2 three: ()Int scala> three() res2: Int = 3 scala> three res3: Int = 3
Вы можете создавать анонимные функции.
scala> (x: Int) => x + 1 res2: (Int) => Int = <function1>
Эта функция увеличит на 1 значение, которое было передано в анонимную функцию; значение именуется как x.
scala> res2(1) res3: Int = 2
Вы можете передавать анонимные функции как параметры или сохранять их в переменных.
scala> val addOne = (x: Int) => x + 1 addOne: (Int) => Int = <function1> scala> addOne(1) res4: Int = 2
Если ваша функция состоит из множества выражений, вы можете использовать фигурные скобки {}, чтобы обезопасить себя.
def timesTwo(i: Int): Int = { println("hello world") i * 2 }
Тоже самое верно и для анонимной функции
scala> { i: Int => println("hello world") i * 2 } res0: (Int) => Int = <function1>
Вы часто будете видеть подобный синтаксис при передачи анонимной функции в качестве параметра.
Вы можете использовать частичный вызов функций, обозначаемый знаком нижнего подчеркивания(_), этот знак позже будет подменен вызовом функции.
scala> def adder(m: Int, n: Int) = m + n adder: (m: Int,n: Int)Int
scala> val add2 = adder(2, _:Int) add2: (Int) => Int = <function1> scala> add2(3) res50: Int = 5
Вы можете использовать частичный вызов функций с любым аргументом из списка аргументов, а не только с последним из них, как в примере.
Иногда требуется передача каких-то аргументов в вашу функцию прямо сейчас, а других через некоторое время.
Ниже пример функции, которая позволяет умножать два числа. В одном месте вызова функции вы решите, какой из аргументов будет множителем, а позднее вызывая функцию, вы сможете установить множимое.
scala> def multiply(m: Int)(n: Int): Int = m * n multiply: (m: Int)(n: Int)Int
Вы можете вызвать функцию напрямую с двумя аргументами.
scala> multiply(2)(3) res0: Int = 6
Вы можете передать первый аргумент, а второй аргумент объявить как частично вызываемый.
scala> val timesTwo = multiply(2) _ timesTwo: (Int) => Int = <function1> scala> timesTwo(3) res1: Int = 6
Вы можете взять любую функцию с множеством аргументов и произвести ее каррирование. Давайте попробуем использовать функцию, которую рассматривали раньше, например adder
scala> (adder _).curried res1: (Int) => (Int) => Int = <function1>
См. подробнее о Каррировании
Существует специальный синтаксис для методов, которые могут принимать параметры одного и того же типа.
def capitalizeAll(args: String*) = { args.map { arg => arg.capitalize } }
scala> class Calculator { | val brand: String = "HP" | def add(m: Int, n: Int): Int = m + n | } Здесь мы объявили класс Calculator scala> val calc = new Calculator calc: Calculator = Calculator@e75a11 scala> calc.add(1, 2) res1: Int = 3 scala> calc.brand res2: String = "HP"
В примере объявляется метод и поле с ключевым словом val. Методы – это функции, которые имеют доступ к внутренним сущностям класса.
Конструкторы не являются специальными методами, их код находится в классе за пределами определения метода. Давайте расширим наш пример с калькулятором. Будем принимать аргумент конструктора и использовать его для инициализации внутреннего состояния.
class Calculator(brand: String) { /** * Конструктор. */ val color: String = if (brand == "TI") { "blue" } else if (brand == "HP") { "black" } else { "white" } // Метод экземпляра класса. def add(m: Int, n: Int): Int = m + n }
Обратите внимание на два различных способа написания комментариев.
На�� пример с калькулятором дает хороший пример того, как Scala ориентирован на выражения (expression-oriented). Значение переменной color было присвоено благодаря if/else выражению. Scala сильно ориентирован на выражения: большинство вещей делается с помощью выражений, а не утверждений.
class ScientificCalculator(brand: String) extends Calculator(brand) { def log(m: Double, base: Double) = math.log(m) / math.log(base) }
Смотрите также: В Effective Scala указывается на то, что лучше использовать Псевдонимы типов вместо extends
, особенно если подкласс практически ничем не отличается от суперкласса. В “Туре по языку Scala” вы найдете более подробное описание Подклассов.
class EvenMoreScientificCalculator(brand: String) extends ScientificCalculator(brand) { def log(m: Int): Double = log(m, math.exp(1)) }
Трейты
– это коллекция полей и методов, которые вы можете расширить или примешать к вашему классу.
trait Car { val brand: String }
class BMW extends Car { val brand = "BMW" }
Смотрите также: В Effective Scala есть описание Трейтов.
Ранее вы могли видеть, что мы определили функцию, принимающая тип Int
, который является одним из видов Number. Функция может быть объявлена как обобщенная (generic) и после этого может работать с любым типом. Когда объявлена такая функция, вы увидите
параметр-типразмещенный внутри квадратных скобок:
Вы можете думать о них, как о множестве параметров-типов. Рассмотрим пример трейта Кэш (Cache), который принимает параметры-типы (K, V) для ключей и их значений.
trait Cache[K, V] { def get(key: K): V def put(key: K, value: V) def delete(key: K) }
Методы тоже могут иметь параметры-типы
def remove[K](key: K)