From 3f6b4102c9c711d761b2d908c4c326554ec51ef7 Mon Sep 17 00:00:00 2001 From: yuetsh <517252939@qq.com> Date: Tue, 25 Aug 2026 23:27:40 -0600 Subject: [PATCH] =?UTF-8?q?feat(=E9=A2=98=E7=9B=AE):=20=E5=AD=A6=E7=94=9F?= =?UTF-8?q?=E9=A2=98=E7=9B=AE=E9=A1=B5=E6=81=A2=E5=A4=8D=E3=80=8C=E8=A6=81?= =?UTF-8?q?=E6=B1=82=E3=80=8D=E5=B1=95=E7=A4=BA=EF=BC=8C=E8=B5=B0=E6=96=B0?= =?UTF-8?q?=E7=9A=84=20astRequirements=20=E5=AD=97=E6=AE=B5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 旧后端的 ProblemSerializer.Meta.exclude 没排掉 ast_rules，学生拿到的是规则原文， 题目页上那块「要求」（「if 条件 出现 2 次」之类）是显示的。阶段 3 泄露评审刻意 收掉了它，只留 hasAstRules 布尔值 —— 报告里当时就写了： 「新的更安全，但如果 ojnext 有地方读 ast_rules 的具体内容（比如提示"必须用 for 循环"），需要补个专门的字段。」 前端确实有（ProblemContent.vue 的 astRulesForDisplay + 整块渲染），但那个字段 一直没补。结果是这块在 OJ2 上**永远拿不到数据**，代码还在、没人报错。12 道题 受影响；学生只有提交失败后才能从 statistic_info.ast_results 里看到要求。 现在按评审自己的建议补上：oj 侧题目详情（含比赛题）多一个 astRequirements， **只有渲染要用的两个字段**： { description: "if 条件 出现 2 次", kind: "count" } 文案由后端生成，engine / target 这些内部字段不出现在响应里 —— 收紧保留， 展示恢复。实测响应里搜不到 "engine" 也搜不到 "if_statement"。 ## 顺带合掉一堆重复 描述文案原来有两份几乎一样的实现：判题机 ast.ts 里一份（写进 ast_results）、 ProblemContent.vue 里一份（题目页用）。现在统一成 ast.ts 的 describeAstRule， 两边共用。差异只在 min/max 同时给出时的措辞（生产库里没有这种规则，实际输出 逐字不变），另外判题机现在也能用上节点类型的中文名 —— 没写 label 的规则以前 判题结果里显示 `必须使用 function_definition`，现在是 `必须使用 函数定义`。 节点类型中文名那 15 条原来在 AstRulesEditor.vue（下拉 options）和 ProblemContent.vue（NODE_TARGET_LABELS）各手抄一份，收进契约的 AST_NODE_TARGET_LABELS，编辑器的下拉现在从它生成。 前端删掉 NODE_TARGET_LABELS / ruleDescription / ruleTagType 共 ~80 行， `Problem` 类型里那个 oj 侧根本不下发的 astRules 幽灵字段也去掉了。顺带修掉 一处潜在重复渲染：原来 message 非空时 ruleDescription 返回 message、模板里 又单独渲染一次 message（生产库 message 全是空串，所以没露出来）。 ## 一个坑：契约里差点搞出循环引用 astRequirements 一开始放在 admin.ts，problem.ts 去 import 它 —— 而 admin.ts 本来就 import problem.ts。**tsc 一声不吭地过了**，运行时才炸： ReferenceError: Cannot access 'astRequirementsSchema' before initialization 所以整块 AST schema 从 admin.ts 挪到了 problem.ts（本来也是题目域的东西）， admin.ts 反过来从那边取。这类环 tsc 抓不到，加跨文件 schema 引用时得实跑一次。 ## 验证 tsc(apps/api) 0 error、check:routes 168 条无遮蔽、vue-tsc 0 error、build 通过。 起服务实打： - 把生产库那条规则种进本地库，匿名请求 /api/problems/1001：astRequirements 是 `{"Python3":[{"description":"if 条件 出现 2 次","kind":"count"}, ...]}`， 响应里没有 astRules、没有 engine、没有 if_statement。 - 浏览器打开题目页，「要求」那块活了：`要求 | if 条件 出现 2 次 | else 子句 出现 2 次`。 - 后台编辑页展开「代码规则检查」，两条规则正常渲染成 `出现次数 | if 条件 | 精确`，下拉选项（现在从契约生成）正确。 - 直接调 describeAstRule / checkAst / astRequirements：三种 kind 分类正确， engine 认不出的规则被丢掉，null 和非对象都回落成 null。 - oj 侧 3 页 + 后台 4 页走查无重定向、console 无报错。 冒烟改动已还原（problem 2 的 ast_rules 复位成 null）。 Co-Authored-By: Claude Opus 5 --- apps/api/src/judge/ast.ts | 120 ++++++++++++++---- apps/api/src/routes/contest.ts | 3 + apps/api/src/routes/problem.ts | 3 + .../problem/components/AstRulesEditor.vue | 23 +--- .../oj/problem/components/ProblemContent.vue | 106 +++------------- apps/web/src/utils/types.ts | 2 +- packages/contract/src/admin.ts | 53 +------- packages/contract/src/problem.ts | 95 ++++++++++++++ 8 files changed, 225 insertions(+), 180 deletions(-) diff --git a/apps/api/src/judge/ast.ts b/apps/api/src/judge/ast.ts index 2f55fff..f245ea7 100644 --- a/apps/api/src/judge/ast.ts +++ b/apps/api/src/judge/ast.ts @@ -1,4 +1,10 @@ -import type { AstRule } from "@oj2/contract" +import { + astRuleSchema, + AST_NODE_TARGET_LABELS, + type AstRequirement, + type AstRequirements, + type AstRule, +} from "@oj2/contract" import { Language, Parser, type Node } from "web-tree-sitter" // 语法 wasm 内嵌成资源。原来是 `Bun.resolveSync(pkg + "/" + name, import.meta.dir)`， // 编译成单二进制后 import.meta.dir 是 /$bunfs/root，解析不到 node_modules。见 vendor/jieba.ts @@ -90,16 +96,87 @@ function hasNode(root: Node, type: string): boolean { } function targetName(rule: AstRule) { - return rule.label || rule.target || "指定语法" + const target = rule.target ?? "" + return rule.label || AST_NODE_TARGET_LABELS[target] || target || "指定语法" } -function rangeDescription(subject: string, rule: AstRule) { +function countPhrase(verb: string, rule: AstRule) { + if (rule.exact !== undefined) return `${verb} ${rule.exact} 次` + if (rule.min !== undefined && rule.max !== undefined) + return `${verb} ${rule.min}～${rule.max} 次` + if (rule.min !== undefined) return `至少${verb} ${rule.min} 次` + if (rule.max !== undefined) return `至多${verb} ${rule.max} 次` + return "" +} + +/** + * 一条规则的中文描述。判题结果（statistic_info.ast_results）和题目页的「要求」 + * 用的是同一份 —— 原来前端 ProblemContent.vue 里另有一份几乎一样的实现， + * 只有 min/max 同时给出时的措辞不一样（生产库里没有这种规则）。 + */ +export function describeAstRule(rule: AstRule): string { if (rule.message) return rule.message - if (rule.exact !== undefined) return `${subject} 出现 ${rule.exact} 次` - const parts: string[] = [] - if (rule.min !== undefined) parts.push(`至少 ${rule.min} 次`) - if (rule.max !== undefined) parts.push(`至多 ${rule.max} 次`) - return `${subject} ${parts.join("、")}`.trim() + const name = targetName(rule) + const target = rule.target ?? "" + switch (rule.engine) { + case "must_exist_node": + return `必须使用 ${name}` + case "must_not_exist_node": + return `不能使用 ${name}` + case "count_node": + return `${name} ${countPhrase("出现", rule)}`.trim() + case "must_call_function": + return `必须调用 ${target}()` + case "must_not_call_function": + return `不能调用 ${target}()` + case "count_function_call": + return `${target}() ${countPhrase("调用", rule)}`.trim() + case "must_call_method": + return `必须调用 .${target}()` + case "must_not_call_method": + return `不能调用 .${target}()` + case "must_use_operator": + return `必须使用 ${target} 运算符` + case "must_have_nesting": { + const outer = rule.outer ?? "" + const inner = rule.inner ?? "" + return outer === inner + ? `必须使用 ${outer} 嵌套` + : `必须在 ${outer} 中嵌套使用 ${inner}` + } + } +} + +/** 标签配色用的粗分类，见契约 astRequirementSchema */ +function requirementKind(engine: AstRule["engine"]): AstRequirement["kind"] { + if (engine.startsWith("must_not")) return "forbid" + if (engine.startsWith("count")) return "count" + return "require" +} + +/** + * 把规则原文投影成下发给学生的「代码要求」。规则里的 engine / target 不出现在 + * 响应里 —— 阶段 3 泄露评审收掉 ast_rules 时要的就是这个，见契约的注释。 + */ +export function astRequirements(value: unknown): AstRequirements | null { + const grouped = value && typeof value === "object" && !Array.isArray(value) + ? (value as Record) + : null + if (!grouped) return null + const out: AstRequirements = {} + for (const [language, rules] of Object.entries(grouped)) { + if (!Array.isArray(rules)) continue + const items = rules.flatMap((rule) => { + const parsed = astRuleSchema.safeParse(rule) + if (!parsed.success) return [] + return [{ + description: describeAstRule(parsed.data), + kind: requirementKind(parsed.data.engine), + }] + }) + if (items.length > 0) out[language] = items + } + return Object.keys(out).length > 0 ? out : null } function rangePassed(count: number, rule: AstRule) { @@ -140,51 +217,51 @@ function evaluateRule( switch (rule.engine) { case "must_exist_node": return { - description: rule.message || `必须使用 ${targetName(rule)}`, + description: describeAstRule(rule), passed: hasNode(root, nodeType), } case "must_not_exist_node": return { - description: rule.message || `不能使用 ${targetName(rule)}`, + description: describeAstRule(rule), passed: !hasNode(root, nodeType), } case "count_node": { const count = collectNodes(root, nodeType).length return { - description: rangeDescription(targetName(rule), rule), + description: describeAstRule(rule), passed: rangePassed(count, rule), } } case "must_call_function": return { - description: rule.message || `必须调用 ${target}()`, + description: describeAstRule(rule), passed: functionCalls(root, target, language).length > 0, } case "must_not_call_function": return { - description: rule.message || `不能调用 ${target}()`, + description: describeAstRule(rule), passed: functionCalls(root, target, language).length === 0, } case "count_function_call": { const count = functionCalls(root, target, language).length return { - description: rangeDescription(`${target}()`, rule), + description: describeAstRule(rule), passed: rangePassed(count, rule), } } case "must_call_method": return { - description: rule.message || `必须调用 .${target}()`, + description: describeAstRule(rule), passed: methodCalls(root, target, language).length > 0, } case "must_not_call_method": return { - description: rule.message || `不能调用 .${target}()`, + description: describeAstRule(rule), passed: methodCalls(root, target, language).length === 0, } case "must_use_operator": return { - description: rule.message || `必须使用 ${target} 运算符`, + description: describeAstRule(rule), passed: hasNode(root, nodeType), } case "must_have_nesting": { @@ -195,14 +272,7 @@ function evaluateRule( const passed = collectNodes(root, outerType).some((node) => node.children.some((child) => hasNode(child, innerType)), ) - return { - description: - rule.message || - (outer === inner - ? `必须使用 ${outer} 嵌套` - : `必须在 ${outer} 中嵌套使用 ${inner}`), - passed, - } + return { description: describeAstRule(rule), passed } } default: return null diff --git a/apps/api/src/routes/contest.ts b/apps/api/src/routes/contest.ts index 9b24edf..b13ba91 100644 --- a/apps/api/src/routes/contest.ts +++ b/apps/api/src/routes/contest.ts @@ -14,6 +14,7 @@ import { Hono } from "hono" import { optionalAuth, requireAuth } from "../auth/middleware" import { setContestPassword } from "../auth/session" import { db, schema } from "../db" +import { astRequirements } from "../judge/ast" import { failure, success } from "../http" import { canAccessContest, @@ -180,6 +181,8 @@ contestRoutes.get("/contests/:id/problems/:displayId", optionalAuth, requireCont flowchartHint: row.problem.flowchartHint, sqlConfig: row.problem.sqlConfig ? objectValue(row.problem.sqlConfig) : null, sqlDisplay: row.problem.sqlDisplay ? objectValue(row.problem.sqlDisplay) : null, + // 代码要求：只给渲染好的文案，规则原文不下发给学生 + astRequirements: astRequirements(row.problem.astRules), })) }) diff --git a/apps/api/src/routes/problem.ts b/apps/api/src/routes/problem.ts index 117352f..0743cf9 100644 --- a/apps/api/src/routes/problem.ts +++ b/apps/api/src/routes/problem.ts @@ -25,6 +25,7 @@ import { Hono } from "hono" import { optionalAuth, type AppEnv } from "../auth/middleware" import { db, schema } from "../db" +import { astRequirements } from "../judge/ast" import { failure, success } from "../http" import { JudgeStatus } from "../judge/status" import { objectValue as toObject, queryInteger, sampleUser } from "./helpers" @@ -319,6 +320,8 @@ problemRoutes.get("/problems/:displayId", optionalAuth, async (c) => { flowchartHint: row.problem.flowchartHint, sqlConfig: row.problem.sqlConfig ? objectValue(row.problem.sqlConfig) : null, sqlDisplay: row.problem.sqlDisplay ? objectValue(row.problem.sqlDisplay) : null, + // 代码要求：只给渲染好的文案，规则原文不下发给学生 + astRequirements: astRequirements(row.problem.astRules), }) return success(c, data) diff --git a/apps/web/src/admin/problem/components/AstRulesEditor.vue b/apps/web/src/admin/problem/components/AstRulesEditor.vue index caf906b..7268d4e 100644 --- a/apps/web/src/admin/problem/components/AstRulesEditor.vue +++ b/apps/web/src/admin/problem/components/AstRulesEditor.vue @@ -1,4 +1,5 @@