基于布尔选项的TypeScript条件函数签名实现：动态约束参数类型

当然可以实现，完全不需要拆分成两个单独的函数！TypeScript的函数重载或者条件类型泛型就能完美解决这个需求，让类型检查根据配置选项动态切换。下面给你两种可行的实现方案：

方案一：函数重载（直观易读） #

函数重载是最直接的方式，通过定义不同的调用签名，明确对应配置下的参数类型约束：

首先我们需要先定义PartialDeep类型（如果项目中没有现成的实现）：

// 递归实现深度可选类型
type PartialDeep<T> = {
  [K in keyof T]?: T[K] extends object ? PartialDeep<T[K]> : T[K];
};

然后编写函数重载和实现：

// 重载签名1：当overwriteMerge为true时，element必须是完整的T类型
function mergeArrayElement<T>(array: T[], element: T, options: { overwriteMerge: true }): void;
// 重载签名2：当overwriteMerge为false或不提供时，element允许为PartialDeep<T>
function mergeArrayElement<T>(array: T[], element: PartialDeep<T>, options?: { overwriteMerge?: false }): void;

// 函数实现（兼容两种重载场景）
function mergeArrayElement<T>(
  array: T[],
  element: T | PartialDeep<T>,
  options?: { overwriteMerge?: boolean }
) {
  const index = array.findIndex(/* 这里填入你的目标元素查找逻辑，比如(item) => item.id === element.id */);
  
  if (index > -1) {
    if (options?.overwriteMerge) {
      // 此时TypeScript会通过重载推断element是T类型，无类型错误
      array[index] = element as T;
    } else {
      array[index] = deepmerge(array[index], element);
    }
  }
}

调用时的类型检查效果：

type User = { id: number; name: string; address: { city: string } };
const users: User[] = [{ id: 1, name: "Alice", address: { city: "NY" } }];

// ✅ 合法：overwriteMerge为true，传入完整User类型
mergeArrayElement(users, { id: 1, name: "Bob", address: { city: "LA" } }, { overwriteMerge: true });

// ✅ 合法：未传overwriteMerge，传入PartialDeep<User>类型
mergeArrayElement(users, { name: "Charlie" });

// ❌ 类型错误：overwriteMerge为true，但传入的是部分类型
mergeArrayElement(users, { name: "Dave" }, { overwriteMerge: true });

方案二：条件类型泛型（紧凑简洁） #

如果你不想写多个重载签名，可以用泛型参数捕获配置选项的类型，通过条件类型动态约束element的类型：

type PartialDeep<T> = {
  [K in keyof T]?: T[K] extends object ? PartialDeep<T[K]> : T[K];
};

function mergeArrayElement<T, O extends { overwriteMerge?: boolean } = {}>(
  array: T[],
  element: O['overwriteMerge'] extends true ? T : PartialDeep<T>,
  options?: O
) {
  const index = array.findIndex(/* 你的目标元素查找逻辑 */);
  
  if (index > -1) {
    if (options?.overwriteMerge) {
      array[index] = element as T; // 条件类型已保证此时element是T，类型断言安全
    } else {
      array[index] = deepmerge(array[index], element);
    }
  }
}

这种方案的类型检查效果和重载完全一致，但代码更紧凑，适合喜欢简洁风格的场景。

两种方案都能完美满足你的需求：覆盖模式下强制要求完整类型，合并模式下允许部分类型。你可以根据自己的代码风格选择其中一种。

内容的提问来源于stack exchange，提问作者TG Person