如何断言预期会出现异常

Question

我在使用 .NET Core 2.0 运行 F# 的 Mac 上。

我有一个如下所示的函数：

let rec evaluate(x: string) =
  match x with
  // ... cases
  | _ -> failwith "illogical"

我想编写一个 Expecto 测试来验证异常是否按预期抛出，大致如下：

// doesn't compile
testCase "non-logic" <| fun _ ->
  Expect.throws (evaluate "Kirkspeak") "illogical" 

错误是

该表达式的类型应为“unit -> unit”，但这里的类型为“char”

unit -> unit让我这类似于Assert.Fail，这不是我想要的。

由于对 F# 和 Expecto 有点陌生，我无法找到断言异常按预期抛出的工作示例。有人有吗？

Answer 1

Expect.throws具有签名(unit -> unit) -> string -> unit，因此您要测试的函数必须是 (unit -> unit) 或包装在 (unit -> unit) 函数内。

let rec evaluate (x: string) : char =
  match x with
  // ... cases
  | _ -> failwith "illogical"

编译器错误告诉您传递给 Expect.throws 的函数尚不具有正确的签名。

[<Tests>]
let tests = testList "samples" [
    test "non-logic" {
      // (evaluate "Kirkspeak") is (string -> char)
      // but expecto wants (unit -> unit)
      Expect.throws (evaluate "Kirkspeak") "illogical"
    }
]

[<EntryPoint>]
let main argv =
    Tests.runTestsInAssembly defaultConfig argv

使其发挥作用的一种方法是改变

Expect.throws (evaluate "Kirkspeak") "illogical"

到

// you could instead do (fun () -> ...)
// but one use of _ as a parameter is for when you don't care about the argument
// the compiler will infer _ to be unit
Expect.throws (fun _ -> evaluate "Kirkspeak" |> ignore) "illogical"

现在expecto很高兴！

这个答案是我思考的方式。遵循类型签名通常很有帮助。

编辑：我看到你的错误消息，This expression was expected to have type 'unit -> unit' but here has type 'char'所以我更新了我的答案以匹配它。