<b>若何编写非常安全的C++代码</b>[VC/C++编程]

关于C++中非常的争辩何其多也,但常常是一些不合事实的曲解.非常曾经是一个难以用好的语言特点,幸运的是,随着C++社区经验的堆集,本日我们已经有充足的知识轻松编写非常安全的代码了,并且编写非常安全的代码普通也不会对性能造成影响.

利用非常还是返回错误码?这是个争辩不休的话题.大家一定据说过这样的说法:只有在真正非常的时刻,才利用非常.那什么是“真正非常的时刻”?在答复这个问题从前,让我们先看一看程序计划中的不变式原理.

对象就是属性聚合加办法,若何断定一个对象的属性聚合是不是处于逻辑上精确的状况呢?这可以通过一系列的断言,最后下一个结论说:这个对象的属性聚合逻辑上是精确的大概是有问题的.这些断言就是衡量对象属性聚合对错的不变式.

我们普通在函数调用中,实施不变式的查抄.不变式分为三类:前条件,后条件和不变式.前条件是指在函数调用之前,必须满意的逻辑条件,后条件是函数调用后必须满意的逻辑条件,不变式则是整个函数履行中都必须满意的条件.在我们的谈论中,不变式既是前条件又是后条件.前条件是必须满意的,假如不满意,那就是程序逻辑错误,后条件则不一定.目前,我们可以用不变式来严峻定义非常情况了:满意前条件,但是无法满意后条件,即为非常情况.当且仅当发生非常情况时,才抛出非常.

关于什么时刻抛出非常的答复中,并不排挤返回值报告错误,并且这二者是正交的.但是,从我们经验上来说,完好可以在这二者中加以挑选,这又是为什么呢?事实上,当我们做出这种挑选时,必定意味着接口语意的改变,在不改变接口的情形下,其实是无法挑选的(试试看,用返回值处理构造函数中的错误).通过不变式辨别出正常和非常情况,还可以更好地提炼接口.