14.ASSERT断言的实现 + Makefile

断言 ASSERT 是用宏来实现的。
原理是判断传给 ASSERT 的表达式是否正确。

参看博客《断言(assert)的用法》https://blog.csdn.net/jiaruitao777/article/details/103509909

assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息,然后通过调用 abort 来终止程序运行。
使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。

我们来自己实现 ASSERT 。

** debug.h**

#ifndef __KERNEL_DEBUG_H
#define __KERNEL_DEBUG_H
void panic_spin(char* filename, int line, const char* func, const char* condition);

/***************************  __VA_ARGS__  *******************************
 * __VA_ARGS__ 是预处理器所支持的专用标识符。
 * 代表所有与省略号相对应的参数. 
 * "..."表示定义的宏其参数可变.*/
#define PANIC(...) panic_spin (__FILE__, __LINE__, __func__, __VA_ARGS__)
 /***********************************************************************/

#ifdef NDEBUG
   #define ASSERT(CONDITION) ((void)0)
#else
   #define ASSERT(CONDITION)                                      \
      if (CONDITION) {} else {                                    \
  /* 符号#让编译器将宏的参数转化为字符串字面量 */		  \
	 PANIC(#CONDITION);                                       \
      }
#endif /*__NDEBUG */

#endif /*__KERNEL_DEBUG_H*/

panic_spin 是在 debug.c 中实现的。
debug.c

#include "debug.h"
#include "../lib/kernel/print.h"