为什么Action<“测试”，boolean>扩展为Action<“测试”，true> Action<“测试”，false>

Question

行动的定义是

    type Action<T = string, P = any> = { p: P }["p"] extends undefined
        ? { type: T; payload?: P }
        : { type: T; payload: P };

但是，即使我已经在对象中完成了有效负载的检查，它仍然被扩展到了联合中：

type Actions =  Action<"runTest", boolean>

决意

​

​

我不想它被传播出去。如何将有效负载类型保持为布尔值？

Answer 1

问题是{ p: P }["p"]解析P，这是一个裸类型参数。条件类型分布在裸类型参数上，可以在文档中阅读。

可以通过在元组类型中包装类型参数来禁用分发：

type Action<T = string, P = any> = [P] extends [undefined]
        ? { type: T; payload?: P }
        : { type: T; payload: P };


type Actions =  Action<"runTest", boolean>

操场连接