f# - 使用 when 子句进行 F# 模式匹配

Question

您好，我已经编写了以下代码。

我的目标是编写一个名为 getWoeid 的函数，它将检查命令行参数是否为具有 1 个元素的数组，并且该元素是一个整数。

我的代码有效......但我两次调用 TryParse 方法......我想知道是否有一种方法可以只调用一次。

另外，您能否确认这种使用模式匹配来验证命令行参数的方式是否正确？

open System;
open System.Xml;

let getWoeid args =   
  let retVal = 0
  match args with      
  | [|a|] when fst (Int32.TryParse(a)) = true -> 
      printfn "%s" "Starting the processing for woeid "
      Some(snd (Int32.TryParse(a)))      
  | _ -> failwith "Usage XmlRead WOEID"       

[<EntryPoint>]
let main args = 
  let woeid= 
    try   
      getWoeid args          
    with
      | Failure (msg) -> printfn "%s" msg; None

  0

Answer 1

You can define active pattern:

let (|Int|_|) s = 
    match System.Int32.TryParse s with
    | true, v -> Some v
    | _ -> None

let getWoeid args = 
    match args with
    | [|Int v|] -> Some v
    | _ -> None

Answer 2

您还可以将 byref 参数传递给TryParse而不是允许它被元组化。

let getWoeid args = 
  let mutable i = 0
  match args with
  | [|s|] when Int32.TryParse(s, &i) -> Some i
  | _ -> None