如何让TypeScript确认对象可选数值属性存在，实现合法比较与排序？

核心方案：使用自定义类型守卫（Type Guard）收窄类型 #

TypeScript无法通过hasOwnProperty或简单数值判断自动确认可选属性的存在及有效类型，我们可以通过自定义类型守卫明确告知TypeScript哪些对象具备合法的order属性（包括0值）。

步骤1：定义类型与类型守卫函数 #

先明确对象类型，再编写类型守卫函数判断对象是否包含有效order值：

// 定义你的对象类型
type SortableItem = {
  order?: number;
  // 其他属性...
};

// 类型守卫：确认对象拥有合法的order属性（数字类型且>=0）
function hasValidOrder(item: SortableItem): item is SortableItem & { order: number } {
  return typeof item.order === 'number' && item.order >= 0;
}

当该函数返回true时，TypeScript会自动将item的类型收窄为包含必填order数字属性的版本。

步骤2：在排序逻辑中使用类型守卫 #

在sort回调里通过类型守卫区分场景，安全比较order值：

const items: SortableItem[] = [
  { order: 2 },
  {},
  { order: 0 },
  { order: 1 },
];

items.sort((a, b) => {
  const aHasValidOrder = hasValidOrder(a);
  const bHasValidOrder = hasValidOrder(b);

  // 两个对象都有合法order，直接比较数值
  if (aHasValidOrder && bHasValidOrder) {
    return a.order - b.order;
  }

  // 仅一个对象有合法order，让有order的排前面（可按需调整顺序）
  if (aHasValidOrder) return -1;
  if (bHasValidOrder) return 1;

  // 都无合法order，保持原顺序（或按其他字段排序）
  return 0;
});

// 排序结果：[{ order: 0 }, { order: 1 }, { order: 2 }, {}]

为什么之前的方法无效？ #

• a.order && b.order：会将合法的0判定为假值，直接过滤掉order=0的场景。
• hasOwnProperty('order')：仅能判断属性存在，但无法保证属性值是有效数字（比如可能是undefined、null），TypeScript不会因此收窄属性类型。
• a.order >= 0：当a.order为undefined时表达式结果为false，但TypeScript仍认为a.order可能是undefined，无法确认其为数字类型。

不推荐的方案：非空断言 #

虽然可以用a.order! - b.order!强制跳过类型检查，但这种写法不安全——若对象确实无order属性，运行时会抛出NaN相关错误，仅在100%确保所有对象都有order值时使用。

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