通用

本页面介绍 Testlib checker/interactor/validator 的一些通用状态/对象/函数、一些用法及注意事项。请在阅读其他页面前完整阅读本页面的内容。

通用状态

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

通用对象

通用函数

非成员函数：

流成员函数：

未完待续……

极简正则表达式

上面的输入函数中的一部分允许使用“极简正则表达式”特性，如下所示：

• 字符集。如 [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 无法匹配）。

首先 include testlib.h

请确保 testlib.h 是你 include 的 第一个 头文件，Testlib 会重写/禁用（通过名字冲突的方式）一些与随机有关的函数（如 random()），保证随机结果与环境无关，这对于 generator 非常重要，

使用项别名

推荐给 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]。

使用 ensuref/ensure()

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

ensuref(x[i] != y[i], "Graph can't contain loops");

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

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

它有一个简化版 ensure()，我们可以直接使用 ensure(x> y) 而不添加说明内容（也不支持添加说明内容），如果条件不满足报错将为 FAIL Condition failed: "x > y"。很多情况下不加额外的说明的这种报错很不友好，所以我们通常使用 ensuref() 并加以说明内容，而非使用 ensure()。

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