cvc-id.1 / cvc-id.2: порушення зв’язків ідентифікаторів

Що повідомлення означає буквально

Перший зразок містить A1, але посилається на відсутній A2. Заміна посилання на A1 відновлює зв’язок. У другому два записи мають A1; призначення другому A2 повертає унікальність. Під час зміни справжнього ID також оновіть усі посилання, які мають позначати саме цей об’єкт.

Три поширені причини для перевірки

1. Цільовий запис відфільтровано, перенесено до іншого документа або перейменовано без оновлення посилань. IDREF перевіряє поточний XML, а не віддалену базу.
2. Генератор призначив однакові ID різним записам. Об’єднання фрагментів може утворити колізії, хоча кожен початковий фрагмент окремо був правильним.
3. Поля не типізовано як xs:ID і xs:IDREF. Звичайний рядковий атрибут на ім’я id автоматично не отримує семантики схемної ідентичності.

Виправлення та повторна перевірка

Зберіть усі типізовані ID та посилання повного документа, потім окремо перевірте унікальність і відсутні цілі. Простежте початкові записи кожної колізії перед повторною генерацією значень. Запускайте перевірку після додавання всіх цілей: посилання вперед допустиме, тож поява посилання раніше за ціль сама по собі не доводить порушення.

Коли причина у просторі імен

Значення ID тут є ідентифікаторами, а не кваліфікованими назвами елементів. Зміна xmlns не створює A2 і не робить два A1 різними. Простори імен важливі, якщо кваліфікація заважає атрибуту отримати задуманий тип. Переконайтеся, що оголошення ідентичності справді застосоване до потрібного поля.

Як зіставляти звіти рушіїв

Виміряний libxml2/WASM пропускає відсутню ціль, тоді як Xerces, .NET і другий рушій XSDHub її відхиляють. Кнопки IDREF вибирають другий рушій із непозначеним дозволом надсилання. Завантаження нічого не відправляє: для запуску позначте згоду та натисніть Validate XML. Повторний ID локальна перевірка виявляє, як показано окремо.

Повні перевірені пари XML та XSD

Відкрийте потрібний варіант у редакторі й натисніть Validate XML. Завантаження прикладу не запускає перевірку та не надсилає документи; серверний режим потребує окремої згоди.

Журнали отримано 5 листопада 2026 року під час запуску саме тих файлів, які наведено нижче. Завантажити виміряні результати та хеші SHA-256.

<catalog>
  <item id="A1"/>
  <link ref="A2"/>
</catalog>

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="catalog">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="item" maxOccurs="unbounded">
          <xs:complexType>
            <xs:attribute name="id" type="xs:ID" use="required"/>
          </xs:complexType>
        </xs:element>
        <xs:element name="link" minOccurs="0">
          <xs:complexType>
            <xs:attribute name="ref" type="xs:IDREF" use="required"/>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
</xs:schema>

<catalog>
  <item id="A1"/>
  <link ref="A1"/>
</catalog>

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="catalog">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="item" maxOccurs="unbounded">
          <xs:complexType>
            <xs:attribute name="id" type="xs:ID" use="required"/>
          </xs:complexType>
        </xs:element>
        <xs:element name="link" minOccurs="0">
          <xs:complexType>
            <xs:attribute name="ref" type="xs:IDREF" use="required"/>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
</xs:schema>

cvc-id.1: There is no ID/IDREF binding for IDREF 'A2'.

Reference to undeclared ID is 'A2'.

PASS: no validation diagnostic.

IDREF 'A2' not found in XML document

<catalog>
  <item id="A1"/>
  <item id="A1"/>
</catalog>

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="catalog">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="item" maxOccurs="unbounded">
          <xs:complexType>
            <xs:attribute name="id" type="xs:ID" use="required"/>
          </xs:complexType>
        </xs:element>
        <xs:element name="link" minOccurs="0">
          <xs:complexType>
            <xs:attribute name="ref" type="xs:IDREF" use="required"/>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
</xs:schema>

<catalog>
  <item id="A1"/>
  <item id="A2"/>
</catalog>

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="catalog">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="item" maxOccurs="unbounded">
          <xs:complexType>
            <xs:attribute name="id" type="xs:ID" use="required"/>
          </xs:complexType>
        </xs:element>
        <xs:element name="link" minOccurs="0">
          <xs:complexType>
            <xs:attribute name="ref" type="xs:IDREF" use="required"/>
          </xs:complexType>
        </xs:element>
      </xs:sequence>
    </xs:complexType>
  </xs:element>
</xs:schema>

cvc-id.2: There are multiple occurrences of ID value 'A1'.
cvc-attribute.3: The value 'A1' of attribute 'id' on element 'item' is not valid with respect to its type, 'ID'.

'A1' is already used as an ID.

Element 'item', attribute 'id': 'A1' is not a valid value of the atomic type 'xs:ID'.

attribute id='A1': duplicated xs:ID value 'A1'

Зіставлення із Saxon та межі перевірки

Документація Saxonica відносить обробку XSD до Enterprise Edition. Рядки Saxon зіставляють обмеження та не видають вигадані повідомлення за результат. Чотири виміряні рядки стосуються Xerces, .NET, локального рушія редактора й другого рушія XSDHub.

Успішні виправлення стосуються цих самодостатніх зразків XSD 1.0. Вони не підтверджують виконання бізнес-правил для іншого документа чи версії схеми.

Продовжити діагностику

• xsd identity constraints
• cvc-complex-type.3.2.2 / cvc-complex-type.4: attributes

Усі коди помилок парсерів · Валідатор XML та XSD

Першоджерела

• Каталог повідомлень Apache Xerces
• Microsoft: перевірка схеми та ідентичності