匹配命令行参数

Question

13

我开始学习F#。想制作一个简单的程序，只告诉我它在命令行参数中找到了什么。我有：

[<EntryPoint>]
let main argv = 
    printfn "%A" argv
    match argv with
    | []  -> 42
    | _ -> 43

但是这会引发错误。如果我悬停在argv上，我会看到：

val argv：string []

这是我所期望的（字符串列表）。然而，第一个匹配表达式有一个错误：

Error 1 This expression was expected to have type string [] but here has type 'a list

基本上，我只想匹配空参数列表（空字符串列表）。正确的方式是什么？

我应该补充说明：我不仅想要一个解决方案（虽然那也不错）。我还想了解编译器在这里寻找什么，而我没有提供给它。

- user1443098

2个回答

0

但是如果您想手动完成，可以尝试：

[<EntryPoint>]
let main (argv : string list) = 
    printfn "%A" argv
    match argv with
    | []  -> 42
    | _ -> 43

或者

[<EntryPoint>]
let main argv = 
    printfn "%A" argv
    match argv |> List.ofArray with
    | []  -> 42
    | _ -> 43

- Andrii

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- scrwtp · Accepted Answer

< p >虽然[]字面意义上表示空列表，但类型string []是一个字符串数组而不是列表，这可能会让人感到困惑。

您可以像这样对数组进行模式匹配：

[<EntryPoint>]
let main argv = 
    printfn "%A" argv
    match argv with
    | [||]  -> 42
    | _ -> 43

像F#中许多看似矛盾的事情一样，这是由于其双重遗产的结果。

在OCaml中，您会使用int list和int array类型，分别使用[1;2;3]和[|1;2;3|]值。但在C#/.NET中，方括号如int[]表示您正在处理数组。

为了让.NET用户更容易上手，F#在类型名称中使用[]作为array的别名，因此两种形式都可用。这与空列表文字恰好重合，这有些不幸，但保持原样也是另一个限制- F#设计的早期目标之一是使其与OCaml代码兼容，以便从该语言移植到F#尽可能少摩擦。