XML Schema 1.0能否基于其他复杂类型元素值设置元素必填条件？

你提到的需求是：基于Location复杂类型中Street元素的存在/缺失，来控制Person复杂类型中Address元素的必填性——即填写Street时Address必填，未填Street时Address可选。

原XML Schema代码如下：

<xs:complexType name="Location">
    <xs:sequence>
        <xs:element name="Street" type="xs:string" minOccurs="0" /> 
        <xs:element name="City" type="xs:string" minOccurs="1" />
        <xs:element name="State" type="xs:string" minOccurs="1" /> 
        <xs:element name="ZipCode" type="xs:string" minOccurs="0" />
    </xs:sequence>
</xs:complexType>
<xs:complexType name="Person">
    <xs:sequence>
        <xs:element name="FirstName" type="xs:string" minOccurs="1" />
        <xs:element name="LastName" type="xs:string" minOccurs="1"/>
        <xs:element name="Age" type="xs:positiveInteger" minOccurs="0" />
        <xs:element name="Address" type="xs:string" minOccurs="0"/>
    </xs:sequence>
</xs:complexType>

核心结论 #

XML Schema 1.0不支持这种跨复杂类型的条件依赖约束。

原因说明 #

Schema 1.0的验证能力局限于单一复杂类型内部的结构规则，比如通过minOccurs/maxOccurs控制元素出现次数，或用<xs:choice>、<xs:group>定义互斥/包含的元素组合，但无法跨独立的complexType（比如Location和Person是两个无直接嵌套关系的复杂类型），将一个类型中元素的存在状态作为另一个类型元素的必填判断条件。

替代方案 #

如果要实现这类逻辑，有两种可行方式：

1. 升级到XML Schema 1.1：它新增了<xs:assert>断言机制，允许编写XPath表达式来实现跨元素的条件约束。例如可以在包含Person和Location的根元素中添加断言，判断Street存在时Address必须存在。
2. 应用层验证：在解析XML的业务代码中，额外添加逻辑判断，手动校验Street和Address的依赖关系。

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