第一次见到这道题，是在某个经典OJ平台的题库里：编号1654，题名Area。点开之前我还以为是道要推一堆公式的难题，结果评论区清一色地叫它水题。很多老选手的评语只有一句话：叉积一上，三十行内结束。可当我真的动手去写，才发现“水”和“三分钟AC”之间还隔着几个很现实的细节：方向编号怎么映射、坐标正负怎么统一、最终面积什么时候会带一个 .5，以及百万级长度的字符串累加时会不会溢出。
这篇就围绕 1654 这道 Area 展开，把题目到底在算什么、叉积为什么能精确算面积、方向表的正确写法、C++ 实现和几个容易翻车的边界点一并讲清楚，适合刚接触计算几何、想拿经典题练手的选手，也适合那些已经AC过但没细想过原理的人。
1. 一眼看穿数字串：Area 在画一张闭合格点图
1.1 数字串就是一张“遥控器指令表”
题目会给你一串很长的数字，数字的取值范围是 1 到 9。除了 5 之外，其他 8 个数字各代表棋盘上的一个方向：上、下、左、右，以及四个斜方向。起点固定在(0,0)，每读一个数字，就把当前点朝对应方向移动一个格点距离。
这里有个容易误解的地方：斜向移动的几何长度其实是sqrt(2)，但它的坐标变化仍然是(1,1)或(-1,1)这样的整格变化，不会产生无理数坐标。换句话说，你走过的每一个顶点都挂在整数坐标点上，整条折线是一条“格点折线”。
数字 5 比较特殊，它表示终止，也可以理解成“原地不动”。题目给出的每个指令串都以 5 结尾，代码读到 5 之后就该结束本轮处理。我最早把 5 纯当成“原地踏步”，虽然坐标上它确实不产生位移，但这会模糊循环终止条件的写法，后文会专门说这个坑。
1.2 为什么“围成面积”这件事成立
一串方向指令走完，所有折线段合在一起会围出一块区域，题目要求的就是这块区域的实际面积。既然谈“围出”，数据本身就隐含了一个前提：路径是闭合的，也就是最后一个有效移动结束后，点回到了起点或起点所在的闭合边上。
这句话看起来像废话，但它决定了你能不能直接用叉积累加。叉积公式对“多边形”的定义很严格：顶点序列围成一个简单多边形，或者至少是一个可计算有符号面积的闭合折线。如果路径根本不闭合，那“面积”无从谈起。
实际写代码时，我们并不需要手动把终点和起点再连一条边。因为最后一个方向指令会带着当前点走到起点，这一条边已经被正常处理掉了。如果不清楚这一点，有人会在循环结束后额外补一条“从终点回到起点”的叉积，反而把一个闭合路径算两遍。
1.3 输入输出里的两个小约束
输入第一行是测试用例数量 T，后面每个用例是一行数字串。数字串可能很长，长到必须用至少百万级的字符数组去存，这也是这道题“水但考细节”的地方之一。
输出要求也很直接：如果面积是整数，输出整数；如果是半整数，输出一位小数，比如0.5。这里不需要写成0.50，也不需要用浮点数去凑，正确做法是用整数运算直接判断奇偶。
2. 叉积为什么能把“围出”的面积精确算出来
2.1 每一条边都能和原点组成一个“有向三角形”
要理解叉积解法，先得回到向量叉积的几何意义。对于两个向量(x1,y1)和(x2,y2)，它们的叉积大小是：
x1 * y2 - y1 * x2
这个值的绝对值，等于以这两个向量为邻边围成的平行四边形面积。平行四边形的一半，就是原点、点1、点2 三个点构成的三角形面积。
如果把多边形所有顶点按顺序排好，每一条边都和原点组成一个这样的三角形，把这些三角形的“有符号面积”全部加起来，就是整个多边形面积的 2 倍。写成公式就是：
2 * S = sum(x[i] * y[i+1] - y[i] * x[i+1])
遍历的时候，当前点是(x,y)，下一个点是(nx,ny)，所以每走一步就累加：
area2 += x * ny - y * nx
这行代码是整个题目的灵魂。
2.2 为什么正负号能“自动抵消”
我刚开始学叉积时最不理解的地方是：凭什么把每个三角形面积加起来，不多不少正好是多边形面积？后来我用一个凹多边形画了一下就明白了。叉积算出来的面积是有方向的：顶点按逆时针走时，叉积为正；按顺时针走时，叉积为负。
对于不在原点内部的边，它和原点组成的三角形会有一部分跑到多边形外部。这一部分在后面的边里会被相反符号的叉积抵消掉。正是这种“有符号”的加减，让最终结果精确等于多边形面积，而不需要你去判断从原点能看到哪些顶点。
如果你把每步叉积都取绝对值再累加，那就不是鞋带公式了，而是强行把每个小三角形面积都当成正数去加。对某些以原点为中心的特殊图形，也许碰巧正确，但对一般的凹多边形、或原点在多边形外面的情况，结果一定偏大。
2.3 海伦公式和三角剖分为什么不是首选
有些人看到“算面积”第一反应是海伦公式：求出三条边长，再套sqrt(p*(p-a)*(p-b)*(p-c))。但在这道题里，多边形顶点数量可能非常多，而且路径可能很复杂，根本不可能把所有点直接拉成一堆三角形再来回计算边长。
海伦公式还引入了开根号，坐标范围一大，浮点精度就会出问题。哪怕是double，在1e18量级的累加结果上也会丢失精度。而叉积全程使用整数运算，不会出现sqrt，也就不存在浮点误差。
三角剖分确实也能算，但判断一个多边形如何剖分、哪些顶点可见，逻辑复杂度远超这道题的定位。真正的高效解法就是把鞋带公式写成一层循环，这也是大家都叫它水题的根本原因。
3. 方向表写错一个符号，就是另一种多边形
3.1 1 到 9 的方向映射到底长什么样
方向映射是这道题最容易错的地方。下面是完整的方向表，先记下来再写代码：
| 指令 | dx | dy | 方向 |
|---|---|---|---|
| 1 | -1 | -1 | 左下 |
| 2 | 0 | -1 | 下 |
| 3 | 1 | -1 | 右下 |
| 4 | -1 | 0 | 左 |
| 5 | 0 | 0 | 终止 / 原地 |
| 6 | 1 | 0 | 右 |
| 7 | -1 | 1 | 左上 |
| 8 | 0 | 1 | 上 |
| 9 | 1 | 1 | 右上 |
这个布局和电脑小键盘的数字位置是对应的：左边 1 是左下，右边 3 是右下，上面 7 是左上，右上角 9 是右上。但要注意，数学坐标系里 y 轴向上，所以 1 的 dy 是 -1，9 的 dy 是 1。如果你习惯用屏幕坐标系，y 轴向下，那方向表看起来会相反，但只要全程保持同一个坐标系，最终面积取绝对值是一样的。
3.2 用数组存方向，比十八个 case 稳得多
实现方向映射时，我强烈建议直接用两个全局数组：
const int dx[10] = {0, -1, 0, 1, -1, 0, 1, -1, 0, 1}; const int dy[10] = {0, -1, -1, -1, 0, 0, 0, 1, 1, 1};下标就是数字本身，dx[c]和dy[c]直接给出该方向的变化量。数组下标从 0 到 9，其中 0 位几乎不会被用到，直接填 0 也没问题。
有人喜欢写一长串switch，也不是不行，但十几个分支很容易在某一行把符号写反。数组方案不但代码短，而且方向表一眼就能和题目对应起来复查。方向表写错一个符号，整个图形就会变成镜像或旋转后的另一个多边形，样例可能碰巧能过，换一组数据就会翻车。
3.3 读数字串时要做一次“字符转数字”
数字串是以字符串形式读进来的，所以循环里要先转成数字再取方向：
int c = s[i] - '0';这个操作很基础，却对应一个经典 Bug：有人把s[i] == '5'写成s[i] == 5，结果永远进不了终止分支。字符'5'的 ASCII 码是 53，和整数 5 完全不相等。
4. 给这道水题配一份能直接用的 C++ 代码
4.1 完整 AC 代码
下面是一份可以直接提交的 C++ 代码。代码不长，但把方向数组、叉积累加、奇偶输出都覆盖到了：
#include <cstdio> const int dx[10] = {0, -1, 0, 1, -1, 0, 1, -1, 0, 1}; const int dy[10] = {0, -1, -1, -1, 0, 0, 0, 1, 1, 1}; char s[1000005]; int main() { int T; scanf("%d", &T); while (T--) { scanf("%s", s); long long x = 0, y = 0; long long area2 = 0; for (int i = 0; s[i] && s[i] != '5'; ++i) { int c = s[i] - '0'; long long nx = x + dx[c]; long long ny = y + dy[c]; area2 += x * ny - y * nx; x = nx; y = ny; } if (area2 < 0) area2 = -area2; if (area2 & 1LL) printf("%lld.5\n", area2 / 2); else printf("%lld\n", area2 / 2); } return 0; }4.2 主循环每一行在做什么
循环从i = 0开始，遇到字符串结束符'\0'或字符'5'就停下。因为题目保证每个用例以 5 结束，所以读到 5 时直接跳出是安全的。
每读到一个方向，先算出新坐标(nx, ny)，然后用当前点(x,y)和新点(nx,ny)更新area2。这里的area2存的是“两倍面积”，不是面积本身。这个设计有两个好处：一是避免浮点数，二是能直接用整数奇偶判断输出.5。
最后把area2取绝对值。顶点可能按顺时针走，叉积累加结果是负数，面积没有负数，所以必须取绝对值。
4.3 为什么输出前只判断奇偶就够了
因为area2 = 2 * S，其中S是真实面积。如果area2是偶数，说明S是整数；如果area2是奇数，说明S是x.5这种半整数。于是：
area2为偶数，输出area2 / 2area2为奇数，输出area2 / 2后补一个.5
不要在最后写printf("%.1f", area2 / 2.0)。area2可能很大，一旦超过double能精确表示的整数范围，结果就会在低位丢失，输出有可能从123456789123.5变成123456789124.0。用整数输出能完全避开这个坑。
5. 真正让我翻车的是这些边界和溢出细节
5.1 把每一步叉积都取绝对值，是新手最爱的错
我第一次写这题时，脑子里的想法很朴素：每条边和原点围成一个三角形，那把每个三角形面积都算出来，再加起来不就行了？于是写成了：
area2 += llabs(x * ny - y * nx);小样例全过，一交上去就 WA。后来才意识到，鞋带公式的“有符号”正是关键。每一步叉积的正负号不是噪声，而是在负责抵消外部区域。如果每一项都取绝对值，等于把那些本应被抵消的三角形也一起加进去，面积自然偏大。
这也解释了为什么很多题解都会强调：叉积不加绝对值，最后统一取绝对值。这不是代码风格问题，是数学原理问题。
5.2 数组大小和字符串读取
这道题的指令串可以很长，开到char s[1000005]是比较稳妥的做法。如果只开char s[1005]，大概率在评测时直接 Runtime Error，而不是 WA。
读取方面，用scanf("%s", s)就足够。scanf会自动跳过空白字符，所以多个用例之间的换行不用额外处理。如果你更喜欢 C++ 的cin，记得在前面加：
ios::sync_with_stdio(false); cin.tie(nullptr);否则百万级字符串用默认cin会慢不少，虽然这题通常不会卡到那种程度，但养成习惯没有坏处。
5.3 long long 到底够不够用
这是我最想提醒的一点。指令串上限通常在一百万步以内，坐标范围也在一百万以内，所以叉积项最大值大约是：
2 * 1e6 * 1e6 = 2e12
这是一步的量级。累加一百万步，最极端情况下总量级在2e18左右，而long long能表示的最大值大约是9.22e18，所以理论上是够的。
但如果不小心用了int，坐标乘积累加很快溢出，结果一定错。我建议直接默认参赛用long long，不要纠结“好像够不够”。如果你遇到加强版数据，步数上限变成千万级，那long long也会不够，这时候就用__int128存area2，输出时自己写一个转换函数。
5.4 别把5之后的内容继续读下去
循环条件写成s[i] && s[i] != '5'后，一旦遇到5就断。有些人在循环里写：
if (c == 5) continue;这样坐标不会变，但如果字符串后面还有内容，程序会继续处理后面的字符。虽然题目保证 5 是最后一个有效字符，但这种写法会让代码意图变得模糊。更规范的做法是直接让循环在5处终止，也避免读到字符'5'被错误转成数字 5 后产生无意义操作。
6. 用皮克定理和小样例给答案上双保险
6.1 两个手工能算的小例子
写完代码别急着交，可以先验证两个经典图形。第一个是单位正方形：从(0,0)出发，右、上、左、下走一圈，对应指令串6842。
路径上的点是：
(0,0) -> (1,0) -> (1,1) -> (0,1) -> (0,0)
每一步叉积累加后，area2 = 2，所以输出应该是1。单位正方形面积确实是 1。
第二个是直角三角形：从(0,0)出发，右走一步到(1,0)，再斜向左上走到(0,1)，最后向下回到(0,0)，对应指令串672。
这个三角形三条边都贴在最简单的格点上，面积是 0.5，所以输出应该是0.5。这两个例子一跑，方向表和叉积公式基本就能确认没问题。
6.2 皮克定理能交叉验证半整数结论
对格点多边形来说，还有一个很好的验证工具：皮克定理。
面积 = 内部格点数 + 边界格点数 / 2 - 1
这道题里，每一步移动都只跨越一个格点边，对角线的中间也没有其他格点，所以边界格点数正好等于非 5 的移动步数。用皮克定理可以立刻验证面积为什么只能是整数或半整数：边界格点数是个整数，内部格点数也是个整数，所以面积 = 整数 + 边界格点数 / 2 - 1，结果只可能是整数或半整数。
拿刚才的三角形来说，内部格点数是 0，边界格点数是 3，面积就是0 + 3/2 - 1 = 0.5。拿单位正方形来说，内部格点数是 0，边界格点数是 4，面积是0 + 4/2 - 1 = 1。和叉积算出来的结果完全一致。
6.3 自己随手造一个闭合回路
如果你不想背测试数据，自己也能随手造闭合回路：只要让“向右”和“向左”次数一致，“向上”和“向下”次数一致，最后就会回到起点。比如重复6842两次，会得到边长为 2 的正方形，面积应该是 4。
把这些自造数据丢进程序里，看输出是否符合预期，比直接提交去试错高效得多。尤其是刚改完方向表或刚切换成long long的时候，这种小验证能帮你快速定位问题在哪一段。
这道题确实够“水”，但它把计算几何里最核心的几个习惯都串起来了：坐标方向要明确、叉积要带符号、面积用两倍整型存、大数据警惕溢出。把这些想清楚以后，再遇到类似的多边形面积问题，基本就不会再在基础上栽跟头了。
