如何在批处理文件中查找所有未终止的百分号实例？

问题描述 #

我写了一个Python函数用来检查批处理文件的潜在错误，目标是找出包含未终止百分号的行，但当前函数存在误报问题：它会把所有带%符号的行都判定为错误，哪怕是像下面这种合法的批处理代码也会被错误触发：

set Log_File=%Backup_Folder%\Logs\daily_copy.log 

当前错误代码 #

import re

def check_unterminated_percent_signs(content):
    # check for unterminated percent signs
    errors = []
    for i, line in enumerate(content.split('\n')):
        match = re.search(r'%[^%\n]*$', line)
        if match:
            errors.append(f'Unterminated percent sign found on line {i+1}, position {match.start()}: {line.strip()}')
    return errors

问题原因 #

当前使用的正则表达式 %[^%\n]*$ 存在逻辑缺陷：它会匹配任何行内出现的、后面没有跟随另一个%直到行尾的百分号。但在批处理语法中，%变量名% 是合法的成对百分号结构，只要行内的%总数是偶数，就说明所有百分号都已正确终止。原函数没有区分成对和单个的%，导致大量误报。

修复后的函数 #

方案一：通过统计百分号数量判断 #

这种方法简单直接，通过统计每行中%的总数是否为奇数来判断是否存在未终止的百分号：

import re

def check_unterminated_percent_signs(content):
    errors = []
    # 按行遍历，行号从1开始计数
    for line_num, line in enumerate(content.split('\n'), start=1):
        total_percents = line.count('%')
        # 百分号数量为奇数，说明存在未终止的
        if total_percents % 2 != 0:
            # 转成人类习惯的1-based位置
            last_percent_pos = line.rfind('%') + 1
            errors.append(f"第{line_num}行发现未终止的百分号，位置{last_percent_pos}：{line.strip()}")
    return errors

方案二：用正则匹配未成对的百分号 #

如果需要更精准地定位未成对的%，可以先移除所有合法的%...%结构，再检查剩余内容中是否存在%：

import re

def check_unterminated_percent_signs(content):
    errors = []
    # 匹配合法的成对百分号结构（%后跟任意非%字符，直到下一个%）
    valid_pair_pattern = re.compile(r'%[^%]+%')
    
    for line_num, line in enumerate(content.split('\n'), start=1):
        # 移除所有合法的成对%结构
        stripped_line = valid_pair_pattern.sub('', line)
        # 检查剩余内容中是否有%
        if '%' in stripped_line:
            # 转成人类习惯的1-based位置
            last_percent_pos = line.rfind('%') + 1
            errors.append(f"第{line_num}行发现未终止的百分号，位置{last_percent_pos}：{line.strip()}")
    return errors

验证测试 #

对于合法的批处理行 set Log_File=%Backup_Folder%\Logs\daily_copy.log，修复后的函数会正确识别其中的%是成对的，不会触发错误；而对于类似 set Var=Unterminated% 这种存在单个%的行，会准确报告错误。

内容的提问来源于stack exchange，提问作者ScottC