XML Schema中实现元素二选一或共存约束及解决元素歧义问题

你遇到的“Loader和Loader存在歧义”错误，是因为当前<xs:choice>的写法让Schema解析器无法区分单独的<Loader>元素，以及序列开头的<Loader>元素——当解析到<Loader>时，它不知道该匹配哪一个选项。

以下是两种可行的解决方案：

方案一：固定元素顺序（Loader在前，Dump在后） #

这种写法明确覆盖了三种合法场景（仅Loader、仅Dump、Loader+Dump），且不会产生歧义：

<xs:complexType name="RoleMapType">
    <xs:sequence>
        <xs:element minOccurs="0" name="Description" type="xs:string"/>
        <xs:element minOccurs="0" name="Schedule" type="xs:string"/>
        <xs:choice minOccurs="1" maxOccurs="1">
            <!-- 匹配：仅Loader，或Loader后跟Dump -->
            <xs:sequence>
                <xs:element name="Loader" type="RoleMapLoaderType"/>
                <xs:element minOccurs="0" name="Dump" type="RoleMapDumpType"/>
            </xs:sequence>
            <!-- 匹配：仅Dump -->
            <xs:element name="Dump" type="RoleMapDumpType"/>
        </xs:choice>
    </xs:sequence>
</xs:complexType>

方案二：允许元素任意顺序（需XML Schema 1.1支持） #

如果不需要限制Loader和Dump的出现顺序，可以使用<xs:all>配合断言，确保至少包含其中一个元素：

<xs:complexType name="RoleMapType">
    <xs:sequence>
        <xs:element minOccurs="0" name="Description" type="xs:string"/>
        <xs:element minOccurs="0" name="Schedule" type="xs:string"/>
        <xs:all>
            <xs:element name="Loader" type="RoleMapLoaderType" minOccurs="0"/>
            <xs:element name="Dump" type="RoleMapDumpType" minOccurs="0"/>
        </xs:all>
    </xs:sequence>
    <!-- 强制要求：必须存在Loader或Dump中的至少一个 -->
    <xs:assert test="Loader or Dump"/>
</xs:complexType>

注意事项 #

• 若你的环境仅支持XML Schema 1.0，只能使用方案一，因为<xs:assert>是XML Schema 1.1新增的特性。

内容的提问来源于stack exchange，提问作者Maurice Perry