Hydro Hack 功能：手刃伪AC

在之前的几篇文章里，我们聊了 SPJ（Special Judge）的基础和进阶用法。这次我们来看 Hydro 另一个有趣又实用的功能 —— Hack。

简单来说，Hack 就是：你 AC 了一道题之后，可以构造一组数据去卡掉别人的 AC 代码。如果成功，对方的提交会被重测并变成 WA。

听起来很刺激对吧？下面我用一个活生生的例子，带大家把整个流程走一遍。

0. 一个注定被 Hack 的提交

先来看一道题：P0006 - A+B Problem。

题目链接：https://hydro.ac/d/hc_system/p/P0006/

（就是A+B Problem）

然后，我交了一份这样的代码上去：

#include <bits/stdc++.h>
using namespace std;int main() {cout << 8;return 0;
}

特别唐是不是？它 AC 了。

为什么？因为题目只有一个测试点，而那个测试点的输入恰好是 3 5。所以这份“输出 8”的代码堂而皇之地拿到了 AC。

但这道题的特别之处在于：它开启了 Hack 功能。这意味着，任何人都可以构造一组数据，让这份不严谨的代码现出原形。

1. 准备工作：题目配置

要让一道题支持 Hack，需要做好三件事：SPJ、Validator 和 配置文件。

1.1 checker.cc：判断答案对错

#include "testlib.h"
int main(int argc, char** argv) {registerTestlibCmd(argc, argv);long long a = inf.readLong();long long b = inf.readLong();long long ans = ouf.readLong();if (a + b == ans)quitf(_ok, "Accepted！");elsequitf(_wa, "Wrong answer");return 0;
}

这里的关键是 inf —— 它从输入文件（.in）中读取 a 和 b，然后判断选手输出是不是 a+b。因为答案不依赖 .ans 文件，Hack 时只需要提供输入数据就行。

1.2 validator.cc：校验输入数据合法性

#include "testlib.h"
int main() {registerValidation();__int128_t a = inf.readLong();inf.readSpace();__int128_t b = inf.readLong();inf.readEof();__int128_t c = a + b;ensure(INT64_MIN <= c && c <= INT64_MAX);return 0;
}

Validator 的作用是确保输入数据符合题目要求。比如这里要求 \(a+b\) 不超过 64 位有符号整数的范围，防止构造数据时溢出。

1.3 config.yaml：把一切串起来

type: default
time: 1s
memory: 256m
checker_type: testlib
checker: checker.cc
validator: validator.cc
subtasks:- score: 100id: 1cases:- input: 1.inoutput: 1.out

注意 validator: validator.cc 这一行 —— 它告诉 Hydro 在评测和 Hack 时都要用 validator 校验输入数据。