# 處理類型

## 類型系統(tǒng)

與所有函數(shù)式編程語(yǔ)言一樣，函數(shù)也是一等數(shù)據(jù)類型。 支持以下數(shù)據(jù)類型：

* string
* number
* Boolean
* null
* object
* array
* function

除最后一個(gè)之外，其余都與 JSON 相同。

## 序列

作為一種查詢語(yǔ)言，通過(guò)該語(yǔ)言，路徑表達(dá)式可以從 JSON 文檔中選擇零個(gè)、一個(gè)或多個(gè)值。這些值可以屬于上面列出的任何類型，并作為*結(jié)果序列*返回。在表達(dá)式求值過(guò)程中，子表達(dá)式的結(jié)果會(huì)被組合起來(lái)，或者成為其他子表達(dá)式的上下文輸入，此時(shí)序列會(huì)經(jīng)歷*序列扁平化*的過(guò)程。

序列展平規(guī)則如下：

1. **空序列**是沒有值的序列，被視為“無(wú)”或“無(wú)匹配”。它不會(huì)出現(xiàn)在任何表達(dá)式的輸出中。如果它與結(jié)果對(duì)象中的對(duì)象屬性（鍵/值）對(duì)相關(guān)聯(lián)，則該對(duì)象將不具有該屬性。
2. **單例序列**是包含單個(gè)值的序列。它被認(rèn)為等同于該值本身，并且任何表達(dá)式或子表達(dá)式的輸出都將是該值，沒有任何周圍結(jié)構(gòu)。
3. 包含多個(gè)值的序列在輸出中表示為 JSON 數(shù)組。這仍然在內(nèi)部標(biāo)記為序列并受下一個(gè)規(guī)則的約束。請(qǐng)注意，如果表達(dá)式與輸入 JSON 中的數(shù)組匹配，或者在查詢中使用數(shù)組構(gòu)造函數(shù)明確構(gòu)造 JSON 數(shù)組[，]()則這仍然是值數(shù)組而不是值序列，并且不受序列展平規(guī)則的約束。但是，如果此數(shù)組成為后續(xù)表達(dá)式的上下文，則其結(jié)果*將為*序列。
4. 如果序列包含一個(gè)或多個(gè)（子）序列，則子序列的值將被拉升至外部序列的級(jí)別。結(jié)果序列永遠(yuǎn)不會(huì)包含子序列（它們被展平）。

## 路徑處理

路徑表達(dá)式是一種*聲明性函數(shù)*語(yǔ)言。

**函數(shù)式編程**是因?yàn)樗?map/filter/reduce 編程范式，這種編程范式由流行的函數(shù)式編程語(yǔ)言通過(guò)使用高階函數(shù)來(lái)支持。

**聲明性的** ，因?yàn)檫@些高階函數(shù)通過(guò)輕量級(jí)語(yǔ)法公開，這使得用戶可以專注于查詢（聲明）的意圖，而不是控制其評(píng)估的編程結(jié)構(gòu)。

路徑表達(dá)式是以下一個(gè)或多個(gè)功能階段的序列：

| 階段           | 句法                                                               | 行動(dòng)                                                                                            |
| ---------------- | -------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------- |
| **map** | seq `.` expr | 在輸入序列中每一項(xiàng)的上下文中評(píng)估 RHS 表達(dá)式。將結(jié)果展平為結(jié)果序列。                             |
| **filter** | seq `[` expr `]`    | 通過(guò)將括號(hào)之間的謂詞表達(dá)式應(yīng)用于每個(gè)項(xiàng)目來(lái)過(guò)濾前一階段的結(jié)果。                                  |
| **sort** |  seq `^(` expr `)`   | 根據(jù)括號(hào)中的標(biāo)準(zhǔn)對(duì)輸入序列進(jìn)行排序（重新排序）。                                                |
| **index** | seq `#`$var| 將命名變量綁定到序列中的當(dāng)前上下文位置（零偏移）。                                              |
| **join** | seq `@`$var   | 將命名變量綁定到序列中的當(dāng)前上下文項(xiàng)。只能在映射階段之后直接使用。                              |
| **reduce** | seq `{` expr `:` expr `,` expr `:` expr ...`}` | 根據(jù)名稱/值表達(dá)式的定義，將輸入序列分組并聚合為單個(gè)結(jié)果對(duì)象。只能作為路徑表達(dá)式的最后階段出現(xiàn)。 |

在上表中：

* 在“語(yǔ)法”列中，“seq”指的是當(dāng)前階段的輸入序列，它是上一階段的結(jié)果序列。
* “動(dòng)作”列簡(jiǎn)要概述了階段的行為；更詳細(xì)的信息請(qǐng)參閱[路徑操作符]()參考頁(yè)。
* 每個(gè)運(yùn)算符的相對(duì)優(yōu)先級(jí)影響其對(duì)輸入序列的影響范圍。具體來(lái)說(shuō)，
  * Filter 運(yùn)算符的綁定比 Map 運(yùn)算符更緊密。例如，這意味著它將從每 `books.authors[0]` 本書中選擇所有第一作者，而不是從所有書中選擇第一作者。
  * Sort（排序）運(yùn)算符的優(yōu)先級(jí)最低，這意味著將評(píng)估其左邊的完整路徑，并對(duì)其結(jié)果序列進(jìn)行排序。
  * 可以使用括號(hào)覆蓋此運(yùn)算符優(yōu)先級(jí)。例如，`(books.authors)[0]` 將從所有書籍（單個(gè)值）中選擇第一位作者。但請(qǐng)注意，括號(hào)還為變量定義了一個(gè)范圍框架，因此任何已在括號(hào)塊內(nèi)綁定的變量（包括由 `@` 和 `#` 運(yùn)算符綁定的變量）都將在括號(hào)塊末尾超出范圍。
* `@` 由與運(yùn)算符綁定的變量 `#` 在路徑表達(dá)式的末尾超出范圍。
  * 如果使用 Reduce 階段，它將終止當(dāng)前路徑表達(dá)式。盡管 Map 運(yùn)算符可以立即跟進(jìn)，但它將被解釋為新路徑表達(dá)式的開始，這意味著任何先前綁定的上下文或索引變量都將超出范圍。

7、處理模型

7、處理模型