[OI] Testlib

Testlib 是用于实现 SpecialJudge 的一种方式

为了使用 Testlib，你需要在你的文件中引用 Testlib.h

testlib.h 下载

使用 Testlib 程序

以 Testlib 的 check 功能示例（实际上 Tesklib 不止可以实现 check 功能）

首先你需要正确的引用到 testlib.h，一般有以下两种方式

• 直接丢到编译器的 MinGW/include 目录下
• 直接丢到源代码目录下（需要用双引号引用）

或者你也可以直接写具体路径，比如 #include "C:/Desktop/testlib.h" 之类的

或者使用相对路径

相对路径就是基于当前文件夹向前或向后翻的一种路径，比如对于如下目录结构：

-Desktop
    -Folder1
        -Folder2
            -file.cpp
    -Folder3
        -Folder4
            -testlib.h

假若你想要在 file.cpp 中引用到 testlib.h，你也可以这么写：

#include"../../Folder1/Folder2/testlib.h"

其中 ../ 表示返回上级目录

在将下发的 checker.cpp 程序编译完成后，就可以按照如下格式进行 checker

（一般来说是在终端中进行编译运行，进行之前请先跳到 checker 所在目录，并请将其他文件也放进去）

Windows checker.exe input output answer

Linux ./checker input output answer

input 题目的输入文件，这个文件也可以用数据生成器跑出来

output 你的程序的输出文件

answer 答案文件 一般情况下，你写对拍的时候是拿不到这个答案文件的，但是你仍然可以检验一部分正确性：比如通过模拟能判断出来的部分，或者是格式检验的部分。这就需要考验你对 checker 进行改写的能力了。一般在这种情况下，你完全可以在 answer 位置传一个无关紧要的文件，或者直接把 output 传进去，但是不能空着

在使用 checker 跑对拍的时候，你可能需要判断什么时候应该 pause，事实上是这样判断的：

在调用 cmd 或 Linux 终端的时候，system() 函数实际上是有返回值的，它返回的是程序主程序的 return 值。而 testlib.h 会在正确时返回 0，出现错误时返回 1，因此你可以通过这一点来判断正确性，即这么写：

if(system("checker.exe input output answer")){
    system("pause");
}

编写 Testlib 程序

显然，你不应该使用标准输入输出函数（交互题等特殊题型除外），而应该使用 testlib 提供的读入函数

你需要在主函数使用入下内容以初始化 testlib

int main(int argc, char* argv[]) {
    registerTestlibCmd(argc, argv);
}

此外，testlib 不支持使用 <random> 下的大部分内容，如果你真的要用 rand()，testlib 提供了两种方法：

• 使用 mt19937
• 使用内置函数

关于内置函数

 * Use "shuffle", and "rnd.next()" instead of them
 * because these calls produce stable result for any C++ compiler. Read
 * sample generator sources for clarification.
 *
 * Please read the documentation for class "random_t" and use "rnd" instance in
 * generators. Probably, these sample calls will be useful for you:
 *              rnd.next(); rnd.next(100); rnd.next(1, 2);
 *              rnd.next(3.14); rnd.next("[a-z]{1,100}").

关于文件读入，上述传入的三个文件，分别对应了三个 ifstream 类型的类，分别命名为：

inf 对应 input

ouf 对应 output

ans 对应 answer

它们的读入函数如下所示：

函数	功能
char readChar()	读入一个 char
char readChar(char c)	限定读入字符，不符合则判为 _wa
char readSpace()	读入一个空格
string readToken()	读入一个字符串，遇到空格、换行、eof 为止、
long long readLong()	读入一个 longlong
long long readLong(long long L, long long R)	限定读入范围（包括 L，R），超出则判为 _wa
int readInt()	读入一个 int
int readInt(int L, int R),	限定读入范围（包括 L，R），超出则判为 _wa
double readReal()	读入一个实数
double readReal(double L, double R),	限定读入范围（包括 L，R），超出则判为 _wa
double readStrictReal(double L, double R, int minPrecision, int maxPrecision),	限定精度范围（包括 L，R），超出则判为 _wa
string readString()	读入一个字符串
string readLine()	读入一行 string，到换行或者 eof 为止
void readEoln()	读入一个换行符
void readEof()	读入一个 eof
int eof()	已到达文件末尾则返回 1

关于判定，使用以下三个函数

quitf(st,...) 第一个参数用来传入参数，告诉程序该答案正确还是不正确，有两种，一种为 _ac，一种为 _wa，后面主要是用于输出判断信息，会显示出来给人看，用法和格式化输出一致，如 quitf(_wa,"Answer is wrong, except %d, but read %d",ans,p);

quitp(score,..) 用来判 “部分正确”，第一个参数用来传入一个 \([0,1]\) 的实数，表示得分百分比，后面就一样了

testlib 程序会在读入格式错误，或者文件未被读完的时候报出 wrong output format 错误，为了避免这个错误，你也可以使用 while(!ouf.seekEof()) ouf.readToken() 来读完剩下的内容