XML 正在验证的文档定义的架构限制

Question

有没有办法让 XML 模式定义如下内容，其中 <item> 元素中使用的代码由文档作者定义在 <validCodes> 元素中。这些代码本身可能仅限于枚举或简单的正则表达式匹配，但这在这里并不重要。

<validCodes>
  <code>AA</code>
  <code>BB</code>
</validCodes>
...
<item code="AA"> VALID </item>
<item code="BB"> VALID </item>
<item code="AB"> INVALID </item>

换句话说，我想允许配置文件的作者在 XML 中定义他们自己的限制，而不必根据模式来定义它。

Answer 1

XSD 1.0

无法表达您的约束。

XSD 1.1

您的约束可以通过断言表达：

<xs:assert test="every $c in item/@code satisfies $c = validCodes/code"/>

XML

<?xml version="1.0" encoding="UTF-8"?>
<r>
  <validCodes>
    <code>AA</code>
    <code>BB</code>
  </validCodes>
  <item code="AA"> VALID </item>
  <item code="BB"> VALID </item>
  <item code="AB"> INVALID </item>
</r>

XSD

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
           xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning"
           elementFormDefault="qualified"
           vc:minVersion="1.1">
  <xs:element name="r">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="validCodes">
          <xs:complexType>
            <xs:sequence>
              <xs:element name="code" type="xs:string" maxOccurs="unbounded"/>
            </xs:sequence>
          </xs:complexType>
        </xs:element>
        <xs:element name="item" maxOccurs="unbounded">
          <xs:complexType>
            <xs:simpleContent>
              <xs:extension base="xs:string">
                <xs:attribute name="code" type="xs:string"/>
              </xs:extension>
            </xs:simpleContent>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
     <xs:assert test="every $c in item/@code satisfies $c = validCodes/code"/>
    </xs:complexType>
  </xs:element>
</xs:schema>

XML 正在验证的文档定义的架构限制

XML Schema restriction defined by document being validated

xml

xsd

xml-validation

xsd-validation

XSD 1.0

XSD 1.1