先记住这个答案
运行时 props 可以用对象声明 type、required、default 和 validator。type 使用构造函数或类型数组描述可接受的运行值，自定义 validator 进一步检查业务条件；开发环境对不符合声明的输入给出警告。校验失败通常不会自动转换、丢弃该值或停止组件渲染，因此业务代码仍应处理真实输入。TypeScript 的类型式声明提供静态约束，编译器可推导部分运行时声明，但不会为任意复杂类型生成完整业务验证器。
- type 表达运行值类型，validator 表达额外接受条件
- 开发校验失败是诊断，不能假定数据已经被拒绝
- 可缺省、可为 null 与存在默认值是不同契约
运行时 type 不只是字符串标签
常见类型可以使用 String、Number、Boolean、Array、Object、Function 等构造函数，也可以用数组允许多种类型。自定义类可通过相应实例判断校验；这不同于写一个描述类型的字符串，也不等于检查对象具备任意复杂的完整结构。
需要必传但允许 null 时，应明确组合可空类型与 required。单独 type: null 表达允许任意类型，不能把它误认为只接受 null。可选字段的 null 或 undefined 与 required 的缺失判断也不同，设计接口时应分别列出示例，避免让调用者从警告反推契约。
自定义校验应聚焦明确条件
例如分页大小只允许若干档位，validator 可以判断是否属于允许集合；区间组件需要比较上下界时，可以在支持相应接口的版本中利用第二个 props 参数。Vue 3.4 起的完整 props 参数需要按版本使用，不要假定旧项目具备相同行为。
校验器应返回布尔值并避免副作用，不适合在其中发请求、修改其他 prop 或启动业务流程。数据来自后端时，先在数据边界解析并处理错误，再把适合展示的值传给组件，会比让各组件都用警告承担数据清洗更清楚。
开发警告不是生产数据保护
给 Number prop 传字符串可能出现类型警告，但字符串仍会进入实际组件逻辑。若后续代码按数字相加，就可能产生字符串拼接或其他错误。应检查调用处绑定、接口返回类型和转换规则，而不是关闭警告后认为问题解决。
TypeScript 的 PropType 可以帮助描述复杂对象供编辑器检查，但类型在运行时不会保留成完整验证逻辑。对于必须拒绝的输入，要使用真正的数据解析或业务检查，并测试失败时界面怎样表现。组件库的开发校验适合帮助使用者及时发现错误，不能替代所有运行保障。
容易答错的地方
- type: Number 会自动把数字字符串转成数字
- 普通类型声明主要用于检查，不能依赖它执行任意输入转换；模板中的动态绑定与静态文本也应区分。
- required 就表示值一定不为 null
- 是否允许 null 需要结合类型声明判断，必传与可空是两个维度。排查“Vue props 类型校验 validator 运行边界”时还要核对输入、版本和执行顺序，并用反例确认修复后的边界。
面试官还会怎么问？
validator 失败会抛异常阻止渲染吗？
通常是开发诊断，不应把它当成必然终止渲染的机制。业务拒绝和错误界面需要明确实现。针对“Vue props 类型校验 validator 运行边界”，还应保留最小复现、预期结果和失败路径，避免只凭一次现象下结论。
Object 类型会检查每个字段吗？
不会自动验证任意对象结构，复杂字段约束需要更明确的运行时解析或自定义检查。针对“Vue props 类型校验 validator 运行边界”，还应保留最小复现、预期结果和失败路径，避免只凭一次现象下结论。
类型式和运行时式 defineProps 能一起写吗？
同一次宏声明应选择对应方式，不能把两种声明混合使用；需要默认值时按该语法支持的方式补充。针对“Vue props 类型校验 validator 运行边界”，还应保留最小复现、预期结果和失败路径，避免只凭一次现象下结论。
参考资料
示例用于理解所注明的运行环境与边界；延伸学习可结合原文中的更多案例。