7.11利用assert辅助测试

7.11利用assert辅助测试

ASSERT叫断言

我们在什么地方使用断言呢?

主要体现在以下几个方面：

1. 可以在预计正常情况下程序不会到达的地方放置断言。（如assert(0);）
2. 使用断言测试方法的前置条件和后置条件；

• 前置条件：代码执行前必须具备的特性；
• 后置条件：代码执行后必须具备的特性；

c库本来带assert方法,我们自己写一个assert函数

//D:\code\x86\code\start\start\source\kernel\include\tools\klib.h
#ifndef RELEASE     //如果是RELEASE版本(如何改变自己代码版本见下面代码),就跳到#else执行
#define ASSERT(condition)    \
    if (!(condition)) panic(__FILE__, __LINE__, __func__, #condition) //断定失败部分的文件名,行号,函数名称,出错原因(断定的那个表达式,c语言语法,加个#就可以将条件转化为字符串)
void panic (const char * file, int line, const char * func, const char * cond); //panic函数见下面代码
#else
#define ASSERT(condition)    ((void)0) //后面这个 ((void)0)可以改成3==3,但是不能去掉,如果去掉的话见图1,2
#endif

让自己的代码变为RELEASE版本

//D:\code\x86\code\start\start\CMakeLists.txt
// 将 set(CMAKE_C_FLAGS "-g -c -O0 -m32 -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables") 添加上-DRELEASE
set(CMAKE_C_FLAGS "-g -c -O0 -m32 -DRELEASE -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables")

如果去掉则用空来替代,多了一个;

panic()函数

//klib.c
void panic (const char * file, int line, const char * func, const char * cond) {
    log_printf("assert failed! %s", cond);
    log_printf("file: %s\nline %d\nfunc: %s\n", file, line, func);

    for (;;) {
        hlt();
    }
}

下一章就是进程调度了