yuetsh
d3b05b8629
契约原来有 184 个 schema 但只导出了 104 个类型，缺的那 80 个前端只能照着
手抄一遍 —— 这是「表格列静默空白」那一类 bug 的根因（d3348f9、2edb8cf，
以及上一个 commit 修的 Top100 两列）。现在 186 个 schema 对 186 个类型，
一一对应，下次要用直接 import。
补导出是机械的（fooSchema → Foo），零命名冲突。真正有价值的是换的过程中
契约逼出来的 5 处分歧 —— 手抄那份在说谎，而 vue-tsc 拦不住，因为类型说它是对的：
- Tutorial.createdBy 手抄成了可选的 `User`（即 AdminUser，带 email、
rawPassword），后端下发的是必有的 SampleUser。读 createdBy.email 会拿到
undefined。列表页因此被迫写 `row.createdBy?.username` 和 `row.createdAt!`，
换成契约类型后两处断言都不需要了。
- TutorialListItem 手抄成 `Omit<Tutorial, "content">`，但后端列表接口连 code
一起省了 —— 类型声称 code 在。
- Testcase 手抄成 `{input_name, output_name, score}`：响应实际有 5 个字段，
且**没有 score**。score 是上传完成后前端按测试点数量平分补上去的，手抄那份
把本地字段说成了响应字段。现在写成 `TestCaseEntry & { score: string }`。
- Tag 手抄成 `{id, name}`，契约是 `{id, name, problemCount}` —— shared/api.ts
只好用 `Tag & { problemCount: number }` 把丢掉的补回来。
- CreateMessage 是旧后端按名字投递的形状（sender/recipient/submission），
契约要的是 recipientId/submissionId。全仓零引用，删掉。
同时删掉另外两个零引用的手写类型：LANGUAGE_SHOW_LABEL、UserAdminType；
本地重复的 SampleUser 换成契约的；oj/problem/list.vue 里本地第三份 Tag 改成
`ContractTag & { checked: boolean }`。
需要收窄的一律**从契约派生再收窄**，字段名跟着契约走，只有真正本地的那一两个
键是自己的：
export type Exercise = Omit<AdminExercise, "data"> & { data: 七种题型的联合 }
export type SubmitCodePayload =
Omit<CreateSubmissionRequest, "language"> & { language: LANGUAGE }
保留不动的窄化：StatisticInfo / SubmissionInfo（判题 JSONB 原文，snake_case）、
SQLDisplay*、ProblemFiltered（视图模型）、Exercise*Data（契约里 data 就是
Record<string, unknown>，七种题型结构不同，后端本来也不校验）。
types.ts 的手写 interface 从 31 个降到 22 个。
顺带修的代码：admin/tutorial/detail.vue 新建教程的表单对象缺三个后端产出的
字段，加了 TutorialEdit（对齐 BlankProblem / BlankContest 的写法）；三处测试点
上传原来是拿响应对象原地塞 score，改成 map 出新对象，分数算法一字未改。
验证：apps/api tsc(7.0.2) 0 error、check:routes 168 条无遮蔽、
apps/web vue-tsc 0 error、vite build 通过。改动绝大部分在类型层，运行时只有
测试点上传那三处（等价替换）—— **那条路径要传 zip 才能实跑，没有实打**，
只做了代码等价性核对。
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
72 lines
2.3 KiB
TypeScript
72 lines
2.3 KiB
TypeScript
import { z } from "zod"
|
||
|
||
import { paginatedSchema, sampleUserSchema } from "./common"
|
||
import { userProfileSchema } from "./auth"
|
||
|
||
export const registerRequestSchema = z.object({
|
||
username: z.string().trim().min(1).max(32),
|
||
email: z.email().max(64),
|
||
password: z.string().min(6).max(20),
|
||
})
|
||
|
||
export const updateProfileRequestSchema = z.object({
|
||
realName: z.string().max(32).nullable().optional(),
|
||
avatar: z.string().max(256).optional(),
|
||
mood: z.string().max(256).nullable().optional(),
|
||
})
|
||
|
||
export const metricsSchema = z.object({
|
||
now: z.string(),
|
||
latest: z.string(),
|
||
first: z.string(),
|
||
})
|
||
|
||
export const rankProfileSchema = z.object({
|
||
id: z.number().int(),
|
||
user: sampleUserSchema,
|
||
acceptedNumber: z.number().int(),
|
||
submissionNumber: z.number().int(),
|
||
mood: z.string().nullable(),
|
||
})
|
||
|
||
/**
|
||
* 榜单里「我」的位置。`rank` 是**全服名次**，与当前翻到第几页无关 ——
|
||
* 前 100 名之外的学生也拿得到，页面靠它单独显示一行。
|
||
*
|
||
* 名次口径与列表的排序完全一致（AC 降序 → 提交数升序 → id 升序），
|
||
* 所以「我的名次」和「我在表格里的行号」永远对得上；三个键都相同才算并列。
|
||
*/
|
||
export const myRankSchema = rankProfileSchema.extend({
|
||
rank: z.number().int().positive(),
|
||
})
|
||
|
||
export const userRankSchema = paginatedSchema(rankProfileSchema).extend({
|
||
/** 未登录、或身份不入榜（教师/超管）时为 null */
|
||
me: myRankSchema.nullable(),
|
||
})
|
||
|
||
export const activityRankItemSchema = z.object({
|
||
username: z.string(),
|
||
count: z.number().int().nonnegative(),
|
||
})
|
||
|
||
export const problemRankSchema = z.object({
|
||
className: z.string(),
|
||
rank: z.number().int(),
|
||
classAcCount: z.number().int().nonnegative(),
|
||
allAcCount: z.number().int().nonnegative(),
|
||
})
|
||
|
||
export const publicProfileSchema = userProfileSchema
|
||
|
||
export type RegisterRequest = z.infer<typeof registerRequestSchema>
|
||
export type UpdateProfileRequest = z.infer<typeof updateProfileRequestSchema>
|
||
export type ProblemRank = z.infer<typeof problemRankSchema>
|
||
export type RankProfile = z.infer<typeof rankProfileSchema>
|
||
export type UserRank = z.infer<typeof userRankSchema>
|
||
export type MyRank = z.infer<typeof myRankSchema>
|
||
export type ActivityRankItem = z.infer<typeof activityRankItemSchema>
|
||
export type Metrics = z.infer<typeof metricsSchema>
|
||
|
||
export type PublicProfile = z.infer<typeof publicProfileSchema>
|