Chinaunix首页 | 论坛 | 博客
  • 博客访问: 1326068
  • 博文数量: 436
  • 博客积分: 7854
  • 博客等级: 少将
  • 技术积分: 3225
  • 用 户 组: 普通用户
  • 注册时间: 2007-12-18 16:30
文章分类

全部博文(436)

文章存档

2013年(2)

2012年(56)

2011年(70)

2010年(308)

分类:

2010-05-02 16:02:41

出错处理之一 assert 函数用法
assert宏的原型定义在中,其作用是如果它的条件返回错误,则终止程序执行,原型定义:
#include
void assert( int expression );

assert的作用是现计算表达式 expression ,如果其值为假(即为0),那么它先向stderr打印一条出错信息,
然后通过调用 abort 来终止程序运行。

请看下面的程序清单badptr.c:
#include
#include
#include

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 的语句之前插入 #define NDEBUG 来禁用assert调用,示例代码如下:
#include
#define NDEBUG
#include

用法总结与注意事项:
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不能代替条件过滤
-------------------------------------------------------
出错处理之二——使用预编译宏__LINE__ 和 __FILE__
摘要:上一节(http://blog.chinaunix.net/u/16292/showart_391324.html)中,
我们说明了assert函数的用法,除此之外,标准C还定义了两个宏:__LINE__ 和  __FILE__,
它们可以和assert联合起来用以定位更精确的程序bug点。
下面我们通过一个例子来说明__LINE__ 和  __FILE__的用法。

           zieckey@yahoo.com.cn


程序清单1:
/*
*    filefcn.h - A function to open files.
*/

#ifndef FILEFCN_H_
#define FILEFCN_H_

int open_file( FILE **fp, char *fname, char *mode, int line, char *file );

#endif/* FILEFCN_H_ */


程序清单2:
/*
*    filefcn.c - A function to open files,using __LINE__ and __FILE__
*/

#include
#include "filefcn.h"

int open_file( FILE **fp, char *fname, char *mode, int line, char *file )
{
    if ( NULL == (*fp = fopen(fname, mode)) )
    {
        fprintf( stderr, "[%s:%d] open_file() failed.\n", file ,line );
        return 1;
    }
    
    return 0;
}


程序清单3:
/*
*    testmacros.c - Exercise the function defined in filefcn.c
*/

#include
#include
#include "filefcn.h"

int main(void)
{
    FILE *fp;
   
    if ( open_file( &fp, "test.txt", "w", __LINE__, __FILE__ ) )
    {
        return EXIT_FAILURE;
    }
    else
    {
        fputs( "This is the text proves we scribbled in the file.\n", fp );
        fclose( fp );
    }
   
    if ( open_file ( &fp, "noexitfile.txt", "r", __LINE__, __FILE__ ) )
    {
        return EXIT_FAILURE;
    }
    else
    {
        fclose( fp );
    }
   
    return 0;
}

编译运行:
[root@localhost error_process]# gcc testmacros.c filefcn.c
[root@localhost error_process]# ./a.out
[testmacros.c:23] open_file() failed.
[root@localhost error_process]#

在编译之前,预处理器把 __LINE__分别换成了 13 和 23,把__FILE__换成了源码文件的文件名 testmacros.c。
如果open_file函数调用成功,则返回0,否则打印出诊断信息。

这样我通过标准C的两个宏:__LINE__ 和  __FILE__实现了一个更健壮的fopen函数。
--------------------------------------------------
出错处理之三——标准库函数perror用法(打印出错误原因信息字符串)
表头文件
 #include
 
定义函数
 void perror(const char *s);
 
函数说明
 perror ( )用 来 将 上 一 个 函 数 发 生 错 误 的 原 因 输 出 到 标 准 错误
 (stderr) 。参数 s 所指的字符串会先打印出,后面再加上错误原因
 字符串。此错误原因依照全局变量 errno 的值来决定要输出的字符串。
范例:
#include
int main(void)
{
 FILE *fp ;
 fp = fopen( "/root/noexitfile", "r+" );
 if ( NULL == fp )
 {
  perror("/root/noexitfile");
 }
 
 return 0;
}
运行结果:
[root@localhost io]# gcc perror.c
[root@localhost io]# ./a.out
/root/noexitfile: No such file or directory


阅读(686) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~