XML模式：這樣的選擇，是工會（不是序列）創建

Question

我有以下的XML Schema

<xsd:complexType name="SimpleThing"> 
    <xsd:choice maxOccurs="unbounded"> 
     <xsd:group ref="simpleContent" /> 
    </xsd:choice> 
</xsd:complexType> 

<xsd:complexType name="ExtendedThing"> 
    <xsd:complexContent> 
     <xsd:extension base="SimpleThing"> 
      <xsd:choice maxOccurs="unbounded"> 
       <xsd:element name="qux" /> 
      </xsd:choice> 
     </xsd:extension> 
    </xsd:complexContent> 
</xsd:complexType> 

<xsd:group name="simpleContent"> 
    <xsd:choice> 
     <xsd:element name="foo" /> 
     <xsd:element name="bar" /> 
    </xsd:choice> 
</xsd:group> 

<xsd:group name="extendedContent"> 
    <xsd:choice> 
     <xsd:group ref="simpleContent" /> 
     <xsd:element name="qux" /> 
    </xsd:choice> 
</xsd:group> 

<xsd:element name="root" type="ExtendedThing" /> 

我喜歡的類型ExtendedThing包含foo，bar和qux以任意順序選擇：擴展XSD 。但是對於這種模式，qux必須出現在foo和bar之後，因爲從超類型的選擇和子類型的選擇中創建了一個序列，而不是這些選擇的聯合。

另一種方法，用

<xsd:complexType name="ExtendedThing"> 
    <xsd:complexContent> 
     <xsd:extension base="SimpleThing"> 
      <xsd:group ref="extendedContent" /> 
     </xsd:extension> 
    </xsd:complexContent> 
</xsd:complexType> 

更換爲ExtendedThing類型定義也不管用，因爲Unique Particle Attribution違反約束。

有沒有解決這個問題的方法，或者是否可以在XML模式中創建一個類型，這是另一種類型的擴展，這樣新類型的內容就是一組元素（以任意順序）超類型內容的超集？

Answer 1

由於實際原因，這是不可能的。超類型的內容模型必須始終在子類型的內容模型之前全部出現。它有助於快速實施驗證器。