Практические примеры использования символов в Scala?

Думаю, Scala добавила их, потому что их используют функциональные языки.

Однако они забыли добавить возможность ссылки на идентификатор через символ, что является своего рода центральной точкой их существование. В Scala 2.8 есть экспериментальная функция, которая дает кое-что из этого. Я процитирую соответствующую часть документации API полностью:

@experimental

object Invocation 
extends AnyRef

Более удобный синтаксис для рефлексивного вызова. Пример использования:

    class Obj { private def foo(x: Int, y: String): Long = x + y.length }

Вы можете вызвать его рефлексивно одним из двух способов:

    import scala.reflect.Invocation._
    (new Obj) o 'foo(5, "abc")                 // The 'o' method returns Any
    val x: Long = (new Obj) oo 'foo(5, "abc")  // The 'oo' method casts to expected type.

Если вы вызовете метод oo и не предоставите инструменту вывода типов достаточно помощи, он, скорее всего, выведет Ничего , что приведет к исключению ClassCastException .

Автор Пол Филлипс

Я полагаю, вы могли бы использовать их, когда хотите сослаться на имя предмета, который не существует в коде идентификатора. В книге Scala приводится пример ссылки на имя столбца базы данных - это не произвольная строка, это на самом деле имя объекта.

Это немного неубедительно, но я не совсем уверен.

Я считаю, что сравнение символов происходит быстрее. Если вы использовали Erlang, символы используются очень часто при передаче сообщений, и вам нужно что-то дешевое и быстрое, которое хорошо работает через границы машины. Я не уверен, в каком состоянии находятся удаленные акторы в Scala, IIRC, они были довольно хитрыми, но в будущем, когда они будут на месте, символы могут быть очень полезны во многом так же, как и в Erlang. Кроме того, классы регистра, некоторые преимущества не так очевидны, опять же, символы все еще дешевле.

Согласно книге Scala, символы интернированы: « Если вы напишите один и тот же символ дважды, оба выражения будут относиться к одному и тому же объекту Symbol . "

Напротив, String s интернируются только в том случае, если они появляются в буквальной форме (по крайней мере, в Java, они не совсем уверены в Scala). Так что, я думаю, если вы много сериализуете String , которые затем помещаются в коллекции, вы можете вместо этого использовать символы и сэкономить себе немного памяти.

Но я согласен со skaffman, я не полностью убеждены в их использовании.

(В Ruby, Symbol , помимо приведенного вами примера метапрограммирования, часто используются в качестве ключей в Hash es. В Ruby это полезно, потому что там String никогда не интернируются: каждая Строка выделяет новую память. В Scala это может быть полезно, как я уже упоминал, если вы объедините его с большим количеством (де) сериализации, чтобы строки Java String также не интернировались.)

Поискав немного в Интернете, кажется, что смысл символов (символьных литералов) в (таком языке, как) Scala в сравнении со строками - это вопрос семантики и, возможно, даже осведомленности компилятора.

"Строка" - это тип данных, состоящий из последовательности символов. Вы можете оперировать со строками и таким образом манипулировать ими. Семантически строки могут быть любыми текстовыми данными, от имени файла до сообщения для вывода на экран, строки в CSV-файле или чего угодно.

Для компилятора - и, соответственно, IDE - строки являются значениями типа данных String, как числа (последовательности цифр) являются значениями типа данных, скажем: Integer . На уровне программы нет никакой разницы между "foo" и "bar".

Символы же являются идентификаторами, т.е. семантически идентифицируют элемент в программе. В этом отношении они похожи на имена классов, имена методов или имена атрибутов. Но если имя класса идентифицирует класс - т.е. набор свойств, объявляющих структуру и поведение класса, а имя метода идентифицирует метод - т.е. параметры и утверждения, то имя символа идентифицирует символ - т.е. его самого, не более того.

Таким образом, компилятор может явно различать символы 'foo и 'bar, как он различает классы Foo и Bar. Как часть таблицы символов компилятора, вы можете применить те же механизмы в IDE, например, для поиска использования 'foo (т.е. ссылок на этот символ), как вы ищете использование класса Foo.

Для сравнения, поиск строки "foo" потребует других подходов, например, полнотекстового сканирования. Это соответствует той же семантике, что и поиск всех вхождений символа 4711 в программном коде.

Вот как я это понимаю, кто-то может поправить меня, если я ошибаюсь.