- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我很清楚关于检查异常是否是一个好主意的整个争论,我站在它们的一边……但这不是这个问题的重点。我正在设计一个相当简单的编译型 OOP 语言,我决定基本上使用检查异常作为返回错误的一种方式,而不是沿着返回错误代码的 C 路线。
我正在寻找有关如何改进已检查异常的 Java 模型以消除它们的大部分不利方面的一些见解,也许是语法更改或稍微更改实际功能。对受检异常的主要批评之一是懒惰的程序员可能会吞下它们,因此不会出现错误。
也许捕获异常可能是可选的,因此如果没有捕获异常,程序就会崩溃?或者可能有特定的符号来表示未处理异常(如 C++ 虚拟函数“= 0”符号)?或者,如果异常处理程序为空,我什至可能导致程序崩溃(尽管这可能会让不熟悉该语言的程序员感到惊讶)?
try...catch 语法如何,您认为可以有更简洁的方式来表达正在捕获异常吗?该语言将使用垃圾收集器,很像 Java,所以是否需要 finally 子句?最后,检查异常还有哪些其他缺点以及存在哪些潜在的解决方案(如果有)?
最佳答案
Checked Exceptions 只是 Erik Meijer 所说的类型诚实的更普遍驱动的一个小例子。 IE。过程、方法、函数不应该取决于它们的类型。如果你看到一个类型签名,你应该能够信任它的类型。
对于今天的 Java 来说,情况并非如此(尤其是当您想象一个没有检查异常的 Java 时)。
如果您在 Java 中有这样的类型签名:
Foo bar(Baz)
它说“我将
Baz
作为输入并产生一个
Foo
作为输出”。但那是谎言。
bar
需要一个
Baz
或
null
作为输入。它还以整个全局状态、类状态和实例状态以及整个宇宙作为输入(通过例如文件 I/O、网络 I/O、数据库 I/O 等)。并且它不会产生
Baz
作为输出:它产生一个
Foo
或
null
或异常或
Bottom
(即什么都没有)。此外,它的输出还包括整个全局状态、整个类状态、整个实例状态以及整个宇宙的状态。
bar
的实际类型是:
(IO<Foo | null | Exception> | Bottom) bar(IO<Baz | null>)
或类似的东西。
String fileReader(String filename) {
return this.fileHelper.read(filename);
}
现在你进入 JavaDoc for
FileHelper#read
并将异常(exception)列表剪切并粘贴到您的方法中:
String fileReader(String filename) throws IOException, CustomFileReaderEx
现在作者
FileHelper#read
决定他使用不同的实现策略。现在,他首先确保文件存在、可以打开并且格式正确,从而确保实际文件读取永远不会失败。因此,自然而然地,异常集会发生变化。不再可能获得
IOException
或
CustomFileReaderEx
.相反,您可以获得
InvalidFilenameEx
或
CorruptDataEx
.所以,你再次剪切和粘贴:
String fileReader(String filename) throws InvalidFilenameEx, CorruptDataEx
不仅你必须做出改变,其他所有拨打
fileReader
的人都必须做出改变。 (以及每个调用他们的人和每个调用他们的人……)也是如此。太疯狂了!您将调用委托(delegate)给
fileHelper
的原因首先是这样你就不必关心这些细节。
String fileReader(String filename) throws like this.fileHelper.read
你的客户只会说:
Foo whatever() throws like fileReader
这样,当
FileHelper
改变它的异常,那么唯一需要改变的代码就是最顶层的异常处理代码,就像我上面描述的 unchecked 情况一样。
throws like
中使用标识符。所有客户都可以访问的条款。如果,在这种情况下,
fileHelper
是
private
领域,你不能使用它。你需要一些其他的方式。例如,如果
FileHelper
类(class)是
public
(或者如果它是私有(private)包并且您的所有客户都住在同一个包中),您可以改为说
String fileReader(String filename) throws like FileHelper.read
论文中还列出了其他限制。 (其中之一在模块化 anchor 定异常声明文件中被解除。)
关于exception - 设计一种带有检查异常的语言,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2228897/
这个问题在这里已经有了答案: Python try...except comma vs 'as' in except (5 个回答) 关闭7年前。 在python中,有两种方法可以捕获异常 excep
在 Java 中,我有一个从 Exception 扩展的异常类,但是每当我抛出它时,编译器都会说它需要被捕获/必须声明方法 throws异常。 当我使用从 Exception 扩展的 RuntimeE
我有一组用户、组以及用户和组之间的映射。我有各种操作这些集合的函数,但是不能为不存在的用户添加用户组映射,也不能删除仍然有用户作为成员的组等。 所以基本上我希望这些函数抛出必须由调用者明确处理的“异常
我正在尝试使用上载控件上载20兆的文件,并且在Visual Studio的内置Web服务器上可以正常工作,但是一旦将其发布到生产服务器(我无权访问),我总是收到以下错误消息: Server Error
我想断言运行某些代码时会引发特定异常(SSLHandshakeException)。 assertThatThrownBy(() -> { // some code }).is
这个问题我暂时解决不了。我很乐意提供一些建议。 当我尝试抛出异常时(我自己创建了一个 Java 风格的异常) throw Exception (); 编译器提出抗议: DataTypes/Date.c
我有以下文件: from fabric.api import env, execute, run env.hosts = ['1.2.3.4'] def taskA(): run('ls')
我正在阅读一些包含类似于以下功能的源代码: def dummy_function(): try: g = 1/0 except Exception as e:
根据标准 ML 的定义(修订版): The idea is that dynamic evaluation of a non-expansive expression will neither gen
当 GHCi 在运行时发现调用产生的值与函数的模式匹配不匹配时,有没有办法让 GHCi 产生更好的异常消息? 它目前给出了产生非详尽模式匹配的函数的行号,虽然有时会有所帮助,但确实需要一轮调试,有时我
我有一个最佳实践问题。我意识到这是主观的,但想问问比我更聪明的人,这是否是一种常见的编程实践。 如果您有一种不希望干扰应用程序重要功能的非关键方法,那么使用这样的错误接收器是否常见? Try
在编程中,异常是否总是错误(被零除,访问冲突等等)? 如果不是,您能否提供不是错误的异常示例? 谢谢。 最佳答案 异常通常用于管理错误,它们使错误处理更加容易,但它们并不总是错误。 任何需要单独代码路
我很想知道 OCaml 运行时如何处理异常以使它们如此轻量。他们是使用 setjmp/longjmp 还是在每个函数中返回一个特殊值并传播它? 在我看来,longjmp会给系统带来一点压力,但只有在引
在我的 C# 代码中,我可以访问 MyNamespace.Exception 以及 System.Exception。当我想捕获其中一个异常时,理想情况下我会完全限定要捕获的异常或使用别名来明确说明。
我正在使用 Visual C++ 2005 Express Edition 并遇到以下链接器错误: 19>mylib1.lib(mylibsource1.obj) : error LNK2019: u
这个问题在这里已经有了答案: Is there "Break on Exception" in IntelliJ? (6 个回答) 关闭7年前。 我想在调试器中运行我的测试套件并中断任何意外异常,但是
Like in this picture 我知道它们都可以正常工作,但我只是想知道它们之间有何不同? PS:我是初学者。 最佳答案 A LogEvent可以同时包含消息和异常。如果您使用第一种形式:
我知道避免 Doctrine 上的异常似乎是一种奇怪的行为,但我需要这样做,因为我在一个旧项目中工作,过去有人执行了一些迁移,然后他决定删除它,所以现在复制起来很复杂本地生产环境没有崩溃,这就是为什么
我想创建一个名为 SecurityException 的新异常。 我应该把代码放在哪里? class SecurityException extends CakeException {}; 谢谢! 最
我一直在使用throw new Exception("...")在我的代码中,因为我找不到其他可以使用的东西。我正在寻找像 C++'s 这样的东西 out_of_range 和 logic_error
我是一名优秀的程序员,十分优秀!