testing - 如何测试 Racket 的 throw 错误？-6ren

testing - 如何测试 Racket 的 throw 错误？

转载作者：行者123 更新时间：2023-11-28 19:45:49

25

4

我目前在一些 Racket 程序中工作，特别是在 PLAI 的语言中 Programming Languages: Application and Interpretation书上有一个函数叫做test，我想知道如何测试racket throwing的错误？有谁知道如何做到这一点？

问候

(我的母语不是英语，希望这个问题能被理解)

最佳答案

有test/exn您可以使用它来测试错误消息，例如:

(test/exn (error "foo") "foo")

但请注意，文档说它只能测试您的代码明确引发的异常。这个想法是您的代码应该检查错误并提出错误，否则就会出现错误。

(对于“真实” Racket 代码的测试，请参阅 rackunit。

关于testing - 如何测试 Racket 的 throw 错误？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/3743990/

25

4

0

文章推荐： macos - Mac Developer Program 是否有旧版本的 Mac OS X？

文章推荐： javascript - 为什么加载时有点击，但点击时却没有？

文章推荐： python - 找到所有可能的组合

文章推荐： ruby-on-rails - 工厂女工的依赖属性

c# - 什么会导致 throw 重置调用堆栈(我使用的是 "throw"，而不是 "throw ex")
我一直认为“throw”和“throw ex”的区别was that throw alone wasn't resetting the stacktrace of the exception. 不幸的
ios - 从 '(_) throws -> ()'类型的 throw 函数无效转换为 '(Response) -> Void'类型的非 throw 函数
我需要处理这样的api错误代码，并为某些状态代码抛出错误。但是遵循代码显示了以上错误。我怎样才能做到这一点？ func login(data: [String: Any], completion: @
javascript - `throw ' foo '`, ` throw Error ('foo' )`, ` throw new Error ('foo' )` 有什么区别？
我见过在 JavaScript 中抛出错误的 3 种不同方式: throw 'message'; throw Error('message'); throw new Error('message');
java - 异常处理中的 Throws 和 Throw
这个问题在这里已经有了答案: Exception handling : throw, throws and Throwable (8 个答案) 关闭 10 年前。谁能简单介绍一下Java异常处理中
ios - 错误 : Invalid conversion from throwing function of type '(_) throws -> ()' to non-throwing function type '(DataSnapshot) -> Void'
这是我的代码: func loadData() { ref.child(currentUserID!).observe(.childAdded) { (snapshot) in
flutter - Dart throw 和重新 throw 有什么区别？
可能很明显，但是我仍然无法理解throw和rethrow之间的区别，什么时候应该使用它们中的任何一个？最佳答案根据Effective Dart: If you decide to rethrow
Scala 函数式编程 : Should I use 'throw' or 'throw new' ?
这个问题在这里已经有了答案: "new" keyword in Scala (3 个答案) 关闭 5 年前。在 Scala 中进行一些函数式编程，并且来自 Java 背景，我倾向于像这样抛出异常:
java - 如何避免使用多个 throw 语句并仅使用一个带有所需错误消息的通用 throw 语句
我有一个验证输入字符串的代码，如果输入字符串与所需的格式不匹配，我需要抛出 IllegalArgumentException，有多个字段，每个字段都有一组不同的验证条件，因此对于当前我正在执行的每个字
java - 我应该在使用 throw 的同时使用 throws 吗？
我的方法有一个抛出 NullPointerException 的返回类型。 public class Student { public String studentOne() {
c# - "throw"和 "throw ex"之间有区别吗？
有些帖子询问这两者之间的区别。 (为什么我要提这个...) 但我的问题在某种程度上有所不同，我在另一个错误神级处理方法中调用了“throw ex”。 public class Program {
java - 异常处理 : throw, throws 和 Throwable
谁能解释一下 throw、throws 和 Throwable 之间的区别以及何时使用哪个？最佳答案 throws :在编写方法时使用，声明有问题的方法抛出了指定的(检查的)异常。与检查的异常相反
c++ - "throw MyException()"和 "throw (MyException())"之间有区别吗？
我想知道编写异常收件箱和发件箱是否会改变特定程序的行为，例如抛出 MyException(); 和抛出(我的异常())；我的代码: #include #include using names
c# - 为什么C#有一个单独的重新抛出语句( throw; )而不是重载 throw ex ？
抛出异常时，保留堆栈跟踪是最常见的期望行为，在 Java 中，这可以通过 throw ex; 获得，但在 C# 中，throw; 必须使用。 (另请注意，许多 C# 程序员经常错误地使用 throw
java - Java 中 throw 和 throws 的区别？
这个问题在这里已经有了答案: Exception handling : throw, throws and Throwable (8 个答案) 关闭 8 年前。谁能举个例子说清楚Java异常处理中
java - throws Throwable 和 throws Exception 有什么区别
这两个有什么区别吗？最佳答案异常是针对程序逻辑中的错误。 JVM 使用错误来表示环境有问题，例如 OutOfMemoryError 或 IncompatibleClassChangeError。
node.js - Mongoose {严格: throw} doesn't throw error
我试图到处寻找这个问题的答案，但似乎我运气不好。我有一个非常简单的 Mongoose 模型 var userObject = { profile: { username: {
java - "throw(e)"和 "throw e"之间的区别？
我遇到了这个重新抛出的异常，我很惊讶它甚至可以编译。 } catch(SomeException e) { ... throw(e); } 这个throw()和平时用的有什么区别吗？.
c++ - throw 和 throw 与捕获异常的 arg 有什么区别？
想象两段相似的代码: try { [...] } catch (myErr &err) { err.append("More info added to error..."); throw
java - Java 中方法签名中的 Throw 和 Throw 语句之间的区别
我试图弄清楚Java中方法签名中的抛出和抛出语句之间的区别。方法签名中的抛出如下: public void aMethod() throws IOException{ FileReader f
javascript - `throw new Error` 和 `throw Error` 之间的区别？
这个问题在这里已经有了答案: throw Error('msg') vs throw new Error('msg') (2 个回答) 24 天前关闭。没有 new 时抛出错误有什么缺点吗？关键词？

首页

博学

6Ren·AI

商城

testing - 如何测试 Racket 的 throw 错误？