计算属性名仅用于初始化阶段的键名动态组装,不参与动态契约控制;真正的契约控制依赖 Proxy + Reflect 在流式节点(如字段赋值、读取、组件实例化)上拦截并注入校验、转换与权限逻辑。

计算属性名本身不参与动态契约控制,它只是 JavaScript 中构造对象键名的语法糖;真正实现迭代流动态契约控制,依赖的是 Proxy + Reflect 构建的运行时拦截与行为重定义能力。契约控制的核心是“在资源加载、字段变更、权限切换等流式节点上,按需施加约束、校验或转换”,而非静态拼接键名。
明确计算属性名的定位:仅用于结构组装,不承载契约逻辑
计算属性名({[key]: value})适用于配置驱动的键名动态化场景,例如:
- 根据当前表单模式(create/edit)生成不同字段规则对象的 key
- 按用户角色拼出差异化 API 路径前缀(如 {[`v2_${role}_report`]: handler})
- 但这些操作均发生在初始化阶段,不响应后续状态变化,也不介入执行流控制
用 Proxy 拦截流式操作,注入契约检查点
在单页应用的流式迭代中(如模块懒加载、表单字段动态增删、权限实时降级),需在关键操作发生时触发契约验证。Proxy 可拦截以下行为:
- set:拦截字段赋值,检查值类型、范围、跨字段依赖(如“发票类型为增值税专票时,税号必填”)
- get:拦截字段读取,自动补全默认值、脱敏敏感字段、或抛出未授权访问异常
- apply(配合 Reflect.construct):拦截组件实例化,强制注入审计钩子或上下文隔离沙箱
- ownKeys / getOwnPropertyDescriptor:控制哪些字段对下游可见,实现视图层契约收敛
用 Reflect 配合 Proxy 实现可预测、可回滚的契约行为
Reflect 提供了标准化的对象底层操作接口,确保契约逻辑不破坏原始语义:
- 在 Proxy 的 set trap 中调用 Reflect.set(target, prop, value) 执行真实赋值,再附加日志、校验或通知
- 用 Reflect.has(target, key) 替代 key in target,统一处理 Symbol 和不可枚举属性,避免契约漏判
- 通过 Reflect.ownKeys(target) 获取当前合法字段集,结合配置中心下发的 schema 动态比对,识别非法字段注入
- 使用 Reflect.defineProperty 返回布尔值,便于在契约失败时优雅降级(如跳过非法字段绑定)
契约控制应聚焦流式生命周期节点,而非键名拼接
真正的动态契约需响应流式迭代中的实际事件节点,例如:
- 路由切换时,基于新 route.meta.contract 触发权限契约重载
- 表单提交前,遍历所有 active 字段的校验计算属性(非计算属性名),聚合错误
- API 响应返回后,用 Proxy 包装 data,对每个字段施加数据契约(如金额字段自动转 number、日期字段强校验格式)
- 租户上下文变更时,通过 Reflect.deleteProperty 清理旧租户专属字段,防止状态污染


















