2

我有一个简单的doc.xml文件，其中包含一个带有 Timestamp 属性的根元素：

<?xml version="1.0" encoding="utf-8"?>
<root Timestamp="04-21-2010 16:00:19.000" />

我想根据我的简单验证此文档，schema.xsd以确保时间戳的格式正确：

<?xml version="1.0" encoding="utf-8"?>
<xs:schema attributeFormDefault="unqualified" elementFormDefault="qualified" xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="root">
    <xs:complexType>
      <xs:attribute name="Timestamp" use="required" type="timeStampType"/>
    </xs:complexType>
  </xs:element>
  <xs:simpleType name="timeStampType">
    <xs:restriction base="xs:string">
      <xs:pattern value="(0[0-9]{1})|(1[0-2]{1})-(3[0-1]{1}|[0-2]{1}[0-9]{1})-[2-9]{1}[0-9]{3} ([0-1]{1}[0-9]{1}|2[0-3]{1}):[0-5]{1}[0-9]{1}:[0-5]{1}[0-9]{1}.[0-9]{3}" />
    </xs:restriction>
  </xs:simpleType>
</xs:schema>

所以我使用lxml Python 模块并尝试执行简单的模式验证并报告任何错误：

from lxml import etree

schema = etree.XMLSchema( etree.parse("schema.xsd") )
doc = etree.parse("doc.xml")

if not schema.validate(doc):
    for e in schema.error_log:
        print e.message

我的 XML 文档验证失败，并显示以下错误消息：

Element 'root', attribute 'Timestamp': [facet 'pattern'] The value '04-21-2010 16:00:19.000' is not accepted by the pattern '(0[0-9]{1})|(1[0-2]{1})-(3[0-1]{1}|[0-2]{1}[0-9]{1})-[2-9]{1}[0-9]{3} ([0-1]{1}[0-9]{1}|2[0-3]{1}):[0-5]{1}[0-9]{1}:[0-5]{1}[0-9]{1}.[0-9]{3}'.
Element 'root', attribute 'Timestamp': '04-21-2010 16:00:19.000' is not a valid value of the atomic type 'timeStampType'.

所以看起来我的正则表达式一定有问题。但是当我尝试在命令行验证正则表达式时，它通过了：

>>> import re
>>> pat = '(0[0-9]{1})|(1[0-2]{1})-(3[0-1]{1}|[0-2]{1}[0-9]{1})-[2-9]{1}[0-9]{3} ([0-1]{1}[0-9]{1}|2[0-3]{1}):[0-5]{1}[0-9]{1}:[0-5]{1}[0-9]{1}.[0-9]{3}'
>>> assert re.match(pat, '04-21-2010 16:00:19.000')
>>>

我知道 XSD 正则表达式并不具备所有功能，但我发现的文档表明我使用的每个功能都应该有效。

那么我误解了什么，为什么我的文档失败了？

4

2 回答 2

3

您|的匹配范围比您想象的要广泛。

(0[0-9]{1})|(1[0-2]{1})-(3[0-1]{1}|[0-2]{1}[0-9]{1})-[2-9]{1}[0-9]{3}

被解析为：

(0[0-9]{1})
    -or-
(1[0-2]{1})-(3[0-1]{1}|[0-2]{1}[0-9]{1})-[2-9]{1}[0-9]{3}

如果你想避免它，你需要使用更多的分组；例如

((0[0-9]{1})|(1[0-2]{1}))-((3[0-1]{1}|[0-2]{1}[0-9]{1}))-[2-9]{1}[0-9]{3} (([0-1]{1}[0-9]{1}|2[0-3]{1})):[0-5]{1}[0-9]{1}:[0-5]{1}[0-9]{1}.[0-9]{3}
于 2010-05-10T21:05:29.180 回答
3

该表达式有几个错误。

  1. 您允许00作为有效月份。
  2. A|BC匹配Aand BC- not ACand BC。因此，您的表达式以(0[0-9]{1})|匹配任何包含00through的字符串09。你想要的(0[1-9]|1[0-2])-只是匹配01通过12后跟一个破折号。
  3. 您允许00作为有效日期。
  4. 模式未锚定到文本的开头和结尾 - 添加^和$。这就是您使用 Python 进行测试成功的原因。

顺便说一句 - 你为什么不使用xs:dateTime？它有一个非常相似的格式——yyyy-mm-ddThh:mm:ss.fff我想。

于 2010-05-10T21:06:19.483 回答