对拍是一种进行检验或调试的方法,通过对比两个程序的输出来检验程序的正确性。可以将自己程序的输出与其他程序的输出进行对比,从而判断自己的程序是否正确。
对拍过程要多次进行,因此需要通过批处理的方法来实现对拍的自动化。
具体而言,对拍需要一个 数据生成器 和两个要进行输出结果比对的程序。
每运行一次数据生成器都将生成的数据写入输入文件,通过重定向的方法使两个程序读入数据,并将输出写入指定文件,最后利用 Windows 下的 fc 命令比对文件(Linux 下为 diff 命令)来检验程序的正确性。如果发现程序出错,可以直接利用刚刚生成的数据进行调试。
对拍程序的大致框架如下:
#include <stdio.h>
#include <stdlib.h>
int main() {
// For Windows
//对拍时不开文件输入输出
//当然,这段程序也可以改写成批处理的形式
while (true) {
system("gen > test.in"); //数据生成器将生成数据写入输入文件
system("test1.exe < test.in > a.out"); //获取程序1输出
system("test2.exe < test.in > b.out"); //获取程序2输出
if (system("fc a.out b.out")) {
// 该行语句比对输入输出
// fc返回0时表示输出一致,否则表示有不同处
system("pause"); // 方便查看不同处
return 0;
// 该输入数据已经存放在test.in文件中,可以直接利用进行调试
}
}
}