如何读取文件并跳过一些空格

Question

这与我的上一个问题类似，

但是有是另一个即兴创作，如果我想跳过一些空格，代码是怎样的，在这种情况下是“输入”，例如：

5 5 10
1 2 3 4 5
1 2 3 4 5
1 2 3 4 5
1 2 3 4 5
1 2 3 4 5
               <- this white space
3 4 4
1 2 3 4
1 2 3 4
1 2 3 4

我尽力但找不到如何跳过空格 谢谢你的帮助:)

这就是答案，感谢拉蒙：

let readMap (path:string) =
    let lines = File.ReadAllLines path
    let [|x; y; n|] = lines.[0].Split() |> Array.map int
    let data = 
        [| 
            for l in (lines |> Array.toSeq |> Seq.skip 1 |> Seq.filter(System.String.IsNullOrEmpty >> not)) do
                yield l.Split()
        |]
    x,y,n,data

Answer 1

编写 readMap 函数的另一种方法是在列表理解中使用 if 表达式。我认为如果您使用推导式，这实际上更具可读性（因为您不必结合两种编写方式）：

let readMap (path:string) =
    let lines = File.ReadAllLines path
    let [|x; y; n|] = lines.[0].Split() |> Array.map int
    let data = 
        [| 
            for l in lines |> Seq.skip 1 do
                if not (System.String.IsNullOrEmpty(l)) then
                    yield l.Split()
        |]
    x,y,n,data

我还删除了对 Array.toSeq 的调用，因为 F# 允许您在不需要显式转换的情况下在需要 seq 的地方使用 array（seq 实际上是 IEnumerable 并且 array 实现了它）。

Answer 2

这个怎么样：

val items : string list
items
|> List.filter (System.String.IsNullOrEmpty >> not)

？