- 💭 写在前面：上一章中，我们详细讲解了列表的合并，本章我们来详细讲解一下列表的过滤，在 F# 中，过滤列表是指从列表中提取满足某个条件的元素，形成一个新的列表。这个操作通常使用
List.filter函数来完成。
目录
0x00 filter 函数介绍
0x01 内联谓词函数
0x02 链式操作：先过滤再映射
0x00 filter 函数介绍
List.filter 是一个高阶函数，它接受一个谓词函数和一个列表作为参数，并返回一个新的列表。
该列表包含所有满足谓词函数条件的元素，函数签名如下：
List.filter : ('T -> bool) -> 'T list -> 'T list'T -> bool是一个谓词函数，它接受一个类型为'T的元素并返回一个 bool'T list是输入列表- 返回值
'T list是包含所有满足谓词函数条件的元素的新列表
💬 举个例子：假设我们有一个整数列表，我们想要提取所有的偶数：
let numbers = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]// 定义一个谓词函数，判断一个数是否为偶数
let isEven x = x % 2 = 0// 使用 List.filter 过滤列表，得到所有偶数
let evenNumbers = List.filter isEven numbersprintfn "偶数: %A" evenNumbers🚩 运行结果： 偶数：[2; 4; 6; 8; 10]
再举个例子，过滤所有大于 5 的数：
let numbers = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]// 过滤出大于 5 的数
let greaterThanFive = List.filter (fun x -> x > 5) numbersprintfn "大于5的数: %A" greaterThanFive🚩 运行结果：大于5的数：[6; 7; 8; 9; 10]
过滤长大于 3 的字符串：
let words = ["F#"; "OCaml"; "Scala"; "Haskell"; "Python"]// 过滤出长度大于 3 的字符串
let longWords = List.filter (fun s -> String.length s > 3) wordsprintfn "长度大于3的字符串：%A" longWords🚩 运行结果：长度大于3的字符串：["OCaml"; "Scala"; "Haskell"; "Python"]
0x01 内联谓词函数
我们可以直接在 filter 函数调用中，内联定义谓词函数，而不需要单独定义：
let numbers = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]// 使用内联谓词函数
let evenNumbers = List.filter (fun x -> x % 2 = 0) numbersprintfn "偶数: %A" evenNumbers0x02 链式操作：先过滤再映射
在 F# 中，我们可以将多个列表操作链式组合，例如先过滤再映射。
💬 举个例子：先过滤出偶数，再将他们开二次方
let numbers = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]// 先过滤出偶数，然后将它们平方
let evenSquares = numbers|> List.filter (fun x -> x % 2 = 0)|> List.map (fun x -> x * x)printfn "偶数的平方: %A" evenSquares🚩 运行结果：偶数的平方： [4; 16; 36; 64; 100]
filter 函数会遍历整个列表，时间复杂度为 ，其中
是列表长度。
📌 [ 笔者 ] 王亦优
📃 [ 更新 ] 2024.6.5
❌ [ 勘误 ] /* 暂无 */
📜 [ 声明 ] 由于作者水平有限，本文有错误和不准确之处在所难免，本人也很想知道这些错误，恳望读者批评指正！| 📜 参考资料 C++reference[EB/OL]. []. http://www.cplusplus.com/reference/. |
