如何自动化批量修改代码：将等式转换为带行号松弛变量的不等式

针对数千行代码的批量替换需求，用逐行匹配的脚本处理效率最高，不会误改非目标行，具体实现如下：

核心处理规则 #

逐行读取原始代码时保留原始行号计数（从1开始），对每一行做格式校验：

• 识别符合[表达式A] == [常量值val];格式的等式约束行
• 对第L行的匹配项，替换为两行固定格式的不等式：

  A - val >= -s[L];
  A - val <=  s[L];
  

• 不满足格式的行（比如注释、其他语法行、非等式约束）原样保留，不做修改

可直接运行的Python脚本 #

import re

# 替换为你自己的文件路径，操作前务必备份原始代码
input_path = "original_code.txt"  # 你的原始代码文件
output_path = "modified_code.txt" # 替换后输出的文件

# 正则匹配规则：捕获等号左侧表达式、右侧常量值，适配整数、小数、负数格式的常量
eq_pattern = re.compile(r'^\s*(.*?)\s*==\s*(-?\d+\.?\d*)\s*;\s*$')

with open(input_path, 'r', encoding='utf-8') as fin, open(output_path, 'w', encoding='utf-8') as fout:
    for line_idx, raw_line in enumerate(fin, start=1):
        raw_line = raw_line.rstrip('\n')
        match_res = eq_pattern.match(raw_line)
        if match_res:
            expr_A = match_res.group(1).strip()
            const_val = match_res.group(2).strip()
            # 按示例格式生成两行不等式，对齐<=符号的排版
            fout.write(f"{expr_A} - {const_val} >= -s[{line_idx}];\n")
            fout.write(f"{expr_A} - {const_val} <=  s[{line_idx}];\n")
            # 保留示例里不同等式块之间的空行，不需要就删掉下一行
            fout.write('\n')
        else:
            # 非目标行原样输出
            fout.write(raw_line + '\n')

使用注意事项 #

• 运行脚本前一定要备份原始代码，避免误操作导致文件损坏
• 如果你的代码里常量不是纯数字格式（比如是预定义常量名、科学计数法数值），可以调整正则里(-?\d+\.?\d*)这一段的匹配规则，适配你的实际代码格式
• 脚本默认在每组替换后的不等式后加空行，和你给出的示例排版一致，不需要空行直接注释掉对应写空行的代码即可
• 建议先截取包含998、999行的小片段做测试，确认输出格式完全符合要求后，再处理全量代码文件

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