打字稿减去类型

Question

是否有可能在 Typescript 中创建减法类型？ 我正在考虑一个用户案例，当 React 组件只向组件用户公开 if 道具的子集时。 React-redux 连接示例：

import {Component, ComponentType} from 'react';

export function connect<S, A>(state: () => S, actions: A){
  return function createConnected<P>(component: ComponentType<P>){
    return class Connect extends Component<P-S-A>{ // <-- 
      // ...
    }    
  }
}

---

阅读后： Exclude property from type

似乎我得到了这个工作......

import {Component, ComponentType} from 'react';

type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>;

function connect<S, A>(state: () => S, actions: A) {
    return function createConnect<P extends S & A>(C: React.ComponentType<P>): ComponentType<Omit<P, keyof S | keyof A>> {
        return class Connect extends Component<Omit<P, keyof S | keyof A>> {
            // ...
        };
    };
}

....但我不明白怎么做。

---

更新 2：

在玩了这个之后，我发现了一种更简洁的方式（在我看来），来描述一个减法类型：

// LeftOuterJoin
type Subtract<T, V> = Pick<T, Exclude<keyof T, keyof V>>;

function connect<S, A>(state: () => S, actions: A) {
    return function createConnect<P>(C: ComponentType<P>) {
        return class Connect extends Component<Subtract<P, S & A>> {
                  // ...
        };
    };
}

Answer 1

....但我不明白怎么做。

这里使用内置的Exclude 类型来操作字符串文字的联合。

Exclude<keyof T, K> 排除 keyof T 中位于 K 中的所有键，假设 K 也是字符串文字的联合 - 并且约束 K extends keyof T 确保，声明 K 必须是T 的键子集。

另一个内置类型 Pick<T, K> 允许从 T 创建一个新类型，该类型仅具有 K 中的键 - 再次假设 K 是字符串文字的并集和keyof T.

使用Pick 和Exclude 作为构建块，您可以将一种类型从另一种类型中减去类型表示为“仅从一种类型中选择不存在于另一种类型中的这些属性”，而Exclude 执行“不存在” " 按键操作。

这里是扩展的形式，将ComponentProps从Props不包括S或A中的道具：

type ComponentProps = Pick<Props, Exclude<keyof Props, keyof S | keyof A>>