通用

本页面介绍 Testlib checker/interactor/validator 的一些通用状态/对象/函数。

通用状态¶

结果	Testlib 别名	含义
Ok	`_ok`	答案正确。
Wrong Answer	`_wa`	答案错误。
Presentation Error	`_pe`	答案格式错误。注意包括 Codeforces 在内的许多 OJ 并不区分 PE 和 WA。
Partially Correct	`_pc(score)`	答案部分正确。仅限于有部分分的测试点，其中 `score` 为一个正整数，从（没分）到（可能的最大分数）。
Fail	`_fail`	validator 中表示输入不合法，不通过校验。 checker 中表示程序内部错误、标准输出有误或选手输出比标准输出更优，需要裁判/出题人关注。（也就是题目锅了）

通常用程序的返回值表明结果，但是也有一些其他方法：创建一个输出 xml 文件、输出信息到 stdout 或其他位置……这些都通过下方函数表中的 quitf 函数来完成。

通用对象¶

对象	含义
`inf`	输入文件流
`ouf`	选手输出流
`ans`	参考输出流

通用函数¶

非成员函数：

调用	含义
`void registerTestlibCmd(int argc, char* argv[])`	注册程序为 checker
`void registerInteraction(int argc, char* argv[])`	注册程序为 interactor
`void registerValidation()` / `void registerValidation(int argc, char* argv[])`	注册程序为 validator
`void registerGen(int argc, char* argv[], int randomGeneratorVersion)`	注册程序为 generator `randomGeneratorVersion` 推荐为 `1`
`void quit(TResult verdict, string message)` / `void quitf(TResult verdict, string message, ...)`	结束程序，返回 `verdict` ，输出 `message`
`void quitif(bool condition, TResult verdict, string message, ...)`	如果 `condition` 成立，调用 `quitf(verdict, message, ...)`

流成员函数：

调用	含义
`char readChar()`	读入一个字符
`char readChar(char c)`	读入一个字符，必须为 `c`
`char readSpace()`	等同于 `readChar(' ')`
`string readToken()` / `string readWord()`	读入一个串，到空白字符（空格、Tab、EOLN 等）停止
`string readToken(string regex)` / `string readWord(string regex)`	读入一个串，必须与 `regex` 匹配
`long long readLong()`	读入一个 64 位整数
`long long readLong(long long L, long long R)`	读入一个 64 位整数，必须在之间
`vector<long long> readLongs(int n, long long L, long long R)`	读入个 64 位整数，必须均在之间
`int readInt()` / `int readInteger()`	读入一个 32 位整数
`int readInt(int L, int R)` / `int readInteger(L, R)`	读入一个 32 位整数，必须在之间
`vector<int> readInts(int n, int L, int R)` / `vector<int> readIntegers(int n, int L, int R)`	读入个 32 位整数，必须均在之间
`double readReal()` / `double readDouble()`	读入一个双精度浮点数
`double readReal(double L, double R)` / `double readDouble(double L, double R)`	读入一个双精度浮点数，必须在之间
`double readStrictReal(double L, double R, int minPrecision, int maxPrecision)` / `double readStrictDouble(double L, double R, int minPrecision, int maxPrecision)`	读入一个双精度浮点数，必须在之间，小数位数必须在之间，不得使用指数计数法等非正常格式
`string readString()` / `string readLine()`	读入一行
`string readString(string regex)` / `string readLine(string regex)`	读入一行，必须与 `regex` 匹配
`void readEoln()`	读入 EOLN
`void readEof()`	读入 EOF
`void quit(TResult verdict, string message)` / `void quitf(TResult verdict, string message, ...)`	结束程序，若 `Stream` 为 `ouf` 返回 `verdict` ，否则返回 `_fail` ；输出 `message`
`void quitif(bool condition, TResult verdict, string message, ...)`	如果 `condition` 成立，调用 `quitf(verdict, message, ...)`

未完待续……

极简正则表达式¶

一些函数允许使用“极简正则表达式”特性，如下所示：

字符集。如 [a-z] 表示所有小写英文字母， [^a-z] 表示除小写英文字母外任何字符。
范围。如 [a-z]{1,5} 表示一个长度在范围内且只包含小写英文字母的串。
“或”标识符。如 mike|john 表示 mike 或 john 其一。
“可选”标识符。如 -?[1-9][0-9]{0,3} 表示范围内的整数（注意那个可选的负号）。
“重复”标识符。如 [0-9]* 表示个或更多数字， [0-9]+ 表示个或更多数字。
注意这里的正则表达式是“贪婪”的（“重复”会尽可能匹配）。如 [0-9]?1 将不会匹配 1 （因为 [0-9]? 将 1 匹配上，导致模板串剩余的那个 1 无法匹配）。

使用项别名¶

推荐给 readInt/readInteger/readLong/readDouble/readWord/readToken/readString/readLine 等的有限制调用最后多传入一个 string 参数，即当前读入的项的别名，使报错易读。例如使用 inf.readInt(1, 100, "n") 而非 inf.readInt(1, 100) ，报错信息将为 FAIL Integer parameter [name=n] equals to 0, violates the range [1, 100] 。

使用 `ensure/ensuref()`¶

这两个函数用于检查条件是否成立（类似于 assert() ）。例如检查，我们可以使用

1	ensuref(x_i != y_i, "Graph can't contain loops");

还可以使用 C 风格占位符如

1
2
3

ensuref(s.length() % 2 == 0,
        "String 's' should have even length, but s.length()=%d",
        int(s.length()));

方便地，我们可以使用 ensure(x> y) ，如果条件不满足报错将为 FAIL Condition failed: "x > y" 。

Warning

注意全局与成员 ensure/ensuref() 的区别

全局函数 ::ensure/ensuref() 多用于 generator 和 validator 中，如果检查失败将统一返回 _fail。

成员函数 InStream::ensure/ensuref() 一般用于判断选手和参考程序的输出是否合法。当 Stream 为 ouf 时，返回 _wa；为 inf（一般不使用）或 ans 时，返回 _fail。详见 Checker - 编写 readAns 函数。

本文翻译并综合自Testlib - Codeforces系列。 testlib.h 的 GitHub 存储库为MikeMirzayanov/testlib。

本页面最近更新：，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用

通用