用C++而不是C（2）使用断言

最新推荐文章于 2025-04-10 10:07:27 发布

转载最新推荐文章于 2025-04-10 10:07:27 发布 · 1.9k 阅读

文章标签：

#c++ #c #class #mfc #文档 #编程

c++ 专栏收录该内容

29 篇文章

订阅专栏

本文介绍了使用C++断言的27条最佳实践，包括选择正确的断言宏、合理运用断言策略、确保公有成员函数的全面覆盖等。此外，还提供了如何正确使用断言来验证变量间不变关系的具体示例。

用C++而不是C（2）使用断言

原文：用C++而不是C（2）使用断言

使用断言
12.用MFC时选择ASSERT宏
13.不要使用VERIFY宏，使用断言宏
14.在使用CObject派生类的对象之前都要调用ASSERT_VALID宏
15.总是在调用ASSERT_KINDOF宏之前调用ASSERT_VALID宏
16.移植代码的时候也移植断言
17.要想有效的利用断言需要一定的策略，不要随意的把断言分布到你的代码里面，而是遵从某些已经建立起来的模式
18."Assert the word"，是说：不要试图选择哪一个断言要发现错误，而是根据你的断言策略断言一切
19.最有力的断言是用来验证变量之间的固定关系。这些关系称为不变关系(invariants)。其中，类不变关系和循环不变关系最为普遍
20.设计程序的同时就设计不变关系，在写代码之前理解它们，并且为它们建立文档
21.公有成员函数比私有和保护成员函数需要更全面的断言
22.充分实现AssertValid函数，不要使用MFC ClassWizard提供的默认实现
23.建议对AssertValid函数采用下面的断言模式：
void CMyObject::AssertValid()
{
// check the immediate base class first
CMyObjectBaseClass::AssertValid();

// check the data members not in the base class
ASSERT_VALID(m_pObject1);
ASSERT_VALID(m_pObject2);

// now check the class invariants not checked by the base class
// be sure to document the invariants
ASSERT(m_Value != illegalValue);
ASSERT(m_Object1.GetSize() == m_Size);
...
}
24.不正确的使用断言会导致错误。断言是用来揭示错误的，而不是用来纠正运行时刻错误的。
25.如果你的程序是防御性的，别忘了使用断言。如果你使用断言，也别忘了防御性编程。这两种技术最好结合在一起使用。
26.考虑使用_ASSERTE(FALSE)来简化防御性的编程和断言的结合。要想得到更有描述性的断言信息，考虑使用_ASSERTE("Problem description." == 0)。
27.断言不是错误处理的替代品。
28.这种方法让你不用打扰窗口画图就可以在出现窗口后，随时察看导致断言失效的代码。
void CMyview::OnDraw (CDC* pDC) {
int previousReportMode = _CrtSetReportMode(_CRT_ASSERT,
_CRTDBG_MODE_DEBUG):
CMyDoc* pDoc = GetDocument();
ASSERT_VALID(pDoc);
... // draw the window
if (previousReportMode != -1)
_CrtSetReportMode(_CRT_ASSERT,previousReportMode);
}
29.使用GetObjectType函数来断言一个具有有效句柄的GDI对象（察看返回值是否为零），或者某个特定的GDI对象（察看返回值是否是某个特殊值）。eg:
_ASSERT(GetObjectType(hBrush) == OBJ_BRUSH);
但是，要意识到GetObjectType函数可能返回一些让人吃惊的结果。如，下面的断言失效：
HBRUSH hBrush = CreateSolidBrush(RGB(0,0,0));
DeleteObject(hBrush);
_ASSERTE(GetObjectType(hBrush) == OBJ_BRUSH);
因为黑色的刷子是一个备用设备的对象（也就是不能删除），因此 DeleteObject 函数调用就没有作用。
30.MSDN文档声称IsBadCodePtr、IsBadReadPtr、IsBadStringPtr和IsBadWritePtr这几个API函数在接收到坏指针的时候就会在调试版本里导致断言失效。这个说法是错误的，必须把这些函数包装在断言语句中。