关于CCR测评器的自定义校验器（Special Judge）

Posted 2020-11-07

引言

有时我们需要使用CCR测评器（CCR-Plus是一个开源的信息学竞赛测评软件，Github链接https://github.com/sxyzccr/CCR-Plus）进行SpecialJudge（以下简称SPJ）。例如判断选手输出与标准输出的差距，大于一定的值就算错，这时就需要用SpecialJudge了。

在CCR测评器中，SPJ是用一项叫做自定义校验器的功能实现的。CCR的文档没有写明校验器的语法，网上也没有这一类的信息。于是，我在CCR的源代码中找到了CCR的默认校验器（全文比较），并将校验器的写法写成此篇博客。

正文

编译好的SPJ程序放在\data\prob\目录下（prob是题目名）。

 1 // https://github.com/sxyzccr/CCR-Plus/blob/master/src/tools/checker/fulltext_utf8.cpp
 2 #include <string>
 3 #include <cstdio>
 4 #include <cstdlib>
 5 #include <cstring>
 6 #include <iostream>
 7 using namespace std;
 8 
 9 string In, Out, Ans, Log;
10 FILE* fout, *fans, *flog;
11 
12 void End(const string& info, double x, int state = 0)
13 {
14     fprintf(flog, "%.3lf\n%s\n", x, info.c_str());
15     exit(state);
16 }
17 
18 inline void filter(string& s)
19 {
20     for (; s.size() && isspace(s[s.size() - 1]); s.erase(s.size() - 1));
21 }
22 
23 string elided(const string& s, int p)
24 {
25     string pre = "", suf = "";
26     for (int i = 0; i < p; i++) pre.push_back(s[i]);
27     if (pre.size() > 3) pre = string("…") + pre.substr(pre.size() - 3, 3);
28     int l = s.size() - p;
29     if (pre.size() + l >= 13) l = 11 - pre.size(), suf = "…";
30     for (int i = 0; i < l; i++) pre.push_back(s[p + i]);
31     return pre + suf;
32 }
33 
34 int compare(const string& a, const string& b)
35 {
36     int la = a.length(), lb = b.length();
37     for (int i = 0; i < la && i < lb; i++) if (a[i] != b[i]) return i;
38     return la != lb ? min(la, lb) : -1;
39 }
40 
41 void Open()
42 {
43     if (Log.size()) flog = fopen(Log.c_str(), "w"); else flog = stdout;
44     if (flog == NULL) exit(1);
45     if ((fans = fopen(Ans.c_str(), "r")) == NULL) exit(1);
46     if ((fout = fopen(Out.c_str(), "r")) == NULL) exit(1);
47 }
48 
49 void Check()
50 {
51     char s[256];
52     for (int i = 1; !feof(fout) || !feof(fans); i++)
53     {
54         string s1 = "", s2 = "";
55         char c1 = -1, c2 = -1;
56         for (; !feof(fans) && (c1 = fgetc(fans)) != ‘\n‘;) if (c1 != -1) s1.push_back(c1);
57         for (; !feof(fout) && (c2 = fgetc(fout)) != ‘\n‘;) if (c2 != -1) s2.push_back(c2);
58         if (feof(fout) && s1 != "" && s2 == "")
59         {
60             if (i == 1) End("选手输出为空", 0);
61             sprintf(s, "第%d行 标准输出:\"%s\" 选手输出已结尾", i, elided(s1, 0).c_str());
62             End(s, 0);
63         }
64         if (feof(fans) && s1 == "" && s2 != "")
65         {
66             sprintf(s, "第%d行 标准输出已结尾 选手输出:\"%s\"", i, elided(s2, 0).c_str());
67             End(s, 0);
68         }
69         filter(s1), filter(s2);
70         int p = compare(s1, s2);
71         if (p >= 0)
72         {
73             sprintf(s, "第%d行 标准输出:\"%s\" 选手输出:\"%s\"", i, elided(s1, p).c_str(), elided(s2, p).c_str());
74             End(s, 0);
75         }
76     }
77 }
78 
79 int main(int argc, char* argv[])
80 {
81     In = "";
82     Ans = argc < 3 ? "" : argv[2];
83     Out = argc < 4 ? "" : argv[3];
84     Log = argc < 5 ? "" : argv[4];
85     Open();
86     Check();
87     End("", 1);
88 }

查看CCR默认全文比较校验器源代码

SPJ程序需要两个必要的函数：

 1 FILE* fout, *fans, *flog;
 2 void End(const string& info, double x, int state = 0){
 3     fprintf(flog, "%.3lf\n%s\n", x, info.c_str());
 4     exit(state);
 5 }
 6 void Open(){
 7     if (Log.size()) flog = fopen(Log.c_str(), "w"); else flog = stdout;
 8     if (flog == NULL) exit(1);
 9     if ((fans = fopen(Ans.c_str(), "r")) == NULL) exit(1);
10     if ((fout = fopen(Out.c_str(), "r")) == NULL) exit(1);
11 }

Open()是进行程序的初始化，End则是返回分数和备注。

当CCR需要调用校验器时，它会向SPJ程序传递一个参数数组argv[]。数组的第二项为标准答案，第三项为选手答案，第四项为一些日志。

当程序开始时，我们先获取这几个参数。

1 int main(int argc, char* argv[])
2 {
3     string In, Out, Ans, Log;
4     In = "";
5     Ans = argc < 3 ? "" : argv[2];
6     Out = argc < 4 ? "" : argv[3];
7     Log = argc < 5 ? "" : argv[4];
8     //Ans和Out变量存储的是标准答案和选手答案的路径
9 }

接下来我们需要读入标准答案和选手答案。我们使用freopen重定向到答案文件。

1 Open();//初始化，这句很重要。
2 double answer,output;//标准输出和选手输出
3 freopen(Ans.c_str(),"r",stdin);//重定向到标准输出
4 cin>>answer;//读入
5 freopen(Out.c_str(),"r",stdin);//重定向到选手输出
6 cin>>output;//读入

接下来是判断，具体的读入和判断过程因题目而异。

判断完成后需要使用End函数返回结果。End函数的使用很简单，第一个参数是要显示在测评记录上的字符串，第二个参数是double类型的，表示分数百分比,是一个0-1的值（例如这个测试点为10分，这个参数为0.6，那么这个测试点最终得分就是6分）。

1 if (abs(ans-output)>0.02){
2     End("与标准答案相差过大",0);    
3 }else{
4     End("",1);    
5 }

最终的SPJ代码就是这样：

 1 #include <string>
 2 #include <cstdio>
 3 #include <cstdlib>
 4 #include <cstring>
 5 #include <iostream>
 6 FILE* fout, *fans, *flog;
 7 void End(const string& info, double x, int state = 0){
 8     fprintf(flog, "%.3lf\n%s\n", x, info.c_str());
 9     exit(state);
10 }
11 void Open(){
12     if (Log.size()) flog = fopen(Log.c_str(), "w"); else flog = stdout;
13     if (flog == NULL) exit(1);
14     if ((fans = fopen(Ans.c_str(), "r")) == NULL) exit(1);
15     if ((fout = fopen(Out.c_str(), "r")) == NULL) exit(1);
16 }
17 int main(int argc, char* argv[]){
18     string In, Out, Ans, Log;
19     In = "";
20     Ans = argc < 3 ? "" : argv[2];
21     Out = argc < 4 ? "" : argv[3];
22     Log = argc < 5 ? "" : argv[4];
23     //Ans和Out变量存储的是标准答案和选手答案的路径
24     Open();//初始化，这句很重要。
25     double answer,output;//标准输出和选手输出
26     freopen(Ans.c_str(),"r",stdin);//重定向到标准输出
27     cin>>answer;//读入
28     freopen(Out.c_str(),"r",stdin);//重定向到选手输出
29     cin>>output;//读入
30     if (abs(ans-output)>0.02){
31         End("与标准答案相差过大",0);    
32     }else{
33         End("",1);    
34     }
35     return 0;
36 }

展开代码

 

在CCR的高级配置中从下拉菜单选择这个校验器，就可以使用这个校验器测评这道SPJ题了。