Строки и регулярные выражения

Строки — это неизменяемые примитивы. Ни метод, ни присваивание по индексу не меняют существующую строку на месте — методы вроде toUpperCase, slice и replace возвращают совершенно новую строку и оставляют оригинал нетронутым. Запись str[0] = 'x' молча ничего не делает (она бросает ошибку только в строгом режиме). Чтобы «изменить» строку, переменную переприсваивают новому значению.

Шаблонные литералы — это строки в обратных кавычках ` ` вместо обычных. Они поддерживают интерполяцию: любое выражение внутри ${...} вычисляется и его результат вставляется в строку. Они также изначально многострочные — перенос строки в исходнике становится \n` в значении, без конкатенации и экранирования.

Регулярное выражение — это шаблон, описывающий набор строк, для поиска, проверки или замены текста. Литерал вроде /abc/i разбирается один раз при загрузке скрипта, поэтому подходит для фиксированных шаблонов. new RegExp('abc', 'i') строит тот же шаблон из строки во время выполнения, что нужно для динамических шаблонов — но обратные слеши тогда надо удваивать.

slice(start, end) и substring(start, end) возвращают подстроку между двумя индексами. indexOf(sub) возвращает первую позицию подстроки или -1, если её нет. toUpperCase() возвращает строку в верхнем регистре. trim() возвращает её без пробелов по краям. Все возвращают новые строки; ни один не меняет оригинал.

includes(sub) возвращает true, если подстрока встречается где угодно. startsWith(sub) и endsWith(sub) возвращают true только в начале или конце. indexOf(sub) возвращает первый индекс подстроки или -1, если её нет, поэтому indexOf(sub) !== -1 — это старая булева проверка. Все чувствительны к регистру и принимают необязательный аргумент позиции.

g (global) находит все совпадения, а не останавливается на первом. i делает сопоставление нечувствительным к регистру. m (multiline) заставляет ^ и $ срабатывать на переносах строк, а не только на концах строки. s (dotAll) позволяет . совпадать с переносами. u включает полный режим Unicode и кодовых точек. y (sticky) привязывает каждое совпадение ровно к lastIndex. Флаги идут после закрывающего слеша, например /abc/gi.

test и exec вызывают на регулярке: test(str) возвращает булево, exec(str) — один массив совпадения (или null) и сдвигает lastIndex при g. match, matchAll, replace и search вызывают на строке: match возвращает совпадения или группы, matchAll — итератор всех совпадений, replace заменяет, а search возвращает первый индекс или -1.

=== и </> сравнивают строки лексикографически по кодовым единицам UTF-16, поэтому порядок идёт по их номерам — заглавные сортируются раньше строчных, а буквы с диакритикой попадают странно. localeCompare вместо этого сравнивает по правилам локали, возвращая отрицательное, нулевое или положительное число. Для сравнения без учёта регистра приводят обе стороны к нижнему регистру или передают { sensitivity: 'base' } в localeCompare.

slice(start, end) и substring(start, end) оба берут начальный и конечный индекс, но slice трактует отрицательные индексы как смещение от конца, а substring приводит любой отрицательный аргумент к 0. substring также меняет аргументы местами, если start > end; slice этого не делает и возвращает ''. Устаревший substr(start, length) берёт длину, а не конечный индекс — предпочитайте slice.

Тегированный шаблон — это вызов функции вида ` tag... . Тег-функция получает массив литеральных кусков строки первым аргументом, а интерполированные значения ${...} — остальными аргументами, что позволяет обработать или экранировать ввод до сборки вывода. У массива строк также есть свойство .raw с каждым куском без интерпретации escape-последовательностей, как использует String.raw`.

Скобки создают группы захвата, возвращаемые после полного совпадения. Квантификаторы вроде + и * жадные — захватывают максимум и откатываются; добавление ? (+?, *?) делает их ленивыми, захватывая минимум. Регулярка с флагом g имеет состояние: exec/test продолжают с изменяемого lastIndex, поэтому повторное использование одного общего экземпляра пропускает совпадения. matchAll обходит это, итерируя чисто.

Строки в JS — это последовательности кодовых единиц UTF-16, и .length считает кодовые единицы, а не символы. Астральный символ вроде эмодзи — это суррогатная пара из двух кодовых единиц, поэтому '😀'.length равно 2, а индексация его разрезает. Spread, for...of и Array.from перебирают по кодовым точкам и сохраняют его целым. normalize() приводит эквивалентные формы (например, é составную и разложенную) перед сравнением.