# 使用正則表達式

正則表達式是一種用于匹配和提取字符串各部分的語法。

`/regex/flags`

在哪里：

* `regex`- 正則表達式
* `flags`- 可選地，以下之一或兩者：
  * `i`- 忽略大小寫
  * `m`- 多行匹配

## 使用正則表達式的函數

有許多函數可以使用正則表達式作為參數

* [$ 匹配（）] )
* [$ 包含()]()
* [$split()]()
* [$replace()]()

**示例**

## 查詢謂詞中的正則表達式

在選擇包含匹配字符串屬性的對象時，正則表達式通常用于查詢謂詞（過濾表達式）。為此，可以使用以下簡寫符號：

`path.to.object[stringProperty ~> /regex/]`

是 `~>` 鏈式[運算符]()，在這里使用它意味著的結果 `/regex/` 是一個函數。我們將在下面看到事實確實如此。

**示例**

`Account.Order.Product[`Product Name` ~> /hat/i ]`

將匹配所有名稱中包含“hat”的產品。

## 通用匹配器

類型系統基于 JSON 類型系統，并添加了函數類型。為了將正則表達式作為獨立表達式，語法 `/regex/` 求值為函數。可以將 `/regex/` 語法視為高階函數，求值后將產生“匹配函數”。`regex` 斜杠之間的是此 HOF 的參數，返回的函數在應用于*其*字符串參數時將返回一個結構，其中包含已匹配的字符串部分的詳細信息。如果沒有匹配，則返回空序列（即 JavaScript `undefined`）。

**例子**

`$matcher := /[a-z]*an[a-z]*/i`

正則表達式的求值返回一個函數，該函數已綁定到變量 `$matcher`。稍后，該 `$matcher` 函數在字符串上調用：

`$matcher('A man, a plan, a canal, Panama!')`

這將返回以下對象（JSON，但也具有函數屬性）：

```
{
  "match": "man",
  "start": 2,
  "end": 4,
  "groups": [],
  "next": "<native function>#0"
}
```

這包含此著名回文中第一個匹配的子字符串的信息，具體來說：

* `match`- 原始字符串中與正則表達式匹配的子字符串
* `start`- 原始字符串中匹配子字符串的起始位置（零偏移量）
* `end`- 匹配子字符串在原始字符串中的結束位置
* `groups`- 如果在正則表達式中使用捕獲組，則此數組包含每個組捕獲的文本的字符串
* `next()`- 當調用時，將返回任何匹配子字符串的第二次出現的詳細信息（依此類推）。

在此示例中，調用 `next()` 將返回：

```
{
  "match": "canal",
  "start": 17,
  "end": 22,
  "groups": [],
  "next": "<native function>#0"
}
```

依此類推，直到最終返回空序列。

## 編寫自定義匹配器

我們已經知道，正則表達式語法只是一個函數生成器，生成的“匹配器”函數的簽名和返回結構定義明確。四個正則表達式感知函數（`$match`、`$contain`、`$split`、`$replace`）只是在實現過程中調用此函數。除此之外，它們并不知道這些匹配器函數是由正則表達式語法生成的。

因此，只要符合此約定，就可以編寫任何用戶定義的匹配器函數。這可以作為 lambda 函數或（更可能）作為擴展函數來完成。然后可以將其傳遞給這四個“正則表達式感知”函數，它們將使用自定義匹配器而不是正則表達式進行搜索。

9、正則表達式