本文介绍如何在excel批量校验中，不仅判断合同描述是否符合模板，更精确识别错误类型（如多余空格、标点缺失）及发生位置，结合正则校验与语法解析思想，实现可调试、可扩展的文本质量控制。
本文介绍如何在excel批量校验中，不仅判断合同描述是否符合模板，更精确识别错误类型（如多余空格、标点缺失）及发生位置，结合正则校验与语法解析思想，实现可调试、可扩展的文本质量控制。
在合同履约数据自动化录入场景中，仅返回“OK”或“not OK”远远不够——业务人员需要知道哪里错了、为什么错、怎么改。原始正则匹配（re.match）虽能整体判别，却无法定位错误片段。要真正提升数据治理能力，需将文本校验升级为结构化语法验证：把合同描述视为一种轻量级领域专用语言（DSL），通过定义语法规则并捕获解析失败点，实现错误类型与位置的双重诊断。
核心思路：从“模糊匹配”到“精确解析”
正则表达式擅长模式存在性判断，但不擅长指出“哪个token未对齐”。而基于 parsimonious 的 PEG（Parsing Expression Grammar）解析器，能逐规则尝试匹配，并在首次失败时精准报告：
- 失败规则名（如 ws 表示空白符规则不满足 → 暗示空格异常）；
- 失败起始位置（字符偏移 + 行列坐标 → 直接定位到出错单词后）。
这比手动拆分字符串+多层 if/else 判断更健壮、更易维护。
实战代码：构建可诊断的合同模板解析器
以下是一个生产就绪的解析方案，已适配您提供的模板规范，并支持错误归因：
import re
from parsimonious.grammar import Grammar
from parsimonious.nodes import NodeVisitor
from parsimonious.exceptions import ParseError
import pandas as pd
# 定义严格语法：每个空格、标点、单词边界均显式建模
GRAMMAR_TEXT = r"""
entry = prefix ws object_no ws serviced ws date ws fulfilment ws obligation_no ws dated ws date ws vat
prefix = "Object №"
serviced = "Serviced"
fulfilment = "Fulfilment of obligations under agr. №"
dated = "dated"
vat = ", VAT exempt."
object_no = ~r"\d+" # 仅数字，禁止前导零（如需可加约束）
date = ~r"\b(0[1-9]|[12][0-9]|3[01])\.(0[1-9]|1[0-2])\.(20\d\d)\b"
obligation_no = ~r"\b\d+/\d+/\d+\b"
ws = ~r"\s+" # 强制至少一个空白符（含空格、制表符）
"""
class ContractTemplateVisitor(NodeVisitor):
grammar = Grammar(GRAMMAR_TEXT)
def visit_entry(self, node, visited_children):
return "OK"
def generic_visit(self, node, visited_children):
return visited_children or node
def diagnose_contract_text(text: str) -> str:
"""返回具体错误描述，如 'double space after "10023", missing dot before "VAT"'"""
try:
ContractTemplateVisitor().parse(text)
return "OK"
except ParseError as e:
# 提取关键线索：失败规则名 + 上下文片段
pos = e.pos
context = text[max(0, pos-15):pos+20].strip()
if "ws" in str(e):
# 空白符错误：检查前后字符判断是多余空格还是缺失空格
prev_char = text[pos-1] if pos > 0 else ""
next_char = text[pos] if pos < len(text) else ""
if prev_char == " " and next_char == " ":
return f"extra space near '{context}'"
elif prev_char != " " and next_char != " ":
return f"missing required space near '{context}'"
elif "vat" in str(e):
if text.rstrip().endswith(", VAT exempt"):
return "missing final period (.)"
elif "date" in str(e):
return f"invalid date format near '{context}'"
elif "object_no" in str(e):
return f"invalid object number (non-digit chars) near '{context}'"
return f"parsing failed at position {pos}: {str(e).split('Rule')[0].strip()}"
# 应用于DataFrame（假设df已有'original information'列）
df = pd.read_excel("contracts.xlsx")
df["text_verification"] = df["original information"].apply(diagnose_contract_text)关键优势与注意事项
✅ 精准定位：错误信息包含上下文片段（如 '10023 Serviced'），无需人工翻查原始行；
✅ 语义归因：将底层语法失败映射为业务语言（“多余空格”“日期格式错误”）；
✅ 可扩展性强：新增校验项（如增加合同编号前缀校验）只需修改 GRAMMAR_TEXT 和 diagnose_contract_text 中的分支逻辑；
⚠️ 注意性能：parsimonious 解析比纯正则慢约3–5倍，但对数千行数据仍属毫秒级，建议在预处理阶段使用；
⚠️ 正则边界需严谨：示例中 date 规则已加入完整日期有效性约束（如月份≤12），避免 99.99.9999 类误通过；
⚠️ 空格建模是关键：ws = ~r"\s+" 显式要求“至少一个空白”，使 № 90/11/122（正常）与 №90/11/122（缺失空格）可被区分。
总结
文本模板校验不应止步于“对/错”二值判断。通过引入语法解析范式，将业务规则转化为可执行、可调试、可溯源的结构化定义，不仅能自动输出“double space after 10023”这类高信息密度反馈，更能为后续数据清洗、用户提示、甚至自修复（如正则替换建议）奠定基础。对于合同、发票、报关单等强格式文本场景，这种“解析即校验”的方法论，是迈向高质量自动化数据治理的关键一步。
