ASSERT_VALID和ASSERT宏分析

转载 2013年12月03日 10:24:25

这个宏都是MFC的调试宏.

ASSERT_VALID宏用来在运行时检查一个对象的内部合法性,比如说现在有一个学生对象,我们知道每个学生的年龄一定大于零,若年龄小于零,则该学生对象肯定有问题。

 

事实上,ASSERT_VALID宏就是转化为对象的成员函数AssertValid()的调用,只是这种方法更安全。它的参数是一个对象指针,通过这个指针来调用它的AssertValid()成员函数。

与此相配套,每当我们创建从Cobject类继承而来的一个新的类时,我们可以重载该成员函数,以执行特定的合法性检查


ASSERT_VALID强制调用参数对象(必须是CObject或CObject*)的AssertValid函数,该函数实现对象的内部一致性检查,当你创建一个可重用类时,应该重载这个函数(VC中缺省已经重载了该函数),你可以在该函数中进行必要的检查工作. 
ASSERT宏用于确保参数内的表达式正确,如果表达式为false,则会显示一个消息对话框,其中有源文件的名字和当前行号,用户可以选择中断程序或进行调试.这个宏通常用于校验参数和返回值. 
以上两个宏均只在Debug版本中有效,与ASSERT相对应的是VERIFY.VERIFY宏在Debug版本中与ASSERT相同,在Release版本中仅执行参数表达式,不进行校验.

ASSERT 和 ASSERT_VALID 
都是用于Debug的,当括号中的表达式为FALSE时,会弹出对话框通知, 
你可以自己加上一句ASSERT(FALSE),看看执行时有什么东东。

ASSERT_VALID用于对C++对象或指针进行有效性判断,如果出错,结果和ASSERT一样。

注意:二者都只能在MFC工程里用。
以下是ASSERT_VALID对应的代码:


#ifdef _DEBUG
void AFXAPI AfxAssertValidObject(const CObject* pOb,
LPCSTR lpszFileName, int nLine)
{
if (pOb == NULL)
{
   TRACE(traceAppMsg, 0, "ASSERT_VALID fails with NULL pointer.\n");
   if (AfxAssertFailedLine(lpszFileName, nLine))
    AfxDebugBreak();
   return;     // quick escape
}
if (!AfxIsValidAddress(pOb, sizeof(CObject)))
{
   TRACE(traceAppMsg, 0, "ASSERT_VALID fails with illegal pointer.\n");
   if (AfxAssertFailedLine(lpszFileName, nLine))
    AfxDebugBreak();
   return;     // quick escape
}

// check to make sure the VTable pointer is valid
ASSERT(sizeof(CObject) == sizeof(void*));
if (!AfxIsValidAddress(*(void**)pOb, sizeof(void*), FALSE))
{
   TRACE(traceAppMsg, 0, "ASSERT_VALID fails with illegal vtable pointer.\n");
   if (AfxAssertFailedLine(lpszFileName, nLine))
    AfxDebugBreak();
   return;     // quick escape
}

if (!AfxIsValidAddress(pOb, pOb->GetRuntimeClass()->m_nObjectSize, FALSE))
{
   TRACE(traceAppMsg, 0, "ASSERT_VALID fails with illegal pointer.\n");
   if (AfxAssertFailedLine(lpszFileName, nLine))
    AfxDebugBreak();
   return;     // quick escape
}
pOb->AssertValid();
}

在Win32环境下通过测试

#include <afx.h>

 

class CPerson : public CObject
{
public:

       CPerson(char *pName, int nAge);

#ifdef _DEBUG

       virtual void AssertValid() const;

#endif

private:

       char *m_strname;

       int m_nage;
};

 

CPerson::CPerson(char *pName, int nAge) : m_strname(pName), m_nage(nAge)
{

 

}

 

#ifdef _DEBUG

void CPerson::AssertValid() const
{

       CObject::AssertValid();

       ASSERT(m_strname);

       ASSERT(m_nage>0);
}

#endif

 

 

int main()
{

       //CString strName("listen");

       //CPerson *pPersonOne = new CPerson(strName.GetBuffer(0), -5);

       
 CString strName("listen");
 char *pcstr = (char *)new char[2 * strName.GetLength()+1] ;

 WideCharToMultiByte(   CP_ACP,   
  0,   
  strName,     //   要转换的wchar_t*   
  -1,   
  pcstr,   //   接收char*的缓冲区指针   
  2 * strName.GetLength()+1,         //   pcstr的缓冲区的大小   
  NULL,   
  NULL   );
 CPerson *pPersonOne = new CPerson(pcstr, 5);

 

#ifdef _DEBUG

       pPersonOne->AssertValid();

#endif

       return 0;
}

相关文章推荐

ASSERT_VALID和ASSERT宏分析

这个宏都是MFC的调试宏.   ASSERT_VALID宏用来在运行时检查一个对象的内部合法性,比如说现在有一个学生对象,我们知道每个学生的年龄一定大于零,若年龄小于零,则该学生对象肯定有问题。...
  • Unimen
  • Unimen
  • 2011年09月29日 09:43
  • 432

关于多线程中传递MFC窗口类指针时ASSERT_VALID出错的另类解决 .

在多线程设计中,许多人为了省事,会将对话框类或其它类的指针传给工作线程,而在工作线程中调用该类的成员函数或成员变量等等。 但是在Debug版本时,在某些情况下,特别是在工作线程中调用pWnd->Up...

assert,assert_valid,verify,trace用法

  • 2013年07月12日 10:31
  • 3KB
  • 下载

ASSERT_VALID宏和ASSERT宏【学习笔记】

这个宏都是MFC的调试宏. ASSERT_VALID宏用来在运行时检查一个对象的内部合法性,比如说现在有一个学生对象,我们知道每个学生的年龄一定大于零,若年龄小于零,则该学生对象肯定有问题。事实上,A...

Nodejs源码分析之assert

assert库是nodejs中的一个工具库, 主要用于测试模块,这个在自动化测试框架中用的最多。 具体的用法可以参见官方文档: https://nodejs.org/api/assert.html ...

php assert函数的分析

assert这个函数在php语言中是用来判断一个表达式是否成立。返回true or false; 例如 $s = 123; assert("is_int($s)"); ?> 从这个例...

faster rcnn:assert (boxes[:, 2] >= boxes[:, 0]).all()分析塈VOC2007 xml坐标定义理解

在进行faster rcnn训练的时候,报了一个断言错误 File “/py-faster-rcnn/tools/../lib/datasets/imdb.py”, line 108, in ap...
  • 10km
  • 10km
  • 2017年03月22日 00:42
  • 1380

【C语言学习趣事】_GCC源代码分析_2_assert.h

我记得在以前的一篇随笔中,我堆windows下的进行了分析,今天我们来看看gcc中这个文件的定义是怎样的。 【1】assert宏的作用 assert宏实现断言的作用,一般在源文件中引用格式如下:...

assert宏的实现

在看《编写高质量的C语言代码》中第二章提到,使用断言,于是翻出以前看过的《C标准库》查看assert宏的实现。 这篇文章主要内容来自 《C标准库》 1. 头文件中除了定义宏assert以外还...
  • zhccl
  • zhccl
  • 2012年08月22日 16:19
  • 4759

断言(assert宏)的副作用

我的确对#define的很多种用法都深恶痛绝,唯对定义在中的assert宏情有独钟。说句实话,我鼓励大家多多使用它--前提是用好它。但问题就在于能不能用好它。 实现的方式固然百家争鸣,不过ass...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:ASSERT_VALID和ASSERT宏分析
举报原因:
原因补充:

(最多只允许输入30个字)