如何约束TypeScript类型参数不包含指定属性？优化withApollo

要实现仅允许不包含特定属性的类型通过编译，可以利用TypeScript的条件类型与never类型的冲突特性来约束泛型。

基础约束实现 #

如果要限制泛型T不包含client属性，可以将泛型约束设为T extends { client?: never }：

const f = <T extends { client?: never }>(x: T) => {
  // 函数逻辑
};

当传入的T包含client属性时，该属性的类型会与never产生冲突，直接触发编译错误，达到限制效果。

针对withApollo的优化方案 #

你的withApollo函数类型推断差的核心原因是Omit<TProps, "client">增加了类型计算的复杂度。通过给TProps添加不包含client的约束，可以简化类型定义，提升推断效率：

export declare function withApollo<
  TProps extends { client?: never },
  TResult = any
>(
  WrappedComponent: React.ComponentType<WithApolloClient<TProps>>,
  operationOptions?: OperationOption<TProps, TResult>
): React.ComponentClass<TProps>;

这里直接用TProps替代原本的Omit<TProps, "client">，因为约束已经确保TProps本身不包含client属性，TypeScript无需额外处理类型剔除，自然能更顺畅地完成类型推断，不需要再显式传入类型参数。

多属性限制扩展 #

如果需要限制多个属性，只需在约束中添加对应的属性即可：

// 限制T不包含client和id属性
const f = <T extends { client?: never; id?: never }>(x: T) => {
  // 函数逻辑
};

内容的提问来源于stack exchange，提问作者Alexey Romanov