TypeScript，——strictNullChecks模式。
假设我有一个可空字符串数组(string | null)[]。什么是单表达式的方式，以这样的方式删除所有的空值，结果有类型字符串[]?
const array: (string | null)[] = ["foo", "bar", null, "zoo", null];
const filterdArray: string[] = ???;
数组中。过滤器在这里不起作用:
// Type '(string | null)[]' is not assignable to type 'string[]'
array.filter(x => x != null);
数组推导式可以工作，但TypeScript不支持。
实际上，这个问题可以推广为通过从联合中删除具有特定类型的项来过滤任何联合类型的数组的问题。但是让我们关注带有null和可能未定义的联合，因为这些是最常见的用例。
当前回答
一个衬套:
const filteredArray: string[] = array.filter((s): s is string => Boolean(s));
打印稿操场
诀窍是传递一个类型谓词(:s是字符串语法)。
这个答案显示了数组。过滤器要求用户提供类型谓词。
其他回答
刚刚意识到你可以这样做:
const nonNull = array.filter((e): e is Exclude<typeof e, null> => e !== null)
这样你:
得到一行代码，没有附加函数 不需要知道数组元素的类型，所以你可以到处复制!
如果您已经使用了Lodash，您可以使用compact。 或者，如果你喜欢Ramda, Ramda的附属品也有紧凑的功能。
两者都有类型，所以您的tsc会很高兴，并得到正确的类型。
从Lodash d.ts文件:
/**
* Creates an array with all falsey values removed. The values false, null, 0, "", undefined, and NaN are
* falsey.
*
* @param array The array to compact.
* @return Returns the new array of filtered values.
*/
compact<T>(array: List<T | null | undefined | false | "" | 0> | null | undefined): T[];
一个衬套:
const filteredArray: string[] = array.filter((s): s is string => Boolean(s));
打印稿操场
诀窍是传递一个类型谓词(:s是字符串语法)。
这个答案显示了数组。过滤器要求用户提供类型谓词。
我已经多次回到这个问题上，希望一些新的Typescript特性或类型可以解决这个问题。
这里有一个简单的技巧，我很喜欢结合map和后续过滤器。
const animals = ['cat', 'dog', 'mouse', 'sheep'];
const notDogAnimals = animals.map(a =>
{
if (a == 'dog')
{
return null!; // just skip dog
}
else {
return { animal: a };
}
}).filter(a => a);
你会看到我返回null!它实际上变成了类型never——这意味着最终的类型没有null。
这与最初的问题略有不同，但我发现自己经常遇到这种情况，这有助于避免另一个方法调用。希望有一天Typescript会提出一个更好的方法。
简单地使用
array.filter(Boolean);
这对所有真值都适用。
遗憾的是，这里不提供类型推断，找到了这个解决方案 在这里
type Truthy<T> = T extends false | '' | 0 | null | undefined ? never : T; //from lodash
function truthy<T>(value: T): value is Truthy<T> {
return Boolean(value); // or !!value
}
const arr =["hello","felow","developer","",null,undefined];
const truthyArr = arr.filter(truthy);
// the type of truthyArr will be string[]
