C标准库第一章assert .h学习笔记
一．在开始之前先顺便复习一下C语言的预处理指令
#define 定义一个宏
#undef 取消一个宏定义
#include 包含指定的源文件
#if 根据常量表达式的值，有条件包含文本
#ifdef 测试宏是否定义， 有条件包含一些文本
#ifndef 与#ifdef相反
#else 前面的测试条件失败，就包含一些文本
#line 指定行号和文件名
#elif 前面的测试失败，根据另一个常量表达式值有条件的包含一些文本
defined 测试一个宏是否定义， 若已定义返回1,否则返回0
宏参数字符串化
## 宏参数连接，组合成单个标记
#progma 指定依赖编译器信息
#error 用指定的信息产一个编译器错误
预定义的宏
__FILE__ 源文件名称
__func__ 函数名，GCC支持
__LINE__ 行号
__DATE__ 编译日期
_TIME__ 时间
__STDC__ 标准实现
常用惯例法
1. 定义宏代替magic number ,提高程序可读性，如:
#define BUFSIZE 4096
2.包括头文件
#ifndef _FILE_H
#define _FILE_H
/* content*/
#endif
3.带参数宏
#define ADD(x, y) (x) + (y)
4. 宏替换包含语句
#define FUNC(x, y) do{ /*implement*/} while{0}
二．assert.h 提供一个断言，如果断言失败， 返回类似
Assertion Failded: exp, filexxx, linexxx 信息，
Assert受宏NDEBUG控制，如果某编译单元有该宏定义，则忽略断言检查，
书上提供的源代码如下，
头文件Assert.h
#undef assert
#ifdef NDEBUG
#define assert(test) ((void) 0)
#else
void _Assert(char *);
#define _STR(x) _VAL(x)
#define _VAL(x) #x
#define assert(test) ((test) ? (void)0 \
: _Assert(__FILE__ ":" _STR(__LINE__) "" #test))
#endif
实现xassert.c
#include "assert.h"
#include <stdio.h>
#include <stdlib.h>
void _Assert(char *mesg)
{
fputs(mesg, stderr);
fputs(" -- assertion failed\n",stderr);
abort();
}
测试代码tassert.c
#define
NDEBUG
#include "assert.h"
#include signal.h>
#include <stdio.h>
#include <stdlib.h>
static nt val = 0;
static void field_abort(int sig)
{
if (val == 1)
{
puts("SUCCESS testing assert.h>");
exit(EXIT_SUCCESS);
}
else
{
puts("FAILUR testing <asssert.h>");
exit(EXIT_FAILURE);
}
}
static void dummy()
{
int i = 0;
assert(i == 0);
assert(i == 1);
}
#undef
NDEBUG
#include "assert.h"
int main(void)
{
assert(signal(SIGABRT, &field_abort) != SIG_ERR);
dummy();
assert(val == 0);
++val;
fputs("Sample assertion failure message --\n", stderr);
assert(val == 0);
puts("FAILURE testing <assert.h>");
return (EXIT_FAILURE);
}
学到2招:
1. 通过两个宏定义转换预定义的__LINE__ 为字符串
2. 写测试代码时最好给出一个总的结果说明测试是成功或失败
