imported>Alex NB OT: унификация языковых шаблонов

2025-11-15T11:07:34Z

унификация языковых шаблонов

Новая страница

{{Технологический стандарт}}
'''XPath''' (XML Path Language) — язык запросов к элементам [[XML]]-документа. Разработан для организации доступа к частям документа XML в файлах трансформации [[XSLT]] и является стандартом консорциума [[W3C]].
XPath призван реализовать навигацию по [[Document Object Model|DOM]] в [[XML]].
В XPath используется компактный синтаксис, отличный от принятого в XML.
В 2007 году завершилась разработка версии 2.0, которая теперь является составной частью языка [[XQuery]] 1.0.
В декабре 2009 года началась разработка версии 2.1, которая использует XQuery 1.1.

На данный момент самой популярной версией является XPath 1.0. Это связано с отсутствием поддержки XPath 2.0 со стороны открытых библиотек. В частности, речь идёт о [[libxml2]], от которой зависит поддержка языка в браузерах, с одной стороны, и поддержка со стороны серверного интерпретатора, с другой.

== Основы ==
У XML древовидная структура. В отдельном XML-документе есть один корневой элемент (инструкция <?xml version="1.0"?> к дереву элементов не относится), в котором допускается ряд вложенных элементов, некоторые из которых тоже могут содержать вложенные элементы. Также встречаются текстовые узлы, комментарии и инструкции. Можно считать, что XML-элемент содержит массив вложенных в него элементов и массив атрибутов.

У элементов дерева бывают элементы-предки и элементы-потомки (у корневого элемента предков нет, а у тупиковых элементов (листьев дерева) нет потомков). Каждый элемент дерева находится на определённом уровне вложенности (далее — «уровень»). Элементы упорядочены в порядке расположения в тексте XML, и поэтому можно говорить об их предыдущих и следующих элементах. Это очень похоже на организацию каталогов в файловой системе.

Строка XPath описывает способ выбора нужных элементов из массива элементов, которые могут содержать вложенные элементы. Начинается отбор с переданного множества элементов, на каждом шаге пути отбираются элементы, соответствующие выражению шага, и в результате оказывается отобрано подмножество элементов, соответствующих данному пути.

Для примера возьмём следующий [[XHTML]]-документ:

<source lang="html4strict" line="1"><html>
<body>
<div>Первый слой
<span>блок текста в первом слое</span>
</div>
<div>Второй слой</div>
<div>Третий слой
<span class="text">первый блок в третьем слое</span>
<span class="text">второй блок в третьем слое</span>
<span>третий блок в третьем слое</span>
</div>
<span>четвёртый слой</span>
<img />
</body>
</html></source>

XPath-путь '''/html/body/*/span[@class]''' будет соответствовать в нём двум элементам исходного документа — <code><span class="text">первый блок в третьем слое</span></code> и <code><span class="text">второй блок в третьем слое</span></code>.

Элементы пути преимущественно пишутся в XPath в краткой форме. Полная форма приведённого выше пути имеет вид '''/child::html/child::body/child::*/child::span[attribute::class]'''

Путь состоит из ''шагов адресации,'' которые разделяются символом «косая черта» <code>/</code>.

Каждый шаг адресации состоит из трёх частей:
* ось (по умолчанию child::, ось элементов). Кроме отбора по оси вложенных элементов, можно отбирать по другим осям элементов и по оси атрибутов (attribute::, она же обозначается символом <code>@</code>) (см. ниже).
* выражение, определяющее отбираемые элементы (в примере отбор делается по соответствию элементов документа именам html, body, span, и используется символ <code>*</code>, который отберёт все элементы оси)
* предикаты (в данном примере это attribute::class) — дополнительные условия отбора. Их может быть несколько. Каждый предикат заключается в квадратные скобки и подразумевает логическое выражение для проверки отбираемых элементов. Если предиката нет, то отбираются все подходящие элементы.

Анализ пути ведётся слева направо и начинается либо в контексте первого элемента корневого узла (в данном примере это элемент html), и тогда по оси child:: будут вложенные в него элементы (в данном примере это один элемент body), что удобно в случае обработки обычного XML-документа с одним корневым узлом, либо, если в начале XPath указан символ <code>/</code>, в контексте со всеми корневыми элементами переданного XML по оси child:: (в данном примере это будет один элемент html). На каждом шаге адресации в текущем контексте отбираются элементы, подходящие под указанные в шаге условия, и их перечень берётся как контекст для следующего шага или как возвращаемый результат.

Таким образом, первый шаг <code>/child::html</code> явным образом делает текущим контекстом для следующего шага перечень из одного элемента html, что было бы и так сделано неявно, если этот шаг не был обозначен.

На втором шаге адресации в данном примере (шаг child::body) контекстом является перечень из одного элемента html. Ось child:: говорит о том, что необходимо смотреть на имена вложенных элементов в текущем контексте, а условие проверки body говорит о том, что в формируемый набор элементов нужно включить те узлы, у которых имя — body. Таким образом, в ходе второго шага адресации получаем набор узлов, состоящий всего из одного элемента body, который и становится контекстом для третьего шага.

Третий шаг адресации: child::* . Ось child:: содержит все непосредственные потомки элемента body, а условие проверки * говорит о том, что в формируемый перечень нужно включить элементы основного типа с любым именем. В ходе этого шага получаем перечень, состоящий из трёх элементов div, одного span и одного элемента img — итого, пять элементов.

Четвёртый шаг адресации: child::span/@class. Его контекстом является перечень из пяти элементов, поэтому исходящий перечень создаётся в пять проходов (за пять итераций). При первой итерации узлом контекста становится первый div. Согласно заданной оси child:: и правилу проверки span, в набор должны включаться непосредственные потомки этого div’а, имя которых равно span. Там такой один. При второй итерации в набор ничего добавляться не будет, так как у второго div нет потомков. Третья итерация увидит сразу три элемента span. Четвёртая ничего не увидит, так как у элемента span нет потомков span, а то, что он сам span — не важно, ведь просматриваются именно потомки. Пятая тоже ничего не увидит, у элемента img тоже нет потомков span. Итак, в ходе проверки мог бы быть получен набор узлов, состоящий из четырёх элементов span. Это и было бы контекстом для последующей обработки, не будь на этом шаге указано предиката.

Но так как предикат на четвёртом шаге есть, по мере выполнения каждого из пяти проходов будет производиться дополнительная фильтрация отбираемых элементов. В данном случае у предиката ось attribute:: говорит о необходимости проверить, есть ли у отбираемого узла атрибуты, а условие class требует оставить лишь те узлы, у которых задан атрибут с именем class. И поэтому на первой итерации единственный найденный span фильтрацию предикатом не пройдёт, на третьей итерации фильтрацию пройдут два элемента из трёх, и в итоге, несмотря на то, что фильтрация происходит за пять итераций, в окончательный набор попадают только два элемента span.

== Оси ==
Оси — это ''база'' языка XPath. Для некоторых осей существуют сокращённые обозначения.
* '''child::''' — содержит множество элементов-потомков (элементов, расположенных на один уровень ниже). Это название сокращается полностью, то есть его можно вовсе опускать.
* '''descendant::''' — содержит полное множество элементов-потомков (то есть, как ближайших элементов-потомков, так и всех их элементов-потомков). Выражение <code>/descendant::node()/</code> можно сокращать до <code>//</code>.
* '''descendant-or-self::''' — содержит полное множество элементов-потомков и текущий элемент. С помощью этой оси, например, можно вторым шагом организовать отбор элементов с любого узла, а не только с корневого: достаточно первым шагом взять всех потомков корневого. Например, путь <code>//span</code> отберёт все узлы <code>span</code> документа, независимо от их положения в иерархии, взглянув как на имя корневого, так и на имена всех его дочерних элементов, на всю глубину их вложенности.
* '''ancestor::''' — содержит множество элементов-предков.
* '''ancestor-or-self::''' — содержит множество элементов-предков и текущий элемент.
* '''parent::''' — содержит элемент-предок на один уровень назад. Это обращение можно заменить на <code>..</code>
* '''self::''' — содержит текущий элемент. Это обращение можно заменить на <code>.</code>
* '''following::''' — содержит множество элементов, расположенных ниже текущего элемента по дереву (на всех уровнях и слоях), исключая собственных потомков.
* '''following-sibling::''' — содержит множество братских элементов того же уровня, следующих за текущим слоем.
* '''preceding::''' — содержит множество элементов, расположенных выше текущего элемента по дереву (на всех уровнях и слоях), исключая множество собственных предков.
* '''preceding-sibling::''' — содержит множество братских элементов того же уровня, предшествующих текущему слою.
* '''attribute::''' — содержит множество атрибутов текущего элемента. Это обращение можно заменить на символ <code>@</code>
* '''namespace::''' — содержит множество элементов, относящихся к тому или иному пространству имён (то есть присутствует атрибут <code>xmlns</code>).

== Выражение, определяющее отбираемые элементы ==
В рамках содержимого ''оси'' отбор выполняется согласно выражению, определяющему отбираемые элементы.

В качестве выражения может быть
* указано конкретное имя, тогда отбираются элементы оси, соответствующие этому имени
* указан символ <code>*</code>, что отберёт все элементы оси
* указано выражение, составленное из функций, и тогда будут отобраны результаты вычисления выражения в контексте каждого элемента оси

Функции делятся на 5 групп:

=== Функции над множествами узлов ===
{| class="wikitable sortable"
! data-sort-type="text" | Функция
! class="unsortable" | Описание
|-
| data-sort-value="node" | {{nowrap|<code>node-set '''node'''()</code>}}
| Возвращает сам узел. Вместо этой функции часто используют заменитель <code>*</code>, но, в отличие от звёздочки, функция <code>node()</code> возвращает и ''текстовые'' узлы
|-
| data-sort-value="text" | {{nowrap|<code>string '''text'''()</code>}}
| Возвращает узел, если он текстовый
|-
| data-sort-value="current" | {{nowrap|<code>node-set '''current'''()</code>}}
| Возвращает множество из одного элемента, который является текущим. Если мы делаем обработку множества с предикатами, то единственным способом дотянуться из этого предиката до текущего элемента будет данная функция
|-
| data-sort-value="position" | {{nowrap|<code>number '''position'''()</code>}}
| Возвращает позицию элемента в множестве элементов оси. Корректно работает только в цикле <code><xsl:for-each/></code>
|-
| data-sort-value="last" | {{nowrap|<code>number '''last'''()</code>}}
| Возвращает номер последнего элемента в множестве элементов оси. Корректно работает только в цикле <code><xsl:for-each/></code>
|-
| data-sort-value="count" | {{nowrap|<code>number '''count'''(node-set)</code>}}
| Возвращает количество элементов в <code>node-set</code>.
|-
| data-sort-value="name" | {{nowrap|<code>string '''name'''(node-set?)</code>}}
| Возвращает полное имя первого тега в множестве
|-
| data-sort-value="namespace-url" | {{nowrap|<code>string '''namespace-url'''(node-set?)</code>}}
| Возвращает ссылку на URL, определяющий пространство имён
|-
| data-sort-value="local-name" | {{nowrap|<code>string '''local-name'''(node-set?)</code>}}
| Возвращает имя первого тега в множестве, без пространства имён
|-
| data-sort-value="id" | {{nowrap|<code>node-set '''id'''(object)</code>}}
| Находит элемент с уникальным идентификатором
|}

=== Строковые функции ===
{| class="wikitable sortable"
! data-sort-type="text" | Функция
! class="unsortable" | Описание
|-
| data-sort-value="string" | {{nowrap|<code>string '''string'''(object?)</code>}}
| Возвращает текстовое содержимое элемента. По сути, возвращает объединённое множество ''текстовых'' элементов на ''один'' уровень ниже
|-
| data-sort-value="concat" | {{nowrap|<code>string '''concat'''(string, string, string*)</code>}}
| Соединяет строки, указанные в аргументах
|-
| data-sort-value="string-length" | {{nowrap|<code>number '''string-length'''(string?)</code>}}
| Возвращает длину строки
|-
| data-sort-value="contains" | {{nowrap|<code>boolean '''contains'''(string, string)</code>}}
| Возвращает <code>'''true'''</code>, если первая строка содержит вторую, иначе — <code>'''false'''</code>
|-
| data-sort-value="substring" | {{nowrap|<code>string '''substring'''(string, number, number?)</code>}}
| Возвращает строку, вырезанную из строки, начиная с указанного номера, и, если указан второй номер, — количество символов
|-
| data-sort-value="substring-before" | {{nowrap|<code>string '''substring-before'''(string, string)</code>}}
| Если найдена вторая строка в первой, возвращает строку до первого вхождения второй строки
|-
| data-sort-value="substring-after" | {{nowrap|<code>string '''substring-after'''(string, string)</code>}}
| Если найдена вторая строка в первой, возвращает строку после первого вхождения второй строки
|-
| data-sort-value="starts-with" | {{nowrap|<code>boolean '''starts-with'''(string, string)</code>}}
| Возвращает <code>'''true'''</code>, если вторая строка входит в начало первой, иначе — <code>'''false'''</code>
|-
| data-sort-value="ends-with" | {{nowrap|<code>boolean '''ends-with'''(string, string)</code>}}
| Возвращает <code>'''true'''</code>, если вторая строка входит в конец первой, иначе — <code>'''false'''</code>
|-
| data-sort-value="normalize-space" | {{nowrap|<code>string '''normalize-space'''(string?)</code>}}
| Убирает лишние и повторные пробелы, а также управляющие символы, заменяя их пробелами
|-
| data-sort-value="translate" | {{nowrap|<code>string '''translate'''(string, string, string)</code>}}
| Заменяет символы первой строки, которые встречаются во второй строке, на соответствующие позиции символам из второй строки символы из третьей строки. Например, <code>translate("bar", "abc", "ABC")</code> вернёт BAr.
|}

=== Логические функции и операторы ===
{| class="wikitable sortable"
|-
! data-sort-type="text" | Символ, оператор
! class="unsortable" | Значение
|-
| <code>or</code> || логическое «или»
|-
| <code>and</code> || логическое «и»
|-
| <code>=</code> || логическое «равно»
|-
| <code><</code> (&lt;) || логическое «меньше»
|-
| <code>></code> (&gt;) || логическое «больше»
|-
| <code><=</code> (&lt;=) || логическое «меньше либо равно»
|-
| <code>>=</code> (&gt;=) || логическое «больше либо равно»
|}

{| class="wikitable sortable"
! data-sort-type="text" | Функция
! class="unsortable" | Описание
|-
| data-sort-value="boolean" | {{nowrap|<code>boolean '''boolean'''(object)</code>}}
| Приводит объект к логическому типу
|-
| data-sort-value="true" | {{nowrap|<code>boolean '''true'''()</code>}}
| Возвращает истину
|-
| data-sort-value="false" | {{nowrap|<code>boolean '''false'''()</code>}}
| Возвращает ложь
|-
| data-sort-value="not" | {{nowrap|<code>boolean '''not'''(boolean)</code>}}
| Отрицание, возвращает истину если аргумент ложь и наоборот
|}

=== Числовые функции и операторы ===
{| class="wikitable sortable"
|-
! data-sort-type="text" | Символ, оператор
! class="unsortable" | Значение
|-
| {{Hs|02}}<code>+</code> || сложение
|-
| {{Hs|03}}<code>−</code> || вычитание
|-
| {{Hs|01}}<code>*</code> || умножение
|-
| <code>div</code> || обычное деление ('''не нацело!''')
|-
| <code>mod</code> || остаток от деления
|}

{| class="wikitable sortable"
! data-sort-type="text" | Функция
! class="unsortable" | Описание
|-
| data-sort-value="number" | {{nowrap|<code>number '''number'''(object?)</code>}}
| Переводит объект в число
|-
| data-sort-value="sum" | {{nowrap|<code>number '''sum'''(node-set)</code>}}
| Вернёт сумму множества. Каждый тег множества будет преобразован в строку и из него получено число
|-
| data-sort-value="floor" | {{nowrap|<code>number '''floor'''(number)</code>}}
| Возвращает наибольшее целое число, не большее, чем аргумент (округление к меньшему)
|-
| data-sort-value="ceiling" | {{nowrap|<code>number '''ceiling'''(number)</code>}}
| Возвращает наименьшее целое число, не меньшее, чем аргумент (округление к большему)
|-
| data-sort-value="round" | {{nowrap|<code>number '''round'''(number)</code>}}
| Округляет число по математическим правилам
|}

=== Системные функции ===
{| class="wikitable sortable"
! data-sort-type="text" | Функция
! class="unsortable" | Описание
|-
| data-sort-value="document" | {{nowrap|<code>node-set '''document'''(object, node-set?)</code>}}
| Возвращает документ, указанный в параметре <code>object</code>
|-
| data-sort-value="format-number" | {{nowrap|<code>string '''format-number'''(number, string, string?)</code>}}
| Форматирует число согласно образцу, указанному во втором параметре. Третий параметр указывает именованный формат числа, который должен быть учтён
|-
| data-sort-value="generate-id" | {{nowrap|<code>string '''generate-id'''(node-set?)</code>}}
| Возвращает строку, являющуюся уникальным идентификатором
|-
| data-sort-value="key" | {{nowrap|<code>node-set '''key'''(string, object)</code>}}
| Возвращает множество с указанным ключом (аналогично функции <code>id</code> для идентификаторов)
|-
| data-sort-value="unparsed-entity-uri" | {{nowrap|<code>string '''unparsed-entity-uri'''(string)</code>}}
| Возвращает непроанализированный URI. Если такового нет, возвращает пустую строку
|-
| data-sort-value="element-available" | {{nowrap|<code>boolean '''element-available'''(string)</code>}}
| Проверяет, доступен ли элемент или множество, указанное в параметре. Параметр рассматривается как XPath
|-
| data-sort-value="function-available" | {{nowrap|<code>boolean '''function-available'''(string)</code>}}
| Проверяет, доступна ли функция, указанная в параметре. Параметр рассматривается как XPath
|-
| data-sort-value="system-property" | {{nowrap|<code>object '''system-property'''(string)</code>}}
| Параметры, возвращающие системные переменные. Могут быть:
* <code>xsl: version</code> — возвращает версию XSLT процессора.
* <code>xsl: vendor</code> — возвращает производителя XSLT процессора.
* <code>xsl: vendor-url</code> — возвращает URL, идентифицирующий производителя.
Если используется неизвестный параметр, функция возвращает пустую строку
|-
| data-sort-value="lang" | {{nowrap|<code>boolean '''lang'''(string)</code>}}
| Возвращает <code>'''true'''</code>, если у текущего тега имеется атрибут <code>xml: lang</code>, либо родитель тега имеет атрибут <code>xml: lang</code> и в нём указан совпадающий строке символ
|}

== Предикаты ==
Предикаты — это логические выражения в квадратных скобках, составленные по тем же принципам, что и выражение отбора. Выражения, возвращающие не логическое значение, а пустой набор элементов, считаются ложными. Выражение, возвращающее число, считается выражением, сравнивающим число с position(). Когда предикатов более одного, каждый из них фильтрует результаты фильтрации предыдущим предикатом.

== Прочие обозначения в XPath ==
{| class="wikitable sortable"
! data-sort-type="text" | Обозначение
! class="unsortable" | Описание
|-
| {{Hs|02}}{{nowrap|<code><nowiki>*</nowiki></code>}}
| Обозначает ''любое'' имя или набор символов по указанной оси, например: <code>*</code> — любой дочерний узел; <code>@*</code> — любой атрибут
|-
| {{Hs|01}}{{nowrap|<code><nowiki>$name</nowiki></code>}}
| Обращение к переменной. <code>name</code> — имя переменной или параметра
|-
| {{Hs|04}}{{nowrap|<code><nowiki>[]</nowiki></code>}}
| Дополнительные условия выборки (или предикат шага адресации). Должен содержать логическое значение. Если содержит числовое, считается что это порядковый номер узла, что эквивалентно приписыванию перед этим числом выражения <code>position()=</code>
|-
| {{Hs|05}}{{nowrap|<code><nowiki>{}</nowiki></code>}}
| Если применяется внутри тега другого языка (например HTML), то XSLT-процессор рассматривает содержимое фигурных скобок как XPath
|-
| {{Hs|03}}{{nowrap|<code><nowiki>/</nowiki></code>}}
| Определяет уровень дерева, то есть разделяет шаги адресации
|-
| {{Hs|06}}{{nowrap|<code><nowiki>|</nowiki></code>}}
| Объединяет результат. То есть, в рамках одного пути можно написать несколько путей разбора через знак <code><nowiki>|</nowiki></code>, и в результат такого выражения войдёт всё, что будет найдено любым из этих путей
|}
[[Файл:Userstyle-writing-for-medium-com-with-xpath.webm|мини|Написание UserStyle используя XPath трансформированные в CSS]]

== Ссылки ==
* [https://www.w3.org/TR/1999/REC-xpath-19991116/ XPath 1.0. Рекомендация W3C.]{{ref|en}}
* [http://www.w3.org/TR/xpath20 XPath 2.0. Рекомендация W3C.]{{ref|en}}
* [http://www.w3.org/TR/xpath-21 XPath 2.1. Рекомендация W3C.]{{ref|en}}
* [http://www.citforum.ru/internet/xpath/index.shtml XPath 1.0. Перевод рекомендации W3C на русский язык.]
* [http://www.zvon.org/xxl/XPathTutorial/General_rus/examples.html XPath в примерах]
* [https://xakep.ru/2008/06/24/44160/ XPath-инъекции]
* [http://www.quizful.net/post/xpath-in-javascript XPath в JavaScript]

{{нет источников|дата=2015-04-19}}
{{Языки запросов}}
{{XSL}}
{{Стандарты W3C}}

[[Категория:XML]]
[[Категория:Стандарты W3C]]

XPath - История изменений

imported>Alex NB OT: унификация языковых шаблонов