Racket: Сравнение строк и символов, предикаты
Сравнение строк и строковых символов
Пусть заголовок вас не смущает: сравнить char
и string
не получится, ведь это разные типы!
Но и пару строк или пару строковых символов сравнить с помощью функций "=
" и "<"
не получится: в Racket эти функции работают только с числами. Чтобы соотносить между собой значения string
и char
в коде на Racket, вам нужно использовать функции с именами вида string=?
и char<?
или, проще говоря, "тип"+"оператор"+"?". И запомнить, и использовать эти функции довольно просто:
(char<? #\a #\b) ; #t
(char>? #\c #\b #\a) ; #t
(char=? #\a #\b) ; #f
(string<? "a" "b") ; #t
(string>? "c" "b" "a") ; #t
(string=? "a" "b") ; #f
Глядя на этот пример, вы и сами сможете догадаться, как работают функции string<=?
и char>=?
:)
Регистронезависимость
Упомянутые функции сравнивают строки и строковые символы буквально или, как говорят, лексикографически. Однако, при работе с текстом часто нужно сопоставлять строки без учёта регистра, или производить регистронезависимое сравнение (case-insensitive comparison). В Racket для каждой функции сравнения есть регистронезависимый вариант, имеющий суффикс -ci
("case-insensitive"):
(string=? "Apple" "apple") ; #f
(string-ci=? "Apple" "apple") ; #t
(char>? #\C #\b) ; #f
(char-ci>? #\C #\b) ; #t
Группы символов
Строковые символы могут быть буквами, цифрами, знаками препинания. Более того, буквы принадлежать разным алфавитам, часть из которых имеет разные регистры, к другим же данная концепция в принципе не применима. Получается, что некоторый строковый символ может принадлежать к одной или сразу к нескольким группам символов. Проверить принадлежность к основным группам символов можно с помощью набора предикатов с именами вида char-alphabetic?
и char-lower-case?
:
(char-alphabetic? #\a) ; #t
(char-alphabetic? #\u3BB) ; #t — "λ" это буква, пусть и греческая
(char-lower-case? #\a) ; #t
(char-lower-case? #\A) ; #f
Предикатов такого вида в Racket больше десятка, почитать обо всех вы сможете в документации.
Отдельных функций, которые бы проверяли, что все символы некоторой строки принадлежат к некоторой группе, Racket не предоставляет. Впрочем, организовать такую проверку довольно просто, если взять функцию andmap
, работающую со списками, и объединить со string->list
:
(andmap char-alphabetic? (string->list "asd")) ; #t
(andmap char-alphabetic? (string->list "r2d2")) ; #f
Если заменить andmap
на ormap
, то вместо проверки "все символы…" получится проверка на "хотя бы один символ…"!
Задание
Реализуйте два предиката, password-valid?
и password-good?
. Оба должны оценивать строку.
password-valid?
должна возвращать #t
, если строка состоит только из букв и цифр (char-alphabetic?
и char-numeric?
) и при этом имеет ненулевую длину.
password-good?
должна возвращать #t
, если строка содержит и буквы, и цифры, а длина строки не меньше восьми символов. И, разумеется, хороший пароль должен быть valid!