具有基于另一个参数的默认参数的函数

鉴于此JavaScript函数：

function foo({ a, b, c = a + b }) {
  return c * 2;
}

当我尝试用打字稿中的类型注释它时：

function foo({ a, b, c = a + b }: { a?: number, b?: number, c: number }): number {
  return c * 2;
}

我得到错误：TS2532 Object is possibly undefined这很有意义，因为我还没有告诉过它，a并且b在c未指定时不是可选的。

但是，任何尝试指定此方法均无效：

1. 重载（1）：

function foo({ a, b, c = a + b }: { a: number; b: number; c: number }): number;
function foo({ c }: { c: number }): number {
  return c * 2;
}

TS2371: A parameter initializer is only allowed in a function or constructor implementation.

2. 重载（2）：

function foo({ c }: { c: number }): number;
function foo({ a, b, c = a + b }: { a: number; b: number; c: number }): number {
  return c * 2;
}

TS2394: This overload signature is not compatible with its implementation signature.

这对我来说没有意义，我看不出为什么TypeScript认为它们不兼容。

3. 有条件的

function foo({
  a,
  b,
  c = a + b,
}: {
  a: typeof c extends number ? void : number;
  b: typeof c extends number ? void : number;
  c: typeof a extends number ? void : typeof b extends number ? void : number;
}): number {
  return c * 2;
}

TS2502: 'a' is referenced directly or indirectly in its own type annotation. TS2502: 'c' is referenced directly or indirectly in its own type annotation.

鉴于TypeScript无法解决递归问题，这是有道理的。

有谁知道如何将此功能强类型化？

注意：我非常清楚您可以将原型本身更改为具有不同的参数结构，但是这样做会失败。