Делать методы, заканчивающиеся на _! иметь особое значение в Scala?
У методов, заканчивающихся на _! такие как delete_! или же i_is_! иметь особое значение? Они "просто имена"? Они следуют некоторому соглашению? Там даже bulkDelete_!!, (Конкретный контекст - это Lift, если он имеет значение.)
3 ответа
Я не уверен, что такое соглашение об использовании _! а также _!! в Лифт, но здесь немного фона.
Любой буквенно-цифровой идентификатор может иметь _ и список добавленных символов, и при этом он может быть проанализирован как один идентификатор. Например:
scala> class Example_!@%*!
defined class Example_$bang$at$percent$times$bang
(На самом деле, вы можете анализировать почти все как идентификатор, если окружаете его обратными чертами - и это то, что вы делаете, если, например, класс Java использует зарезервированное слово Scala. Или если вы хотите использовать пробелы в идентификаторах.)
Однако компилятор распознает только одно символическое окончание. Если есть метод, который выглядит как метод получения, то метод getter_= будет интерпретироваться как метод установки. (Независимо от того, используете ли вы его как установщик, это зависит от вас; в любом случае он будет иметь семантику установщика.)
scala> class Q { def q = "Hi"; def q_=(s: String) { println(s.reverse) } }
defined class Q
scala> val q = new Q
q: Q = Q@b5c12e
scala> q.q
res0: java.lang.String = Hi
scala> q.q = "Could use this to set something"
gnihtemos tes ot siht esu dluoC
Кроме того, компилятор меняет порядок вызывающего и вызываемого в любом методе, который заканчивается :, Это чаще всего видно в списках: newElement :: existingList на самом деле вызов existingList.::(newElement), Так, например:
scala> object Caps { def to_:(s: String) = s.toUpperCase }
defined module Caps
scala> "Example" to_: Caps
res40: java.lang.String = EXAMPLE
Любое другое использование _ + символы это условность.
Там нет особых значений для! в именах Скала. В семье языков, основанных на Лиспе,! часто используется, чтобы указать, что функция имеет побочные эффекты, и это выглядит здесь соглашением.
До сих пор странно не упомянутое (хотя и не особо относящееся к вашему вопросу) является унарным_! который лечится специально.
scala> class A { def unary_! = 5 }
defined class A
scala> !(new A)
res0: Int = 5