c，assert 宏的实现

//massert.c

#include "massert.h"
#include <stdlib.h>
#include <stdio.h>

void _mAssert(char * mesg)        
{
    fputs(mesg, stderr);
    fputs("--assertion failed\n", stderr);
    abort();
}

//massert.h
#ifndef NDEBUG
    extern void _mAssert(char *);
    #define _STR(x)  _VAL(x)
    #define _VAL(x)  #x
    #define massert(test)    \
        ((test)? (void)0 : _mAssert(__FILE__ ":" _STR(__LINE__) " " #test))
#else 
    #define massert(test) 
#endif

//demo1.c
#include "massert.h"

int func1(int i )
{
    massert(i<150);
    return 2*i;    
}

//demo2.c
#define NDEBUG
#include "massert.h"

int func2(int i )
{
    massert(i<150);
    return 2*i;    
}

//demo.c
#include <stdio.h>

extern int func2(int i );
extern int func2(int i );

int main()
{
    if(1){
        printf("11111\n");
        func1(100);
        printf("22222\n");
        func1(200);
    }else{
        printf("33333\n");
        func2(100);
        printf("44444\n");
        func2(200);
    }
    return 0;
}
//终端打印结果：

//if(1)
11111
22222
demo1.c:7 i<150--assertion failed
Aborted

//if(0)
33333
44444

实现了assert宏，和标准库的同样功能。可打印出错的”文件、行、表达式“。