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 array: (string | null)[] = ["foo", "bar", null, "zoo", null];
const filterdArray = array.filter(x => x != null) as string[];
这适用于你提到的更一般的用例，例如:
const array2: (string | number)[] = ["str1", 1, "str2", 2];
const onlyStrings = array2.filter(x => typeof x === "string") as string[];
const onlyNumbers = array2.filter(x => typeof x === "number") as number[];
(操场上的代码)
其他回答
为了避免每个人都不得不一遍又一遍地编写相同类型的保护helper函数，我将称为isPresent, isDefined和isfill的函数绑定到一个helper库:https://www.npmjs.com/package/ts-is-present
当前类型定义为:
export declare function isPresent<T>(t: T | undefined | null): t is T;
export declare function isDefined<T>(t: T | undefined): t is T;
export declare function isFilled<T>(t: T | null): t is T;
你可以这样使用:
import { isDefined } from 'ts-is-present';
type TestData = {
data: string;
};
const results: Array<TestData | undefined> = [
{ data: 'hello' },
undefined,
{ data: 'world' }
];
const definedResults: Array<TestData> = results.filter(isDefined);
console.log(definedResults);
当Typescript捆绑这个功能时，我将删除这个包。但是，现在，享受吧。
TypeScript有一些实用工具来推断数组的类型并排除null值:
const arrayWithNulls = ["foo", "bar", null, "zoo", null]
type ArrayWithoutNulls = NonNullable<typeof arrayWithNulls[number]>[]
const arrayWithoutNulls = arrayWithNulls.filter(x => x != null) as ArrayWithoutNulls
比在新数组上手动转换为string[]更长，但更安全。
循序渐进:
从原始数组中获取类型:
typeof arrayWithNulls[number] // => string | null
排除空值:
NonNullable<typeof arrayWithNulls[number]> // => string
让它成为一个数组:
NonNullable<typeof arrayWithNulls[number]>[] // => string[]
链接:
NonNullable(官方文档) typeof array[number](博客文章，我在官方文档中找不到任何关于它的东西)
类似于@ bijouu -trouvaille的回答，你只需要声明<arg> is <Type>作为过滤器函数的输出:
array.filter((x): x is MyType => x !== null);
如果您可以接受另一个.map()的开销，一个优雅的解决方案是使用非空断言操作符。
const array = ["foo", "bar", null, "zoo", null];
const filterdArray: string[] = array.filter(s => s != null).map(s => s!);
如果你想保留未定义，你可以在变量上使用typeof，并使用实用程序类型Exclude来从类型中删除空值。
const array = ["foo", "bar", null, "zoo", null];
const filterdArray: string[] = array
.filter(s => s !== null)
.map(s => s as Exclude<typeof s, 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[];
