所以我有这两个 XML 文件:
数据.xml
<datas>
<data id="1"><place>Mu</place></data>
<data id="2"><place>Atlantis</place></data>
...
<data id="28492"><place>Mu</place></data>
</datas>
ingrs.xml
<ingrs>
<ingr id="1">...</ingr>
<ingr id="2">...</ingr>
...
<ingr id="83882">...</ingr>
</ingrs>
我做的第一件事就是只保留想要的数据的 ID。但后来我想做一个 for 语句,快速找到具有相同 id(唯一)的 ingr,而不是扫描文件的任何 83882 个 ingr。
let $ids := //data[./place = 'Mu']/@id return
for $i in //ingr
where() (: what to do here ? Something like $i/@id = $ids :)
return $i