XSD能否在choice中通过属性约束区分同名元素分支？

原生XSD 1.0规范下，xs:choice不支持通过属性值作为分支匹配依据，你遇到的歧义警告来自W3C XML Schema强制要求的唯一粒子归属约束（UPA）：验证时判断元素匹配哪个Schema粒子，只能依据元素名称，不允许读取元素的属性、内部内容，也不能参考前后相邻的元素信息。

• 你在choice分支里放置两个同名vehicle元素的写法，验证器读到<vehicle>起始标签时，仅靠元素名完全无法判断该走car规则分支还是plane规则分支，必须读取type属性值才能判断，直接违反UPA约束，必然报内容模型歧义错误。
• 这个约束是XSD 1.0设计时就定死的，核心目的是降低验证器实现复杂度、提升大文件验证效率，没有给choice开放按属性、内容匹配分支的能力，所以想靠在choice里塞同名元素、靠属性区分分支的思路在XSD 1.0里完全走不通。

如果要实现「同名vehicle元素根据type属性值匹配不同必填属性规则」的效果，有两种成熟路径：

• 采用XSD 1.1规范的条件类型赋值（Conditional Type Assignment）特性
  这是W3C专门为这类场景设计的标准能力，不需要在choice里放同名元素，逻辑上和你预期的分支选择效果完全一致，不会触发UPA错误，示例XSD如下：

<xs:schema attributeFormDefault="unqualified" elementFormDefault="qualified" xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="root">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="vehicle" type="vehicleBaseType" maxOccurs="unbounded">
          <!-- 按type属性值匹配对应的类型规则 -->
          <xs:alternative test="@type='car'" type="carType"/>
          <xs:alternative test="@type='plane'" type="planeType"/>
        </xs:element>
      </xs:sequence>
    </xs:complexType>
  </xs:element>

  <!-- 所有vehicle的基础类型，定义公共必填的type属性 -->
  <xs:complexType name="vehicleBaseType">
    <xs:attribute name="type" type="xs:string" use="required"/>
  </xs:complexType>

  <!-- 汽车类型：追加必填的engine属性 -->
  <xs:complexType name="carType">
    <xs:complexContent>
      <xs:extension base="vehicleBaseType">
        <xs:attribute name="engine" type="xs:unsignedShort" use="required"/>
      </xs:extension>
    </xs:complexContent>
  </xs:complexType>

  <!-- 飞机类型：追加必填的wings属性 -->
  <xs:complexType name="planeType">
    <xs:complexContent>
      <xs:extension base="vehicleBaseType">
        <xs:attribute name="wings" type="xs:unsignedByte" use="required"/>
      </xs:extension>
    </xs:complexContent>
  </xs:complexType>
</xs:schema>

目前Saxon、Xerces 2.11+等主流XML验证器都已支持XSD 1.1规范，可以直接使用。

• 如果必须兼容XSD 1.0环境
  这种情况下原生XSD 1.0无法实现条件属性必填的校验，你可以先在XSD里定义vehicle元素可重复出现、type属性必填，engine和wings属性设为可选，再通过Schematron补充规则、或者上层业务代码实现「type为car时engine必填、type为plane时wings必填」的校验逻辑。

内容的提问来源于stack exchange，提问作者MrD at KookerellaLtd