正規表現

正規表現は、形式言語理論における重要な概念です。正規表現は、文字列の無限集合（「言語」と呼ばれる）を記述する方法です。正規表現の核となるのは以下の機能です：

• その言語で使用できる「文字」の集合。これは「アルファベット」と呼ばれます。
• 連結: ab は「文字 a に続く文字 b」を意味しています。
• 論理和: a|b は「a か b のどちらか」を意味しています。
• クリーネスター: a* は「0文字以上の a 文字」を意味しています。

有限のアルファベット（英語のアルファベット 26 文字や Unicode 文字集合全体など）とみなされると、すべての正規言語は上記の機能によって生成することができます。もちろん、多くのパターンはこの方法で表現するのはとても面倒なので (「10 桁の数字」や「空白文字ではない文字」など)、JavaScript の正規表現には下記に紹介するような多くの略記法が含まれています。

正規表現は通常、パターンをスラッシュ (/) で囲んでリテラルとして作成します。

const regex1 = /ab+c/g;

正規表現は RegExp() コンストラクターで作成することもできます。

const regex2 = new RegExp("ab+c", "g");

実行時の違いはありませんが、パフォーマンス、静的解析性、およびエスケープ文字のオーサリングの人間工学的な課題に影響を持つことができます。詳しい情報は RegExp を参照してください。

フラグは、正規表現が解釈される方法や入力テキストとやりとりする方法を変更できる特別な引数です。各フラグは `RegExp`` オブジェクトの 1 つのアクセサープロパティに対応します。

以下の一覧は、利用できるすべての正規表現構文を、構文の性質ごとに分類したものです。

アサーションは、文字列が指定した位置で特定の条件を満たすかどうかを検査する構文です。アサーションは数量化できません。

入力境界アサーション: ^, $

現在の位置が入力の開始または終了であること、または m フラグが設定されている場合は、行の開始または終了であることを表します。

先読みアサーション: (?=...), (?!...)

現在の位置が特定のパターンの後に来ること、または来ないことを表します。

後読みアサーション: (?<=...), (?<!...)

現在の位置が特定のパターンの前に来ること、または来ないことを表します。

単語境界アサーション: \b, \B

現在の位置が単語境界であることを表します。

アトムは正規表現の最も基本的な単位です。各アトムは文字列中の 1 つ以上の文字を「消費」し、照合に失敗するか、次のアトムでパターンの照合を続けかのどちらかです。

後方参照: \1, \2

その前でキャプチャグループに一致し、捕捉されたサブパターンに一致します。

キャプチャグループ: (...)

サブパターンに一致し、一致した情報を記憶します。

文字クラス: [...], [^...]

ある文字集合に含まれる、または含まれない文字と一致します。v フラグを有効にすると、可変長の文字列にも一致するように使用することができます。

文字クラスエスケープ: \d, \D, \w, \W, \s, \S

あらかじめ設定された文字集合に含まれる、または含まれない文字と一致します。

文字エスケープ: \n, \u{...}

リテラル形式では表現しにくい文字と一致します。

リテラル文字: a, b

特定の文字と一致します。

名前付き後方参照: \k<name>

その前で名前付きキャプチャグループに一致し、捕捉されたサブパターンに一致します。

名前付きキャプチャグループ: (?<name>...)

サブパターンに一致し、一致した情報を記憶します。このグループは、パターン内のインデックスではなく、独自の名前で識別することができます。

非キャプチャグループ: (?:...)

一致した情報を記憶することなく、サブパターンに一致します。

Unicode 文字クラスエスケープ: \p{...}, \P{...}

Unicode プロパティを指定します。v フラグを有効にすると、可変長の文字列にも一致するように使用することができます。

ワイルドカード: .

s フラグが設定されていない限り、改行以外の文字と一致します。

これらの機能はそれ自身はパターンを指定しませんが、パターンを構成するために使用します。

論理和: |

| 文字で区切られた選択肢の集合のいずれかと一致します。

修飾子: *, +, ?, {n}, {n,}, {n,m}

アトムに一定回数一致します。

正規表現における「エスケープシーケンス」とは、\ の後に 1 つ以上の文字が続くことで形成される構文のことを指します。以下は有効なエスケープシーケンスの一覧です。

\ \ に他の数字が続くと古い 8 進数のエスケープシーケンスになり、Unicode 対応モードでは禁止されています。

加えて、\ には一部の記号や数字を続けることができ、この場合、エスケープシーケンスは常にエスケープされる文字自身を表す文字エスケープとなります。

• \$, \(, \), \*, \+, \., \/, \?, \[, \\, \], \^, {, \|, }: valid everywhere
• \-: 文字クラスの中でのみ有効
• \!, \#, \%, \&, \,, \:, \;, \<, \=, \>, \@, \`, \~: v モード文字クラスの中でのみ有効

他にも ASCII 文字、すなわち空白文字、"、'、_、そして上記以外の文字は有効なエスケープシーケンスではありません。Unicode 非対応モードでは、上記のいずれでもないエスケープシーケンスは識別エスケープとなり、バックスラッシュに続く文字を表します。例えば、\a は文字 a を表します。この動作は、後方互換性の課題を発生させることなく新しいエスケープシーケンスを導入する能力を制限するため、Unicode 対応モードでは禁止されています。

• 正規表現ガイド
• RegExp