TypeScript能否将对象属性标记为不可枚举，解决useMemo品牌类型的展开误判

针对你提出的两个关键疑问，答案非常明确：

• 即便将__MEMOED属性在运行时设置为不可枚举，也完全无法解决TypeScript层面的类型误判问题——因为TS的类型推导逻辑和运行时的属性枚举配置完全脱节，根本感知不到这个设置。
• TypeScript类型系统没有提供原生语法支持将对象属性标记为不可枚举，不存在通过类型层面的声明，让TS识别某个属性是否可枚举的能力。

为什么不可枚举配置解决不了类型误判 #

TypeScript的结构类型推导规则，和JavaScript运行时的对象操作规则是两套独立逻辑：

• 在JavaScript运行时中，通过Object.defineProperty将__MEMOED配置为enumerable: false的属性，确实不会被对象展开、Object.keys、Object.values这类操作拷贝或枚举到结果中。
• 但TypeScript的类型推导完全不读取运行时的枚举配置：只要原对象的类型结构上存在__MEMOED: true这个属性，哪怕运行时这个属性是不可枚举的，展开操作推导出来的新对象类型，依然会原样继承这个属性的类型定义。最终展开生成的新对象，依然会被判定为符合Memoed<object>的类型要求，可以直接作为useMemo的依赖传入，和你现在遇到的误判场景完全没有区别。

举个直观的示例：

const rawObj = { a: 1 };
// 运行时添加不可枚举的品牌属性
Object.defineProperty(rawObj, '__MEMOED', {
  value: true,
  enumerable: false
});
// 执行对象展开
const spreadObj = { ...rawObj };
// TypeScript推导的spreadObj类型，依然包含__MEMOED: true
// 也就是依然满足useMemo的依赖校验规则

当前品牌标记方案的固有缺陷 #

你现在使用的“交叉类型+公开字符串属性”的品牌标记方式，天然不具备排他性：
TS的类型判断只看结构是否匹配，不关心属性的实际来源。只要任意对象的结构上带了__MEMOED: true这个属性——不管是真的经过useMemo包装的值，还是展开复制了这个属性的新对象，甚至是手动编写的普通对象字面量，都会被判定为合法的Memoed类型。

要彻底避免展开操作带来的类型误判，需要从品牌标记的结构设计上调整：

• 放弃公开的字符串键作为品牌标记，改用模块内部私有、不对外暴露的unique symbol作为品牌键，从根源上避免外部代码手动构造出带这个品牌属性的对象。
• 调整Memoed类型的结构，给真实的记忆化值增加一个“无法被展开操作继承的类型特征”：比如给品牌属性加上仅在模块内部可见的私有类型约束，展开生成的对象会因为类型协变关系，丢失这个私有约束，最终无法通过类型校验。
• 优化useMemo的依赖校验逻辑，将“是否存在品牌属性”的结构校验，替换为对值来源的类型校验，让普通对象展开生成的新对象，因为类型不匹配无法通过依赖参数的校验。

内容的提问来源于stack exchange，提问作者Leo Jiang