获得更有针对性的基于条件类型的函数签名，尝试根据输入缩小到特定输出

我处理这个问题的第一次尝试是进行提到的结构重构，并使用Exclude实用程序类型来表示undefined在您防范undefined值时不可能输出的约束。

所以重构看起来像这样：

interface AutosuggestProps<Item = ItemDefaultType>
  extends Partial<AutosuggestState<Item>> {
  itemToString?: ItemToString<Item>;

  initial?: {
    highlightedIndex?: number | null;
    inputValue?: string | null;
    isOpen?: boolean;
    selectedItem?: Item;
  }

  default?: {
    highlightedIndex?: number | null;
    inputValue?: string | null;
    isOpen?: boolean;
    selectedItem?: Item;
  }

}

功能如下所示：

function getDefaultValue<
  P extends AutosuggestProps,
  K extends keyof AutosuggestState
>(
  props: P,
  statePropKey: K
) {
  if (props.default && typeof props.default[statePropKey] !== "undefined") {
    const ret = props.default[statePropKey]
    return ret as Exclude<typeof ret, undefined>;
  }
  return defaultStateValues[statePropKey]
}

function getInitialValue<
  P extends AutosuggestProps,
  K extends keyof AutosuggestState
>(
  props: P,
  statePropKey: K
) {
  if (statePropKey in props && typeof props[statePropKey] !== "undefined") {
    const ret = props[statePropKey];
    return ret as Exclude<typeof ret, undefined>;
  }
  if (props.initial && typeof props.initial[statePropKey] !== "undefined") {
    const ret = props.initial[statePropKey];
    return ret as Exclude<typeof ret, undefined>;
  }
  return getDefaultValue(props, statePropKey)
}

这给出了以下结果：

declare const props: AutosuggestProps;
const selectedItem = getInitialValue(props, 'selectedItem');
// const selectedItem: ItemDefaultType

也许这对你来说就足够了。

如果您需要一个条件类型签名来尝试预测每个函数中实际发生的分支并输出更紧密的类型，这将以函数实现内部的类型安全性降低为代价，因为编译器不执行此操作自动分析，也不能验证手动条件类型是否与函数的结果相匹配。

无论如何，它可能看起来像这样：

type IdxWithDefault<T, K extends keyof any, D = never> = T extends any ? K extends keyof T ?
  Exclude<T[K], undefined> | (undefined extends T[K] ? D : never) : D : never

该类型IdxWithDefault<T, K, D>尝试查找关键K的类型T。如果成功而属性不成功undefined，则计算结果为T[K]。否则，它的计算结果为D。它分布在联合上，所以如果T[K]是string | undefined，那么输出将是string | D。

现在函数签名可以使用IdxWithDefault：

function getDefaultValue<
  P extends AutosuggestProps,
  K extends keyof AutosuggestState
>(
  props: P,
  statePropKey: K
): IdxWithDefault<
  P["default"], K, IdxWithDefault<
    typeof defaultStateValues, K
  >
>
function getDefaultValue(props: AutosuggestProps, statePropKey: keyof AutosuggestState) {
  if (props.default && typeof props.default[statePropKey] !== "undefined") {
    return props.default[statePropKey]
  }
  return defaultStateValues[statePropKey]
}

function getInitialValue<
  P extends AutosuggestProps,
  K extends keyof AutosuggestState
>(
  props: P,
  statePropKey: K
): IdxWithDefault<
  P, K, IdxWithDefault<
    P["initial"], K, IdxWithDefault<
      P["default"], K, IdxWithDefault<
        typeof defaultStateValues, K>
    >
  >
>;
function getInitialValue(props: AutosuggestProps, statePropKey: keyof AutosuggestState) {
  if (statePropKey in props && typeof props[statePropKey] !== "undefined") {
    return props[statePropKey];
  }
  if (props.initial && typeof props.initial[statePropKey] !== "undefined") {
    return props.initial[statePropKey];
  }
  return getDefaultValue(props, statePropKey)
}

测试它...这是一样的，因为props只知道是AutosuggestProps.

declare const props: AutosuggestProps;
const selectedItem = getInitialValue(props, 'selectedItem');

但以下输出string类型：

getInitialValue({
  selectedItem: "wheee"
}, "selectedItem"); // string

我想这就是我所能做到的。如果您发现边缘情况不符合您的预期，您可以尝试使用嵌套IdxWithDefault类型。

好的，希望有帮助；祝你好运！

代码链接