編者注: XPath 即為XML路徑語言(XML Path Language),它是一種用來确定XML文檔中某部分位置的語言。
XPath基于XML的樹狀結構,提供在資料結構樹中找尋節點的能力。起初XPath的提出的初衷是将其作為一個通用的、介于XPointer與XSL間的文法模型。但是XPath很快的被開發者采用來當作小型查詢語言。
我第一次接觸XPath是在2007年,但最近才開始對它産生興趣。以前在大多數情況下我都會盡量避免使用它,而當我不得不嘗試使用它時,每次都以失敗告終。那時XPath對我來說并沒有什麼意義。
但是後來我遇到了一個特殊的解析問題(對CSS選擇器來說過于複雜,而用手工代碼的話又過于簡單),于是我決定再嘗試一次XPath。令我感到驚喜的是,這的确行得通,而且很有用。
以下是我的親身經曆
我遇到的問題
假設你管理一個歌詞網站,為了維持一緻的閱讀體驗,你要收集每行歌詞的第一個單詞。如果歌詞使用純文字格式儲存,那麼可以直接用下面的代碼來實作。
lyrics.gsub!(/^./) { |character| character.upcase }
但是如果歌詞被儲存肯html格式就沒有這麼簡單了,因為dom結構本身并沒有”行”的概念,是以沒有辦法使用一個簡單的正規表達式來識别行。
是以我們要做的第一件事情是定義什麼是dom結構中的“行的起點”,下面是兩個簡單的例子:
-
标簽中第一個文本節點<p>
-
<br>
後面的第一個文本節點
就像下面這樣:
<p>This is the beginning of a line.This is too.</p>
但是除此之外我們可能還要處理嵌套的行内元素:
<p><em>This</em> is the beginning of a line. <strong>This is not.</strong></p>
正常的解決方案
我想到的第一個解決方法是用Ruby寫一個方法來掃描dom中所有相關的部分并遞歸找出所有符合條件的節點。其中用到了幾個輕量級的css選擇器:
def each_new_line(document)
document.css('p').each { |p| yield first_text_node(p) }
document.css('br').each { |br| yield first_text_node(br.next) }
end
def first_text_node(node)
if node.nil? then nil
elsif node.text? then node
elsif node.children.any? then first_text_node(node.children.first)
end
這是一個比較合理的解決方案,但是11行的代碼似乎有點兒長。有點兒殺雞用牛刀的感覺,僅僅為了獲得dom的節點而用上Ruby的疊代器和條件語句感覺有點兒犯不上。應該有更好的辦法吧?
終于說到正題了(XPath)
XPath有一下幾個原因容易讓人困惑。第一點是網上幾乎沒有可以參考的東西(W3Schools!就不用想了)。RFC已經是我找到的最好的文檔了。
第二點是XPath看上去有點兒像CSS。方法名裡就有“path”,是以我總是假設XPath的表達式中的 / 和CSS選擇器中的 > 是一個意思。
document.xpath('//p/em/a') == document.css('p > em > a')
其實,XPath表達式包含了許多簡寫,如果我們想要弄清楚上面代碼運作時究竟發生了什麼就必須要弄清楚這些簡寫。下面是用全拼寫出來的相同的表達式:
/descendant-or-self::node()/child::p/child::em/child::a/
這個XPath表達式和上面的CSS選擇器的作用是一樣的,但并不像我之前假設的那樣。一個XPath表達式是由一個或多個被 / 分割的定位步(location steps)組成。表達式中的第一個 / 代表了文檔(document)的根節點。每個定位步都表明了已經被比對的節點并傳達一下三條資訊:
我想從目前的位置移動到哪?
答案是軸(Axis),是可選的。預設的軸是child,表示“目前被選中節點的所有子節點”。在上面的例子中,descendant-or-self是第一個定位部的軸,表示“所有目前被選中的節點和他們所有的子節點”。大部分XPath規範中定義的軸都有像“descendant-or-self”這樣的語義化的名字。
我想要選擇什麼類型的節點?
選擇的内容是由節點測試來指定的,這也是每個定位步中不可缺少的部分。在我們之前的例子中,node()比對的是全部類型;text()比對到的是文本節點;element()隻能比對到元素,并必須指明節點名稱(像p,em等),節點名稱必填。
可能增加額外的過濾器嗎?
也許我們隻想選擇目前所有節點的第一個子元素或隻想選則有href屬性的<a>标簽。對于此類斷言(assertion),我們可以使用謂詞(predicates)根據額外的周遊樹(additional tree traversals)來過濾出符合條件的節點。這樣我們就可以根據這些節點的屬性(children, parents, or siblings)來過濾出符合條件的節點。
我們的例子中沒有謂詞,現在讓我們來加一個隻比對有href屬性的
<a>
标簽:
/descendant-or-self::node()/child::p/child::em/child::a[attribute::href]
雖然謂詞看上去很像一個括号中的定位步,但是謂詞中的“節點測試(node test)”部分有比定位步中的節點測試更多的功能。
換一個角度來看XPath
與一個增強型的CSS選擇器相比,XPath與JQuery的便利更相似。例如,我們可以把之前的XPath表達式換成JQuery的形式:
$(document).find('*').
children('p').
children('em').
children('a').filter('[href]')
上面的代碼中,我們用到的JQuery的方法與軸的作用是一樣的:
.children()相當于軸中的child,.find()相當于descendant。
JQuery方法中的選擇器相當于XPath中的節點測試,隻可惜jQuery不允許選擇文本節點。
jQuery中的.filter()方法相當于XPath中的謂詞,.children(‘em’)的作用是比對所有比對到的
<p>
标簽中的所有
<em>
子元素。這樣看來,XPah要比jQuery強大得多。
讓我們回到識别行首的問題
現在我們對XPath的工作原理已經有了深入的了解,下面來用它解決之前提到的問題。首先我們先把問題簡化一下,隻尋找每段的第一個文本節點:
/descendant-or-self::node()/child::p/child::text()[position()=1]
上面的代碼的作用依次是:
- 尋找文檔中的所有節點
- 尋找這些節點的所有為
的子節點<p>
- 尋找這些
的文本子節點<p>
- 隻保留這些節點中符合條件的第一個元素
注意position() function 在代碼中表示的是每個
<p>
中的第一個文本子節點而不是整個文檔中的第一個
<p>
的文本子節點。
接下來,為了找到
<p>
中被嵌套得很深的文本節點,我們把child換成descendant
/descendant-or-self::node()/child::p/descendant::text()[position()=1]
接下來是識别換行的問題,首先我們給這一長串代碼折下行(因為太長了),XPath是允許這樣做的。加入換行的識别後,代碼如下:
/descendant-or-self::node()/
child::br/
following-sibling::node()[position=1]/
descendant-or-self::text()[position()=1]
每一行代碼的意思分别是:
- 找到所有節點
- 找到到這些節點的
子節點<br>
- 找到這些
的下一個同級節點<br>
- 如果上面取到的不是文本節點,則取它們的子節點中的第一個文本節點
這樣一來我們就可以同時選出
<p>
中和
<br>
的新的一行。下面我們以上的代碼合并成一個表達式:
(/descendant-or-self::node()/child::p|
/descendant-or-self::node()/child::br/following-sibling::node()[position=1])/
最後我們把簡寫替換進去:
(//p|//br/following-sibling::node()[position=1])/
descendant-or-self::text()[position=1]
這樣我們就把一個複雜的概念用一個簡單的表達式表示出來了。如果我們想加入更多的對行的操作,隻需要往實作比對的代碼中加入更多的元素名稱就可以了。
我們究竟能從中獲得什麼?
既然我們能用相對易懂的Ruby來實作為什麼還要選擇XPath呢?
大多數情況下,Ruby是用來編寫高水準代碼的,例如商業邏輯,整合應用元件,描述複雜的領域模型。從中可以看出最好的Ruby代碼是用來描述意圖而非用于實作。是以用Ruby來做一些低水準或與應用無關的事情(周遊dom樹來找指定屬性的節點)讓人蛋疼。
XPath的其中一個優勢是它的速度:XPath的周遊是通過libxml實作的,而原生代碼的速度是非常快的。對于我上面舉的例子,與Ruby的實作相比,XPath實際上要慢得多。我猜導緻這個情況的原因是對于
<br>
标簽的下一個元素的查找。因為在這個動作中實際上是先篩選出了
<br>
後面的所有與之同級的元素然後才過濾出其中的第一個。
是以XPath快慢與否取決于你的使用方式,但是上手有點兒難。這是一個專門用來讓你使用簡潔的慣用表達式來周遊dom的工具。