如何有条件验证允许子元素存在及XML Schema布局来源合法性？

嘿，我来帮你搞定这两个XML Schema验证的问题，咱们逐个拆解清楚：

这个需求的实现方式取决于你使用的是XSD 1.0还是1.1版本——XSD 1.1提供了更灵活的断言机制，而1.0只能用一些相对繁琐的替代方案。

推荐方案：XSD 1.1 断言（Assertions） #

如果你的XML解析器支持XSD 1.1（比如Saxon、Xerces2等），用<xs:assert>是最直接的方式。它允许你写XPath表达式来定义条件验证规则。

举个例子：假设你有一个<component>元素，当它的type属性值为form时，必须包含<input>子元素；其他类型则没有这个强制要求。对应的Schema代码如下：

<xs:element name="component">
  <xs:complexType>
    <xs:sequence>
      <xs:element name="label" type="xs:string"/>
      <xs:element name="input" type="xs:string" minOccurs="0"/>
      <xs:element name="display" type="xs:string" minOccurs="0"/>
    </xs:sequence>
    <xs:attribute name="type" type="xs:string"/>
    <!-- 核心断言：当type为form时，input子元素必须存在 -->
    <xs:assert test="if (@type = 'form') then exists(input) else true()"/>
  </xs:complexType>
</xs:element>

兼容方案：XSD 1.0 替代方式 #

如果只能用XSD 1.0，你可以通过选择器（choice）+ 序列分组来实现，但灵活性会差很多——你需要提前枚举所有可能的条件分支：

<xs:element name="component">
  <xs:complexType>
    <xs:choice>
      <!-- 当type为form时，必须包含label + input -->
      <xs:sequence>
        <xs:element name="label" type="xs:string"/>
        <xs:element name="input" type="xs:string"/>
      </xs:sequence>
      <!-- 其他类型时，包含label + display -->
      <xs:sequence>
        <xs:element name="label" type="xs:string"/>
        <xs:element name="display" type="xs:string"/>
      </xs:sequence>
    </xs:choice>
    <xs:attribute name="type" type="xs:string"/>
  </xs:complexType>
</xs:element>

这种方式的缺点是，一旦条件分支变多，Schema会变得非常臃肿，所以优先推荐XSD 1.1的断言方案。

这个需求正好是XML Schema中key和keyref特性的典型应用——它们可以帮你建立元素之间的引用关系，确保引用的元素一定存在于全局集合中。

实现步骤 #

1. 为全局集合定义唯一键：先给所有全局的<layout>元素定义一个唯一标识（比如用name和type的组合，避免同名不同类型的冲突）。
2. 在allowedLayouts的上定义引用：让每个<allowedLayouts>里的<layout>必须匹配全局集合中已有的某个<layout>的标识。

完整Schema示例 #

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">

  <!-- 1. 定义全局layouts集合的唯一键：每个layout的name+type组合必须唯一 -->
  <xs:key name="layoutKey">
    <xs:selector xpath="layouts/layout"/> <!-- 选中所有layouts下的layout元素 -->
    <xs:field xpath="@name"/> <!-- 键的第一个字段：name属性 -->
    <xs:field xpath="@type"/> <!-- 键的第二个字段：type属性 -->
  </xs:key>

  <!-- 全局layouts元素的定义 -->
  <xs:element name="layouts">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="layout" maxOccurs="unbounded">
          <xs:complexType>
            <xs:attribute name="name" type="xs:string" use="required"/>
            <xs:attribute name="type" type="xs:string" use="required"/>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
    </xs:complexType>
  </xs:element>

  <!-- section元素的定义，包含allowedLayouts -->
  <xs:element name="section">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="allowedLayouts">
          <xs:complexType>
            <xs:sequence>
              <xs:element name="layout" maxOccurs="unbounded">
                <xs:complexType>
                  <xs:attribute name="name" type="xs:string" use="required"/>
                  <xs:attribute name="type" type="xs:string" use="required"/>
                </xs:complexType>
                <!-- 2. 定义keyref，引用全局的layoutKey -->
                <xs:keyref name="allowedLayoutRef" refer="layoutKey">
                  <xs:selector xpath="."/> <!-- 选中当前的layout元素 -->
                  <xs:field xpath="@name"/> <!-- 匹配key的name字段 -->
                  <xs:field xpath="@type"/> <!-- 匹配key的type字段 -->
                </xs:keyref>
              </xs:element>
            </xs:sequence>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
      <xs:attribute name="name" type="xs:string" use="required"/>
    </xs:complexType>
  </xs:element>

</xs:schema>

说明 #

• 如果你的业务规则中，name属性本身就是全局唯一的（不需要和type组合），可以直接去掉type相关的<xs:field>，只保留@name作为唯一键即可。
• 这个方案会自动验证：<allowedLayouts>里的每个<layout>的name和type，必须能在全局<layouts>集合中找到完全匹配的项，否则XML验证会失败。

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