我正在尝试创建一个 XSD，并尝试根据以下要求编写定义:

• 允许指定的子元素出现任意次数(0 到无限制)
• 允许子元素以任意顺序排列

我环顾四周，找到了各种解决方案，例如 this :

<xs:element name="foo">
  <xsl:complexType>
    <xs:choice minOccurs="0" maxOccurs="unbounded">
      <xs:element name="child1" type="xs:int"/>
      <xs:element name="child2" type="xs:string"/>
    </xs:choice>
  </xs:complexType>
</xs:element>

但据我了解 xs:choice 仍然只允许单个元素选择。因此，像这样将 MaxOccurs 设置为 unbounded 应该只意味着子元素中的“任何一个”可以出现多次。这是准确的吗？

如果上述解决方案不正确，我该如何实现我在要求中所说的内容？

编辑:如果要求如下怎么办？

• 元素 child1 child2 可以出现任何 次数(0 到无限)
• 任何顺序的元素
• 元素 child3 和 child4 应该只出现一次。

例如， 此 xml 有效:

<foo>
<child1> value </child1>
<child1> value </child1>
<child3> value </child3>
<child2> value </child2>
<child4> value </child4>
<child1> value </child1>
</foo>

但这不是(失踪的 child 3)

<foo>
<child1> value </child1>
<child1> value </child1>
<child2> value </child2>
<child4> value </child4>
<child1> value </child1>
</foo>

最佳答案

在后来的编辑中添加的问题的替代表述似乎仍然没有答案:如何指定在一个元素的子元素中，必须有一个名为 child3 的元素。 , 一个名为 child4 ，以及任何名为 child1 的数字或 child2 ，对子项出现的顺序没有限制。

这是一种可直接定义的正则语言，您需要的内容模型与定义字符串集的正则表达式同构，其中数字“3”和“4”各出现一次，而数字“1”和 '2' 出现任意次数。如果不清楚如何编写它，那么考虑一下您将构建什么样的有限状态机来识别这种语言可能会有所帮助。它至少有四种不同的状态:

• 既没有看到“3”也没有看到“4”的初始状态
• 看到“3”但没有看到“4”的中间状态
• 看到“4”但没有看到“3”的中间状态
• 已看到“3”和“4”的最终状态

无论自动机处于什么状态，都可能读取'1'和'2'；他们不会改变机器的状态。在初始状态下，'3'或'4'也会被接受；在中间状态，只接受“4”或“3”；在最终状态下，“3”和“4”都不被接受。如果我们首先为只出现“3”和“4”的语言子集定义一个正则表达式，则正则表达式的结构最容易理解:

(34)|(43)

要允许“1”或“2”在给定位置出现任意次数，我们可以插入 (1|2)* (或 [12]* 如果我们的正则表达式语言接受该表示法)。在所有可用位置插入此表达式，我们得到

(1|2)*((3(1|2)*4)|(4(1|2)*3))(1|2)*

将其转化为内容模型非常简单。基本结构等同于正则表达式 (34)|(43) :

<xsd:complexType name="paul0">
  <xsd:choice>
    <xsd:sequence>
      <xsd:element ref="child3"/>
      <xsd:element ref="child4"/>
    </xsd:sequence>
    <xsd:sequence>
      <xsd:element ref="child4"/>
      <xsd:element ref="child3"/>
    </xsd:sequence>
  </xsd:choice>
</xsd:complexType>

插入 child1 的零个或多个选项和 child2很简单:

<xsd:complexType name="paul1">
  <xsd:sequence>
    <xsd:choice minOccurs="0" maxOccurs="unbounded">
      <xsd:element ref="child1"/>
      <xsd:element ref="child2"/>
    </xsd:choice>      
    <xsd:choice>
      <xsd:sequence>
        <xsd:element ref="child3"/>
        <xsd:choice minOccurs="0" maxOccurs="unbounded">
          <xsd:element ref="child1"/>
          <xsd:element ref="child2"/>
        </xsd:choice>      
        <xsd:element ref="child4"/>
      </xsd:sequence>
      <xsd:sequence>
        <xsd:element ref="child4"/>
        <xsd:choice minOccurs="0" maxOccurs="unbounded">
          <xsd:element ref="child1"/>
          <xsd:element ref="child2"/>
        </xsd:choice>      
        <xsd:element ref="child3"/>
      </xsd:sequence>
    </xsd:choice>
    <xsd:choice minOccurs="0" maxOccurs="unbounded">
      <xsd:element ref="child1"/>
      <xsd:element ref="child2"/>
    </xsd:choice>      
  </xsd:sequence>
</xsd:complexType>

如果我们想稍微减少体积，我们可以为 child1 的重复选择定义一个命名组。和 child2 :

<xsd:group name="onetwo">
  <xsd:choice>
    <xsd:element ref="child1"/>
    <xsd:element ref="child2"/>
  </xsd:choice>   
</xsd:group>

<xsd:complexType name="paul2">
  <xsd:sequence>
    <xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:choice>
      <xsd:sequence>
        <xsd:element ref="child3"/>
        <xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
        <xsd:element ref="child4"/>
      </xsd:sequence>
      <xsd:sequence>
        <xsd:element ref="child4"/>
        <xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
        <xsd:element ref="child3"/>
      </xsd:sequence>
    </xsd:choice>  
    <xsd:group ref="onetwo" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
</xsd:complexType>

在 XSD 1.1 中，对 all 的一些约束-组已被取消，因此可以更简洁地定义此内容模型:

<xsd:complexType name="paul3">
  <xsd:all>
    <xsd:element ref="child1" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element ref="child2" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element ref="child3"/>
    <xsd:element ref="child4"/>      
  </xsd:all>
</xsd:complexType>

但是从前面给出的例子可以看出，这些对all的改动-组实际上并没有改变语言的表达能力；它们只会使某些语言的定义更加简洁。

关于xml - XSD - 如何允许元素以任意顺序任意次数出现？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2290360/