如何使函数过载通用性强烈键入其实现参数？

Question

我正在尝试找到一种从功能过载中获得严格的参数歧视的方法。显然，我对此实施的问题是，我的通用类型 t 可以扩展到继承的任何 aorb props props，因此我在这里获得的错误是完全期望的（'{type ：“ a”：任何;

我正在寻找的是一种使某种＆lt; t实现aorb＆gt; 的方法>， customProps 参数被区分为 a props。

我还试图避免在函数实现参数中使用在返回中的中使用。

type A = {
  a: string
  type: 'A'
}

type B = {
  b: string
  type: 'B'
}

type AorB = A | B

function createAorB(type: A['type'], customProps?: Partial<Omit<A, 'type'>>): A
function createAorB(type: B['type'], customProps?: Partial<Omit<B, 'type'>>): B
function createAorB<T extends AorB>(type: T['type'], customProps: Partial<Omit<T, 'type'>> = {}): T {
  if (type === 'A') {
    return {
      type,
      a: customProps.a || '',
    }
  }

  return {
    type,
    b: customProps.b || '',
  }
}

const newA = createAorB('A')
const newB = createAorB('B')

update

如果我执行 aorb 作为返回值：

function createAorB<T extends AorB>(type: T['type'], customProps: Partial<Omit<T, 'type'>> = {}): AorB

我得到两个错误 propert'a''''''''''partial＆lt; omit＆lt; t; ＆gt;＆gt;'。和属性'b'在类型'partial＆lt; omit＆lt; t上，“ type”＆gt;＆gt;'。 .a 和 customProps.b 行。

Answer 1

参数列表 （）表格a ，其中第一个元组元素是判别。看起来像这样：

type Args = 
   [type: "A", customProps?: Partial<Omit<A, "type">>] | 
   [type: "B", customProps?: Partial<Omit<B, "type">>]; 

如果您使用 and 名为 type 和 customprops 的变量的元素，您可以 norotate args args ，然后编译器将使用控制流程分析来缩小 ustomprops 检查类型 ：

function createAorB(type: A['type'], customProps?: Partial<Omit<A, 'type'>>): A
function createAorB(type: B['type'], customProps?: Partial<Omit<B, 'type'>>): B
function createAorB(...[type, customProps]: Args) {
  if (type === 'A') {
    return {
      type,
      a: customProps?.a || '', // okay
    }
  }

  return {
    type,
    b: customProps?.b || '', // okay
  }
}

---

如果您碰巧在 aorb 中有很多类型，而不仅仅是 a | b ，扩展 args 定义可能很乏味。在这种情况下，您可以让编译器为您计算为 aorb 的函数，如以下：

type Args = AorB extends infer T ? T extends AorB ? (
  [type: T['type'], customProps?: Partial<Omit<T, 'type'>>]
) : never : never;

这使用条件类型推进将复制 aorb aorb /www.typescriptlang.org/docs/handbook/2/generics.html“ rel =” nofollow noreferrer“> generic type parameter t t ，然后用于使A 联合类型如果 t 是联合类型 t 中的工会的操作）。

您可以验证它的评估与上面的手动定义版本相同。

Playground link to code