无法定义元组的类型：目标需要 2 个元素，但源可能更少

我正在尝试填充一个由元组组成的数组

const countries = ['sg', 'my', 'th'];
const platforms = ['ios', 'android'];

const combinationsToQuery = platforms.flatMap((platform) =>
    countries.map((cid) => [platform, cid])
); // [["ios", "sg"], ["ios", "my"], ["ios", "th"], ["android", "sg"], ["android", "my"], ["android", "th"]]

现在我正在尝试向它们添加一些类型，下面是我的尝试

type country = 'sg' | 'my' | 'th' | 'uk' | 'us'
type platform = 'ios' | 'android'

const countries: country[] = ['sg', 'my'];
const platforms: platform[] = ['ios', 'android'];

const combinationsToQuery: [platform, country][] = platforms.flatMap((platform) =>
    countries.map((cid: country) => [platform, cid])
);

类型“(国家|平台)[][]”不可分配给类型“[平台，国家/地区][]”。 类型“（国家/地区 | 平台）[]”不可分配给类型“[平台，国家/地区]”。 目标需要 2 个元素，但源可能更少。(2322)

如果我不具体定义[platform, country][], TS 将推断combinationsToQuery to be (country | platform)[][]，这听起来也不对吗？

如果您查看返回类型，问题会变得更加明显.map打回来。如果您将原始代码调整为：

countries.map((cid: country) => {
  const result = [platform, cid];
  return result;
})

Above, result键入为(country | platform)[] - not作为包含两个元素的元组，但作为其（任意数量）元素是的数组platform or country。 （因此，整个结果的类型combinationsToQuery也不对。）

您可以断言回调返回的类型是元组：

const combinationsToQuery: [platform, country][]  = platforms.flatMap((platform) =>
    countries.map((cid) => [platform, cid] as [platform, country])
);

或者声明你的数组as const以及回调的返回值as const让 TypeScript 为你推断剩下的部分。

const countries = ['sg', 'my'] as const;
const platforms = ['ios', 'android'] as const;

const combinationsToQuery = platforms.flatMap((platform) =>
    countries.map((cid) => [platform, cid] as const)
);