TypeScript， --strictNullChecks 模式。
假设我有一个可为空的字符串数组 (string | null)[]。有什么单表达式的方法可以以这样一种方式删除所有 null，使得结果的类型为 string[]？
const array: (string | null)[] = ["foo", "bar", null, "zoo", null];
const filterdArray: string[] = ???;
Array.filter 在这里不起作用：
// Type '(string | null)[]' is not assignable to type 'string[]'
array.filter(x => x != null);
数组推导式本来可以使用，但它们在 TypeScript 中不被支持。
实际上，这个问题可以概括为从联合类型的数组中过滤掉具有特定类型的条目。但是，让我们专注于包含 null 和 undefined 的联合类型，因为这些是最常见的用例。
.filter 中使用一个类型谓词函数来避免退出严格类型检查：function notEmpty<TValue>(value: TValue | null | undefined): value is TValue {
return value !== null && value !== undefined;
}
const array: (string | null)[] = ['foo', 'bar', null, 'zoo', null];
const filteredArray: string[] = array.filter(notEmpty);
或者您可以使用array.reduce<string[]>(...)。
2021更新：更严格的谓词
尽管此解决方案在大多数情况下都有效，但是在谓词中可以获得更严格的类型检查。如所示，函数notEmpty实际上并不保证在编译时正确识别出值是否为null或undefined。例如，请尝试将其返回语句缩短为return value !== null;，您将看不到编译器错误，即使该函数将在undefined上错误地返回true。
缓解这种问题的一种方法是首先使用控制流块来约束类型，然后使用虚拟变量让编译器进行检查。在下面的示例中，编译器能够推断出value参数在进行赋值时不能是null或undefined。但是，如果您从if条件中删除|| value === undefined，则会看到编译器错误，提示您上面示例中的错误。
function notEmpty<TValue>(value: TValue | null | undefined): value is TValue {
if (value === null || value === undefined) return false;
const testDummy: TValue = value;
return true;
}
警告：存在着仍可能无法解决的情况。请注意与逆变性相关的问题。
value !== null && value !== undefined 不正确，它不会返回一个字符串，而是会返回 true 或 false。此外，传入 null 或 undefined 会给你一个值为 null 或 undefined 的值，因此它并没有真正约束。问题在于这个函数实际上并没有执行过滤，所以它无法真正保证。 - mfollettnotEmpty是否保证将类型从string|null转换为string？其实并不是。使用类型谓词可以保证的是，如果它的类型错误，则无法在过滤器中使用它，这仍然很有用，因为您只需进行几个单元测试就可以轻松填补差距。对定义进行单元测试，使用则由类型系统覆盖。 - Bijou TrouvailleTValue。 - starikcetinreturn value !== null;，那么你将不会得到编译器错误提示。 - Bijou Trouvaillefunction notNull<T>(value: T): value is NonNullable<T> { return value != null; } - kien_coi_1997人们经常忘记 flatMap，它可以一次处理 filter 和 map（而且这也不需要将其转换为 string[]）：
// (string | null)[]
const arr = ["a", null, "b", "c"];
// string[]
const stringsOnly = arr.flatMap(f => f ? [f] : []);
f => !!f ? [f] : [] 以简化代码。 - codepersonArray.filter()不会做这件事？是因为Array.filter()在TypeScript中的支持不够好吗？ - WebSpencearr.flatMap(f => f || [])。 - Sarsaparilla<arg> is <Type>声明为过滤器函数的输出:array.filter((x): x is MyType => x !== null);
const realArr: number[] = arr.filter((x): x is number => x === undefined);，实际上返回的是一个未定义值数组。 - V Maharajhtrue。如果您的类型保护出了问题，您的类型系统就会有漏洞。这同样适用于这个答案和被接受的答案。您是否有一种“更加类型安全”的方法来实现所需功能？ - panepeterconst removeNulls = (arr: (string | null)[]): string[] => {
const output: string[] = [];
for (const value of arr) {
if (value !== null) {
output.push(value);
}
}
return output;
}; - V Maharajh刚刚意识到你可以这样做：
const nonNull = array.filter((e): e is Exclude<typeof e, null> => e !== null)
这样你就可以：
你可以将你的filter结果转换成你想要的类型：
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[];
as。 - Vulwsztyn这里有一个使用NonNullable的解决方案。我觉得它甚至比@bijou-trouvaille所接受的答案更简洁。
function notEmpty<TValue>(value: TValue): value is NonNullable<TValue> {
return value !== null && value !== undefined;
}
const array: (string | null | undefined)[] = ['foo', 'bar', null, 'zoo', undefined];
const filteredArray: string[] = array.filter(notEmpty);
console.log(filteredArray)
[LOG]: ["foo", "bar", "zoo"]
NonNullable 是有意义的。我相应地修改了我的答案。 - Mathias Dpunkt您可以使用is结构来缩小类型范围：
isPresent、isDefined 和 isFilled 的函数捆绑到一个帮助程序库中：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);
compact函数。或者，如果您更喜欢Ramda，则ramda-adjunct也具有compact功能。/**
* 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[];
array.filter的方式非常好。甚至不需要: string[]，只需这样：const filterdArray = array.filter(x => x != null);编译器会推断出filterdArray的类型为string[]。您使用的 TypeScript 版本是什么？ - Nitzan Tomer