Il [1] nel raggruppamento di Muenchian è davvero necessario?

Question

Dopo aver risposto a un gran numero di domande XSLT qui su Stack Overflow, sono più che familiare con la tecnica di raggruppamento Muenchian per raggruppare i nodi durante una trasformazione XSL.

L'espressione ivi usata è di solito qualcosa di simile:

*[generate-id() = 
    generate-id(key('kSomeKey', .)[1])] 

Contiene quasi invariabilmente che [1], ma questo ha sempre colpito me come dispari.

Il XSLT 1.0 specifica definisce generate-id() come segue:

La funzione generate-id restituisce una stringa che identifica univocamente il nodo nell'argomento node-set che è primo nell'ordine dei documenti.

(corsivo)

Si afferma chiaramente che la funzione agisce sul primo nodo nell'ordine del documento, e in questo contesto, il [1] sarebbe selezionando il primo nodo del gruppo nell'ordine del documento, così sembra che lo [1] sia ridondante.

Questo [1] viene utilizzato in modo così ampio da essere esitante a ometterlo, ma sembra estraneo. qualcuno può chiarire questo per me?

Answer 1

Semanticamente il [1] non è necessario ma a seconda della (mancanza di) ottimizzazione nel processore XSLT potrebbe essere più efficiente averlo. Dipenderà dall'interno di ciascun processore XSLT se key('key-name', foo)[1] calcola solo un nodo o prima calcola un nodo-set con tutti i nodi selezionati dalla chiave e quindi prende il primo tanto quanto dipende dal processore XSLT per riconoscere generate-id(key('key-name', foo)) come espressione dove è necessario solo il primo nodo nel set di nodi calcolato dalla chiave.

Answer 2

Si consiglia di utilizzare sempre un "[1]" esplicito anziché sfruttare il fatto che le operazioni in XPath 1.0 lo fanno implicitamente. Per due motivi: migliora la leggibilità del tuo codice e lo rende compatibile con XPath 2.0. Ci possono essere processori in cui offre un vantaggio in termini di prestazioni, ma non vorrei speculare su questo finché non sarà provato con le misure.