使用toZod/Zod建模带_type字段的类型遇类型错误，求正确写法

一、先解决你遇到的类型错误 #

你代码里的核心问题是错误地把toZod<ConnectorForModel>直接作为变量类型。toZod是Zod的内部工具类型，用来将TS类型转换为对应的Zod schema类型，不能直接赋值给变量做类型标注。

正确的写法有两种：

写法1：让Zod自动推导类型（最常用） #

import { z } from "zod";

export interface ConnectorForModel {
    _type: "connector.for.model",
    connectorDefinitionId: string
}

// 不用显式指定类型，Zod会自动匹配TS接口
export const ConnectorForModelZod = z.object({
    _type: z.literal("connector.for.model"),
    connectorDefinitionId: z.string()
});

// 可选：验证schema和接口是否匹配
type SchemaInferredType = z.infer<typeof ConnectorForModelZod>;
// 此时SchemaInferredType和ConnectorForModel完全一致，类型校验通过

写法2：用satisfies关键字做严谨校验 #

如果你想强制保证schema和TS接口的一致性，可以用satisfies关键字：

import { z, toZod } from "zod";

export interface ConnectorForModel {
    _type: "connector.for.model",
    connectorDefinitionId: string
}

export const ConnectorForModelZod = z.object({
    _type: z.literal("connector.for.model"),
    connectorDefinitionId: z.string()
}) satisfies toZod<ConnectorForModel>;

这样既不会出现类型错误，又能确保schema完全符合TS接口的定义。

二、可辨识联合中_type字段的建模 #

假设你有多个带_type标识的接口组成联合类型，比如：

// 子接口1
interface ConnectorForModel {
    _type: "connector.for.model",
    connectorDefinitionId: string
}

// 子接口2
interface ConnectorForDatabase {
    _type: "connector.for.database",
    databaseUrl: string
}

// 可辨识联合类型
type Connector = ConnectorForModel | ConnectorForDatabase;

对应的Zod建模有两种方式：

方式1：用z.union组合子schema #

// 先定义每个子类型的schema
const ConnectorForModelZod = z.object({
    _type: z.literal("connector.for.model"),
    connectorDefinitionId: z.string()
});

const ConnectorForDatabaseZod = z.object({
    _type: z.literal("connector.for.database"),
    databaseUrl: z.string()
});

// 组合成联合schema
const ConnectorZod = z.union([ConnectorForModelZod, ConnectorForDatabaseZod]);

// 使用时自动类型收窄
const connector = ConnectorZod.parse(someData);
if (connector._type === "connector.for.model") {
    // 这里connector会被自动推断为ConnectorForModel类型
    console.log(connector.connectorDefinitionId);
} else {
    // 这里自动推断为ConnectorForDatabase类型
    console.log(connector.databaseUrl);
}

方式2：用z.discriminatedUnion优化（推荐） #

Zod专门提供了z.discriminatedUnion方法处理可辨识联合，它会优先检查_type字段，验证效率更高：

const ConnectorZod = z.discriminatedUnion("_type", [
    ConnectorForModelZod,
    ConnectorForDatabaseZod
]);

// 用法和z.union完全一致，但内部验证逻辑更高效

内容的提问来源于stack exchange，提问作者Mike Hogan