异常处理是否需要面向对象的编程？

Question

在我的编程经验的这一点上,我意识到我在今天使用的大多数语言(C++,.Net,Java等)中都有异常处理,至少与C相比,我已经准备好了.高级C课程,让我真正想到这些术语与我目前的范例相比.

在C语言中,程序员可以首先防止错误发生,这对任何习惯于异常处理的人来说都是相当艰巨的.我发现任何遇到异常处理的语言都是面向对象的.至少据我所知,第一个面向异常处理的面向对象语言是C++,它是C语言的演变.(如果我错了,请纠正我)

话虽如此,是否有一些关于允许异常处理的语言的面向对象性质,或者是因为面向对象语言真正开始成为常见事件而添加的异常处理？什么是C缺乏说,C++,在机器代码,使激活工作？

我发现这篇文章关于异常处理如何在幕后工作,但不确定该信息如何应用于我的问题(即,C缺乏通知,延续等？).提前致谢.

Answer 1

C不没有在机器代码,和异常处理是和是司空见惯用C与setjmp和longjmp.

在纯过程语言中完全缺乏语言级功能的原因是异常处理与setjmp不需要调用析构函数时相同.异常处理在异国情调的语言中已经存在,但从未流行,因为它纯粹是语法糖.但是,一旦析构函数进入场景并且堆栈展开变得必要,语言级支持就变得必要,异常处理作为语言的一部分被广泛实现.

Answer 2

异常处理是否需要面向对象的编程？

不,两者是完全分开的.可以将没有异常处理的OO语言作为控制流原语,并且可以在非OO语言中进行异常处理.

维基百科有用地指出,面向对象编程是一种强调抽象,封装,消息传递,模块化,多态和继承的价值的编程风格,以实现低成本的代码重用和复杂软件的有效管理大型团队实施的项目.

你没有在该列表中看到"循环"或"if语句"或"goto"或"try-catch-finally-throw",因为控制流原语与抽象,封装,消息传递,模块化,多态或其他任何事情无关.继承用于实现大型团队的低成本代码重用或复杂软件项目的有效管理.

什么是C在机器代码中缺乏说,C++,使异常工作？

当然,现代硬件的设计需要将异常处理作为控制流原语.C在现代硬件存在之前设计很久,这使得在C中实现异常处理更加困难,C在所有运行C的硬件上高效运行.

但是说,没有什么能阻止你或其他任何人设计一个新版本的C,它将异常处理作为控制流原语,但没有C++的所有其他功能.

如果您对如何将异常处理添加到支持continuation的非OO语言的主题感兴趣,请参阅我的文章,该主题概述了这个想法:

http://blogs.msdn.com/b/ericlippert/archive/2010/10/22/continuation-passing-style-revisited-part-two-handwaving-about-control-flow.aspx

Answer 3

话虽如此,是否有一些关于允许异常处理的语言的面向对象性质,或者是因为面向对象语言真正开始成为常见事件而添加的异常处理？

当我在90年代初学习Ada(学习CS)时,我首先想知道异常.IIRC,Ada有一种特殊类型Exception.那时候,它不是面向对象的语言.(Ada95添加了一些OO概念.)但是,我同意堆栈展开(即完全自动清理已分配的资源)是异常处理成功的一个重要特征.将析构函数与异常处理相结合是C++中异常成功的重要一点.

我似乎也记得Stroustrup提到Ada是C++中异常处理的主要影响因素.

Answer 4

异常处理是否需要面向对象的编程？

不,这两者是正交的.其他人提到setjmp并longjmp用于C来处理错误.我想提到SEH.

SEH(结构化异常处理)是C的微软扩展,具有OS级别的支持.它允许您编写代码(例如来自MSDN):

__try 
{ 
    *pResult = dividend / divisor; 
} 
__except(GetExceptionCode() == EXCEPTION_INT_DIVIDE_BY_ZERO ? 
         EXCEPTION_EXECUTE_HANDLER : EXCEPTION_CONTINUE_SEARCH)
{ 
    // handle exception
}

您也可以通过致电提出自己的例外情况RaiseException.与您不同setjmp,longjmp您可以在__finally块中进行自己的清理.事实上,C++异常是在SEH(在Windows上)上实现的.

这是完全对象非定向方式的异常处理示例.

C++中另一个不使用任何面向对象特性的例子:

try {
    throw "Boom!";
} catch(const char* str) {
    printf("Error: %s\n", str);
}

Answer 5

实现异常处理的非面向对象语言包括:

• ITS TECO
• PL/1(Multics)
• C(正如几位人士指出的,通过setjmp/ longjmp)
• C通过Unix信号:Unix内核信号来自Multics异常处理工具
• unwind-protect根据RMS(http://www.gsim.aoyama ),旧版本的Lisp(授予,Common Lisp允许OOP,但在添加条件和重新启动时没有添加)显然实现了ITS TECO的条件和重启. .ac.jp/~ida/GNU/RMStalk1207.html),暗示Lisp实际上通过Emacs继承了异常处理(漂亮!)