TypeScript获取可选属性值带默认值的泛型函数报错求助

问题背景 #

现有如下带可选属性的对象类型X，部分属性允许null作为有效值：

type X = {
  a?: number | null;
  b?: string;
  c?: boolean | null;
};

需要编写一个函数获取X的属性值，支持传入默认值，当属性不存在时返回默认值。编写的函数如下：

function get<K extends keyof X>(k: K, x: X, defaultValue: Required<X>[K]): Required<X>[K] {
  const v = x[k];
  return v !== undefined ? v : defaultValue;
}

预期使用效果：

// a: number | null = 12345
const a = get('a', {}, 12345);
// b: string = 'bar'
const b = get('b', { b: 'bar' }, '?');
// c: boolean | null = null
const c = get('c', {}, null);

但函数return语句出现编译错误：

Type 'Required<X>[K] | (X[K] & ({} | null))' is not assignable to type 'Required<X>[K]'.
  Type 'X[K] & null' is not assignable to type 'Required<X>[K]'.
    Type 'X[K] & null' is not assignable to type 'never'.

错误原因 #

问题出在TypeScript的类型推导逻辑上：

• X[K]的实际类型是Required<X>[K] | undefined（因为属性为可选）
• 当判断v !== undefined时，TypeScript没能正确将v的类型收窄为Required<X>[K]，尤其当属性类型包含null时，它会错误认定v可能是X[K] & null，无法匹配Required<X>[K]的类型约束。

解决方案 #

这里提供两种可靠的修复写法：

方案一：使用类型断言 #

既然已经通过v !== undefined排除了undefined的情况，可以直接将v断言为目标类型：

function get<K extends keyof X>(k: K, x: X, defaultValue: Required<X>[K]): Required<X>[K] {
  const v = x[k];
  return v !== undefined ? v as Required<X>[K] : defaultValue;
}

方案二：自定义条件类型优化推导 #

通过自定义条件类型明确排除undefined，让TypeScript更清晰地识别类型逻辑：

type NonUndefined<T> = T extends undefined ? never : T;

function get<K extends keyof X>(k: K, x: X, defaultValue: NonUndefined<X[K]>): NonUndefined<X[K]> {
  const v = x[k];
  return v !== undefined ? v : defaultValue;
}

NonUndefined<T>会直接移除T中的undefined类型，和Required<X>[K]效果一致，但类型推导更直观，TypeScript能正确识别v !== undefined后的类型就是NonUndefined<X[K]>。

验证效果 #

两种方案均能通过编译，且完全符合预期的类型推断：

// a: number | null = 12345
const a = get('a', {}, 12345);
// b: string = 'bar'
const b = get('b', { b: 'bar' }, '?');
// c: boolean | null = null
const c = get('c', {}, null);

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