数组永远不会为空，但打字稿不知道

Question

我收到此错误 Expected at least 1 arguments, but got 0 or more 来自：

    if (initialValues.length > 0) {
      return Object.assign(...initialValues);
    }

我猜它抱怨initialValues 可能是空的。但是，if 条件保证它不会为空。我该怎么做才能让 typescript 实现这一点？

Answer 1

允许 length check as a type guard 被认为“太复杂”而无法添加到 TypeScript（感谢 @jcalz 提供链接！）。

您至少可以采取三种方法：

解构并明确提供目标

由于它不是从 length 检查中获取的，我可能会明确地给它目标对象，如下所示：

const [target, ...sources] = initialValues;
if (target) {
    return Object.assign(target, ...sources);
}

很高兴。

Playground link

定义为非空数组

This answer 展示了如何为非空数组定义类型：

type NonEmptyArray<T> = [T, ...T[]];

如果initialValues 在编译时已知总是至少有一个元素，则使用该类型定义它：

let initialValues: NonEmptyArray<YourObjectType>;

然后你可以删除if，因为你知道它永远是真的：

return Object.assign(...initialValues);

使用类型保护

但如果它可能为空并且需要运行时检查，则可以定义类型保护函数：

function isNotEmpty<T>(arr: T[]): arr is NonEmptyArray<T> {
    return arr.length > 0;
}

那就是：

if (isNotEmpty(initialValues)) {
    return Object.assign(...initialValues);
}

---

非常感谢 @jcalz 和 @VLAZ 帮助解答这个问题。