从 libxml2 2.6 升级到 2.7 时，我的一些行为发生了变化。我在他们的网站上找到了关于此更改的错误报告，它是 https://bugzilla.gnome.org/show_bug.cgi?id=571271 .

有趣的是，他们报告说“我猜我们误解了这个选项的预期行为 (虽然我仍然不是 100% 确定)”——他们不确定他们是否正确阅读了规范，但他们提交了修复。

我认为前面的行为是正确的，所以我想看看这里有没有人在这两个方向上有知识。

基本上，<xs:all>elem1, elem2, ..<xs:all>意思是“elem1，elem2 .. 全部或全部都必须存在”，或“elem1，elem2 ..中的任何一个都可能存在”？尽管看起来像前者，但有两个消息来源并没有说明这一点:

http://www.w3.org/TR/xmlschema-0/#ref18 - "组中的所有元素可能出现一次或根本不出现，并且它们可能以任何顺序出现。"

http://www.w3schools.com/Schema/el_all.asp - “上面的示例表明“名字”和“姓氏”元素可以以任何顺序出现，并且每个元素可以出现零次或一次!”

以下脚本使用 lxml，在使用 libxml2 2.6 时报告成功，但在 2.7 上第二次模式验证失败。有人可以确认 2.7 在这里做的是对还是错？

from lxml import etree
from StringIO import StringIO

schema = """
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
 <xs:element type="parent-type" name="parent"/>
 <xs:complexType name="parent-type">
   <xs:all maxOccurs="1" minOccurs="0">
     <xs:element type="xs:int" name="int-attr"/>
     <xs:element type="xs:string" name="str-attr"/>
   </xs:all>
 </xs:complexType>
</xs:schema>
"""

xmlschema = etree.XMLSchema(etree.parse(StringIO(schema)))

# passes
doc1 = """
<parent xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://www.example.com/xml/schemas">
 <str-attr>some value</str-attr>
 <int-attr>12</int-attr>
</parent>
"""

# fails.  it wants both "int-attr" and "str-attr" to be present.
# didn't think this was how "xs:all" worked ?
doc2 = """
<parent xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://www.example.com/xml/schemas">
 <int-attr>12</int-attr>
</parent>
"""

for i, doc in enumerate((doc1, doc2, )):
   doc = etree.parse(StringIO(doc))
   try:
       xmlschema.assertValid(doc)
       print "document %d is valid." % i
   except Exception, e:
       print "document %d is not valid." % i
       print e

输出:

document 0 is valid.
document 1 is not valid.
Element 'parent': Missing child element(s). Expected is ( str-attr )., line 2

最佳答案

用户 Jörn Horstmann 实际上已经正确回答了您的问题，但格式可能会使答案看起来有点不清楚。我希望这些示例可以帮助那些感到困惑的人。

做什么minOccurs和 maxOccurs意思是 <xs:all>元素

记住 <xs:all>和 <xs:element> minOccurs 的默认值为“1”和 maxOccurs .因此

<xs:all>
  <xs:element type="xs:int" name="int-attr"/>
  <xs:element type="xs:string" name="str-attr"/>
</xs:all>

其实和

<xs:all minOccurs="1" maxOccurs="1">
  <xs:element type="xs:int" name="int-attr" minOccurs="1" maxOccurs="1"/>
  <xs:element type="xs:string" name="str-attr" minOccurs="1" maxOccurs="1"/>
</xs:all>

这意味着整个<xs:all> group 以及其中定义的两个元素都是强制性的 - 顺序是免费的。因此 XML 文档

<parent xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
        xsi:noNamespaceSchemaLocation="http://www.example.com/xml/schemas">
  <int-attr>12</int-attr>
</parent>

将无效。使用属性 minOccurs="0"在 <xs:all>意味着整个组是可选的，在这种情况下它也允许一个空的 <parent/>元素。我看到这就是规范“组中的所有元素可能出现一次或根本不出现”的真正含义。我的母语不是英语，但我还要说 w3schools 页面上的第二个示例不正确。它应该读作“两个元素可以出现零次或一次”而不是“每个元素可以出现零次或一次”。

maxOccurs <xs:all> 的属性是fixed to value "1" .

如何定义具有零个或一个子标签的标签

这就是您在评论中提出的问题以及您首先尝试验证的内容。 <xs:all> 中的可选元素组是通过添加属性 minOccurs="0" 来实现的在那些元素上。下面的例子

<xs:all minOccurs="1" maxOccurs="1">
  <xs:element type="xs:int" name="int-attr" minOccurs="0" maxOccurs="1"/>
  <xs:element type="xs:string" name="str-attr" minOccurs="0" maxOccurs="1"/>
</xs:all>

此模式将验证 XML 文档

<parent xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
        xsi:noNamespaceSchemaLocation="http://www.example.com/xml/schemas">
  <int-attr>12</int-attr>
</parent>

因为这两个元素都是可选的(因为它们有 minOccurs="0" )这个定义也允许一个空的 <parent/>元素。尽管对元素的基数限制在某种程度上“覆盖”了 <xs:all> 上的设置该规范还说:“内容模型中的任何元素都不能出现多次，即 minOccurs 和 maxOccurs 的允许值为 0 和 1”。所以你不能有一个以随机顺序多次具有相同元素的组，或者至少你不能使用 <xs:all>创建这样的类型。

关于xml - 需要澄清有关 xml 模式 "all"标记(这是 libxml2 错误吗？)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3196806/