浅谈assert的几种用法
发布网友
发布时间：2022-04-25 10:38
共2个回答
懂视网
时间：2022-04-24 08:40
#include <assert.h> void assert( int expression );
assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。请看下面的程序清单badptr.c：
#include <stdio.h>
#include <assert.h>
#include <stdlib.h>
int main( void )
{
FILE *fp;
fp = fopen( "test.txt", "w" );//以可写的方式打开一个文件，如果不存在就创建一个同名文件
assert( fp ); //所以这里不会出错
fclose( fp );
fp = fopen( "noexitfile.txt", "r" );//以只读的方式打开一个文件，如果不存在就打开文件失败
assert( fp ); //所以这里出错
fclose( fp ); //程序永远都执行不到这里来
return 0;
}[root@localhost error_process]# gcc badptr.c [root@localhost error_process]# ./a.out a.out: badptr.c:14: main: Assertion `fp' failed.
已放弃使用assert()的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。在调试结束后，可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用，示例代码如下：
#include <stdio.h> #define NDEBUG #include <assert.h>
用法总结与注意事项：
1）在函数开始处检验传入参数的合法性如：
int resetBufferSize(int nNewSize)
{
//功能:改变缓冲区大小,
//参数:nNewSize 缓冲区新长度
//返回值:缓冲区当前长度
//说明:保持原信息内容不变 nNewSize<=0表示清除缓冲区
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}2）每个assert只检验一个条件，因为同时检验多个条件时，如果断言失败，无法直观的判断是哪个条件失败，如：
不好：
assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
好：
assert(nOffset >= 0); assert(nOffset+nSize <= m_nInfomationSize);
3）不能使用改变环境的语句，因为assert只在DEBUG个生效，如果这么做，会使用程序在真正运行时遇到问题，如：
错误：
assert(i++ < 100);
这是因为如果出错，比如在执行之前i=100，那么这条语句就不会执行，那么i++这条命令就没有执行。
正确：
assert(i < 100); i++;
4）assert和后面的语句应空一行，以形成逻辑和视觉上的一致感。
5）有的地方，assert不能代替条件过滤。
以上所述是小编给大家介绍的assert()函数用法总结，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。
更多assert()函数用法总结(推荐)相关文章请关注PHP中文网！
热心网友
时间：2022-04-24 05:48
1.函数参数有效性检查
Example:
① def SetScale(self, s):
assert s > 0.0, s
self.model.scale = math3d.vector(s, s, s)
② def SetTexture(self, textureName):
assert textureName != ''
③ def RotateToHorzDirection(self, dir):
dir.y = 0.0
assert abs(dir) >= 1e-3, dir
2.函数返回值检查，检查函数执行是否有效
Example:
① def OnModelLoaded(self, model):
self.model = model
self.rootbone = self.model.get_root_bone()
assert self.rootbone >= 0
3.执行环境有效性检查
Example:
① def showPrompt(utf8_msg):
assert _WorldProcInst.IM.IsActive()
_WorldProcInst.IM.AddToChatBox(utf8_msg)
② def BindSocket(self, socket, o):
assert self.model is not None
self.model.bind(socket,o)
③ if msg_type == raidprotocol.RD_MSG_SCENE_FOG_PROPERTY_UPDATE:
assert self.scn is not None
self.scn.set_fog(FogType, FogMode, FogColor, FogStart, FogEnd,FogDensity)
④ if msg_type == gsprotocol.GS_MSG_SIGN_OUT_RES_SUCCEEDED:
assert self._proc_state == self.PROC_STATE_NORMAL
self._SwitchState(self.PROC_STATE_SIGN_OUT)
returnFalse
⑤ def __OnPickMember(self, obj):
assert self.squad is not None
4.非法情况检查，非法逻辑分支
Example:
① def ShowStall(self, bShow, type):
if type == gsconsts.STALL_TYPE_COMMON:
self._stall_common=render.model('./meshes/items/sellbag.gim')
elif type == gsconsts.STALL_TYPE_ADVANCE1:
self._stall_common=render.model('./meshes/items/tanwei01.gim')
else:
assert 0, 'unknown stall type'
② def MainSubProc(self):
for v in [self.WorldGame,self.RaidGame, self.Farm.home]:
if v.IsActive():
return v
assert 0, 'should never come tohere'
return None
③ void OnEvent(event, args)
{
switch(event)
{
case EVENT0:
...
break;
case EVENT1:
...
break;
case EVENT2:
...
break;
default:
assert 0 && "invalid event"
}
}
5.防止重入
Example:
① def OnCharacterEnterAOI(self, char_aoi, pet_aoi):
key = char_aoi.char_rtid
assert key not in self.aoiRemoteChar, char_aoi.char_name
② def AddBuffer(self, bufferRtid, typeID, srcRtID, life_Time=0.0,int_Mode=0, real_Mod=0.0):
assert bufferRtid not in self.BufferMap
③ def Initial(self, initChildProcName):
global Instance
assert Instance is None #全局共享数据写保护
Instance = self
return True
6.多个需要保持同步的变量一致性检查
Example:
1) class CString:
def __init__(self,s):
self._str = s
self._len= len(s)
def length(self):
assert self._len == len(self._str)
returnself._len
def set(self,s):
self._str = s
self._len= len(s)
