XSD xs:choice 不应该允许空选择

XSD xs:choice shouldn't allow empty choice

我的 XSD 有问题。我的 XSD 包含一个 xs:choice 来实现选择这些类型中的一种的选项。不允许选择无类型(或 Null)!

<xs:complexType name="TypeAndValue">
<xs:choice minOccurs="1">
  <xs:element minOccurs="1" name="SimpleType" nillable="false" type="SimpleDataTypeAndValue" />
  <xs:element minOccurs="1" name="ArrayType" nillable="false"  type="ArrayTypeAndValue" />
  <xs:element minOccurs="1" name="ListType"  nillable="false"  type="ListTypeAndValue" />
  <xs:element minOccurs="1" name="ClassType" nillable="false" type="IdentifierTypeAndValue" />
</xs:choice>

我通过 xsd.exe 从 xsd 创建了一个 .cs 文件。这工作正常,没有错误。但是如果我尝试这样的 XML-File,XML 将被接受:

<?xml version="1.0"?>
<Block xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
    <Class Identifier="Test">
      <Declaration Identifier="List">
        <TypeAndValue>
        </TypeAndValue>
      </Declaration>
    </Class>
</Block>

我已经尝试 minOccurs="1"nillable="false" 选择和元素,但架构接受空 TypeAndValue 块。

难道我需要修改cs文件?

编辑: 这是完整的 XSD:

<?xml version="1.0" encoding="utf-8"?>
<xs:schema elementFormDefault="qualified" xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="Block" nillable="true" type="Block" />
  <xs:complexType name="Block">
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" name="Class" nillable="true" type="Class" />
    </xs:sequence>
  </xs:complexType>
  <xs:complexType name="Class">
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" name="Declaration" nillable="true" type="Declaration" />
    </xs:sequence>
    <xs:attribute name="Accessmodifier" type="Accessmodifier" />
    <xs:attribute name="Identifier" type="xs:string" use="required"/>
  </xs:complexType>
  <xs:complexType name="Declaration">
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" name="Modifier" nillable="true" type="Modifier" />
      <xs:element minOccurs="1" maxOccurs="1" name="TypeAndValue" type="TypeAndValue" />
    </xs:sequence>
    <xs:attribute name="Accessmodifier" type="Accessmodifier" />
    <xs:attribute name="Identifier" type="xs:string" use="required" />
  </xs:complexType>
  <xs:simpleType name="Modifier">
    <xs:restriction base="xs:string">
      <xs:enumeration value="Static"/>
      <xs:enumeration value="Constant"/>
    </xs:restriction>
  </xs:simpleType>
  <xs:simpleType name="Accessmodifier">
    <xs:restriction base="xs:string">
      <xs:enumeration value="Public"/>
      <xs:enumeration value="Private"/>
      <xs:enumeration value="Internal"/>
    </xs:restriction>
  </xs:simpleType>
  <xs:complexType name="SimpleDataTypeAndValue">
    <xs:attribute name="Type"  type="SimpleType" use="required"/>
    <xs:attribute name="Value" type="xs:string" />
  </xs:complexType>
  <xs:complexType name="IdentifierTypeAndValue">
    <xs:attribute name="Type" type="xs:string"/>
  </xs:complexType>
  <xs:complexType name="ArrayTypeAndValue">
    <xs:choice>
        <xs:element minOccurs="1" maxOccurs="1" name="Dimension" type="ArrayDimension" />
        <xs:element minOccurs="1" maxOccurs="1" name="DataInitialization" type="ArrayDataInitialization" />
    </xs:choice>
    <xs:attribute name="Type" type="SimpleType" use="required"/>
  </xs:complexType>
  <xs:complexType name="ArrayDimension">
    <xs:attribute name="Amount" type="xs:int" use="required"/>
  </xs:complexType>
  <xs:complexType name="ArrayDataInitialization">
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" name="Value" type="xs:string" />
    </xs:sequence>
  </xs:complexType>
  <xs:complexType name="ListTypeAndValue">
     <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" name="Value" type="xs:string" />
     </xs:sequence>
     <xs:attribute name="Type" type="SimpleType" use="required" />
  </xs:complexType>
  <xs:complexType name="TypeAndValue">
    <xs:choice minOccurs="1">
      <xs:element minOccurs="1" name="SimpleType" nillable="false" type="SimpleDataTypeAndValue" />
      <xs:element minOccurs="1" name="ArrayType" nillable="false"  type="ArrayTypeAndValue" />
      <xs:element minOccurs="1" name="ListType"  nillable="false"  type="ListTypeAndValue" />
      <xs:element minOccurs="1" name="ClassType" nillable="false" type="IdentifierTypeAndValue" />
    </xs:choice>
  </xs:complexType>
  <xs:simpleType name="SimpleType">
    <xs:restriction base="xs:string">
      <xs:enumeration value="Int"/>
      <xs:enumeration value="Float"/>
      <xs:enumeration value="Double"/>
      <xs:enumeration value="Bool"/>
      <xs:enumeration value="String"/>
      <xs:enumeration value="Char"/>
      <xs:enumeration value="Byte"/>
      <xs:enumeration value="Short"/>
      <xs:enumeration value="Long"/>
      <xs:enumeration value="Date"/>
    </xs:restriction>
  </xs:simpleType>
  <xs:element name="Class" nillable="true" type="Class" />
  <xs:element name="Declaration" nillable="true" type="Declaration" />
</xs:schema>

你的XML实际上不是对你的XSD有效:

[Error] try.xml:9:24: cvc-complex-type.2.4.b: The content of element 'TypeAndValue' is not complete. One of '{SimpleType, ArrayType, ListType, ClassType}' is expected.

由于这是您的期望,您应该怀疑您验证 XML 的方法。确保您使用的是验证解析器并且验证已打开。