# 使用可选的 Never 属性来建模异或 ## 概述有时，您需要一种类型，其中必须存在多个属性中的一个，但不能超过一个。这种“异或”(XOR) 模式在组件 props、API 参数和配置对象中很常见。使用带有“never”类型的可选属性会在编译时强制执行此约束。该技术提供了比对象联合更好的类型安全性以及比运行时检查更清晰的意图。 ## 何时使用此技能 * 必须存在多个属性之一 * 建模互斥的配置选项 * 具有替代配置的组件道具 * 具有专有变体的API参数 * 防止无效的属性组合 ## 铁律 **使用可选的“never”属性来强制执行“恰好之一”约束。每个变体都将其属性设置为必需，而其他变体则“从不”。** ## 检测注意这些无效组合： // 危险信号 - 允许无效组合接口配置{ 网址？：字符串；文件路径？：字符串；内容？：字符串； } // 可以不传递任何一个、一个或全部 - 太宽松了！ // 需要运行时验证： if ((config.url ? 1 : 0) + (config.filePath ? 1 : 0) + (config.content ? 1 : 0) !== 1) { throw new Error('仅需要一个源'); } ## 问题接口加载配置{ 网址？：字符串； // 从 URL 加载文件路径？：字符串； // 从文件加载内容？：字符串； // 从字符串加载 } // 所有这些都是允许的，但不应该是： const bad1: LoadConfig = {}; // 未指定来源 const bad2: LoadConfig = { url: '...', filePath: '...' }; // 两个来源 const bad3: LoadConfig = { url: '...', filePath: '...', content: '...' }; // 三者皆有 // 需要运行时检查函数加载（配置：LoadConfig）{ const 来源 = [config.url, config.filePath, config.content].filter(Boolean); if (sources.length !== 1) { throw new Error('仅需要一个源'); } // ... } ## 解决方案：可选的 Never 属性输入加载配置= | { 网址：字符串；文件路径？：从不；内容？：从不} | { url？：从不；文件路径：字符串；内容？：从不} | { url？：从不；文件路径？：从不；内容：字符串}； // 有效 - 仅有一个来源： const good1: LoadConfig = { url: 'https://example.com' }; const good2: LoadConfig = { filePath: '/path/to/file' }; const good3: LoadConfig = { content: '原始内容' }; // 无效 - 在编译时捕获： const bad1: LoadConfig = {}; // 错误：缺少必需的属性 const bad2: LoadConfig = { url: '...', filePath: '...' }; // 错误：filePath 必须未定义 const bad3: LoadConfig = { url: '...', content: '...' }; // 错误：内容必须未定义 ## 组件道具示例类型 ButtonProps = { 标签：字符串； onClick: () => 无效; } & ( | { 链接：字符串；到？：从不； onPress?: never } // 外部链接 | { href？：从不；至：字符串； onPress?: never } // 路由器链接 | { href？：从不；到？：从不； onPress: () => void } // 自定义操作）； // 用法 <按钮标签=“外部”href=“https://example.com”/> <按钮标签=“内部”=“/仪表板”/>

异或属性

包含技能