使用断言
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函数在接收到坏指针的时候就会在调试版本里导致断言失效。这个说法是错误的,必须把这些函数包装在断言语句中。