rikisand — Sun, 17 Jan 2010 11:36:00 GMT

解决��目的问题，意识到断�a�的重要性。如果一个程序在某处遇到�?ji��n)非法的��|��那么最好的情况便是在此��d��下报错，最坏的情况便是�E�序不吭不响的执行着~~直到你发��C��执行的方式极��异，此时�Q�你要花�?ji��)牛二虎之力才能扑ֈ�错误所在之处~~~~

学习(f��n)一下断�a�吧：(x��)

·······什么是断言

在某处判断某一个表辑ּ�的��gؓ(f��)真或者假�Q�如果假则输出错误消息�ƈ停止�E�序的执行~

assert是宏�Q�而不是函敎ͼ�只在debug版本中有效，因此无需在release版本删除�?/font>

·······哪几�U�断�a�

MFC

ASSERT

void foo(char* p,int size)
{
ASSERT(p != 0); // 验证�~�冲区指�?br>ASSERT((size >= 100); // ��认�~�冲区大��至��ؓ(f��)100字节
// foo 函数的其它计��过�E?br>}
如果没有定义_DEBUG预处理符�Q�则该语句不�?x��)真正生成代码。Visual C++�?x��)在调试模式�~�译时自动定义_DEBUG�Q�而在发行模式下，该预处理�W�是不存在的。如果定义了(ji��n)_DEBUG�Q�则上述两个断言生成的代码类如：(x��)
//ASSERT(p != 0);
do
{
if(!(p != 0) && AfxAssertFailedLine(__FILE__, __LINE__))
AfxDebugBreak();
} while(0);
//ASSERT((size >= 100);
do
{
if(!(size >= 100) && AfxAssertFailedLine(__FILE__,__LINE__))
AfxDebugBreak();
}while(0);

ASSERT_KINDOF(classname,pObject); ASSERT_KINDOF(CDocument,pDocument);

��(g��)验pObject指向的对象是classname�cȝ��一个对象或者其�z��cȝ��对象

ASSERT_VALID(pObject); pObject 必须是一个派生于CObject�cȝ��c�d��象，�?x��)调用其重写的AssertValid函数 �Q�例�?/font>

如果使用应用向导或类向导生成��Z��MFC的类�Q�通常�?x��)得到AssertValid()的骨�Ӟ��最好改写这些骨架代码以增加最基本的完整性检查。下面是一个典型的例子�Q�类Sample从CObject�l�承�Q�假定它含有职员名字�?qi��ng)其薪水�Q?
class Sample : public CObject
{
    protected:
    CString m_Name; // 职员名字
    double m_Salary; // 薪水
public:
    Sample(LPCTSTR name,double salary) : m_Name(name), m_Salary(salary) {}
   #ifdef _DEBUG
        virtual void AssertValid() const;
    #endif
};
#ifdef _DEBUG
void Sample::AssertValid() const
{
    CObject::AssertValid(); // 验证基类
    ASSERT(!m_Name.IsEmpty()); // 验证职员名字
    ASSERT(m_Salary > 0); // 验证薪水
}
#endif

CRT assertion

_ASSERT �?nbsp; _ASSERTE 后一个会(x��)在出错时同时打印出条件判断句

ANSI

assert()

注意�Q�assert用于��(g��)��非法的输入�Q�但是合法的输入�q�不一定是正确的，例如�Q?/font>

int pB = (int*)malloc(sizeof(int)*1000);

assert(pB!=NULL) //错误的��用assert 他会(x��)在release版本失效~也就是说assert不应该对�E�序产生副作�?/font>

正确的做法：(x��)

int pB = (int*) malloc(sizeof(int)*1000);

if(pB == NULL)

{
//错误处理

}

else{

}

另一个例子：(x��)

void draw(){

CFigure* pF = getCF();

assert(pf!=NULL);

if(pf == NULL){}

else{

}

此处�Q�对于getCF来说�q�回��gؓ(f��)NULL是非法的�Q�如果他的返回值可能�ؓ(f��)null��没必要加上assert语句�?/font>

而下面的if语句则是��Z��(ji��n)防止release版本出现null指针的情��c(di��n)�?

VERIFY()

�׃��ASSERT仅在�E�序的调试版起作用，��试表达式��L��被动的。也��是��_(d��)��它们不能包含赋倹{��增量、减量等真正改变数据的操作。但有时候我们需要验证一个主动表辑ּ��Q�比如赋��D��句。这时可以��用VERIFY代替ASSERT。下面是一个例子：(x��)
void foo(char* p,int size)
{
char* q; // 指针的副�?br>VERIFY(q = p); // 拯��指针�q�执行验�?br>ASSERT((size >= 100); // ��保�~�冲区大��至��ؓ(f��)100字节
// 执行 foo 的其它操�?br>}
在调试模式下ASSERT和VERIFY是相同的。但在release模式下，VERIFY能够�l�箋(hu��)对表辑ּ�求��|��但不再进行断�a��(g��)验）(j��)�Q�而ASSERT语句在效果上��如同已�l�删除了(ji��n)一栗��?
��管在MFC源代码中可以扑ֈ�一些应用VERIFY的例子，但ASSERT用得更�ؓ(f��)普遍。一些程序员��L��完全避免使用VERIFY�Q�因��Z��们已�l�习(f��n)惯于使用被动断言。请��C��Q�如果在ASSERT语句中��用了(ji��n)��d��表达式，�~�译器不�?x��)发��Z�Q何警告。在发行模式下编译时该表辑ּ��?x��)被直接删除�Q�从而导致程序运行的错误。由于发行版�E�序不含调试信息�Q�这�U�类型的错误是很难找到原因的�?

rikisand 2010-01-17 19:36 发表评论

麻豆精品精华液,一区二区三区国产精华,国产欧美一区二区三区视频