下面是一个比较简单的TRACE和ASSERT的WIN32实现：
#define ASSERT(expr)
do {
if (!(expr) &&
(1 == _CrtDbgReport(_CRT_ASSERT, __FILE__, __LINE__, NULL, #expr)))
__asm { int 3 };
} while (0)
#define TRACE(expr)
_CrtDbgReport(_CRT_WARN, __FILE__, __LINE__, NULL, expr)
它们调用的都是_CrtDbgReport函数，其原型如下：
_CRTIMP int __cdecl _CrtDbgReport(
int nRptType,
const char * szFile,
int nLine,
const char * szModule,
const char * szFormat,
...
);
_CrtDbgReport的第一个参数表示报告消息的类型，有下面三种类型：
#define _CRT_WARN 0
#define _CRT_ERROR 1
#define _CRT_ASSERT 2
_CrtDbgReport函数的实现大体上是先拼接好报告消息，然后根据消息的类型将消息发往合适的地方，具体如下：
首先判断_CrtDbgMode[nRptType]的值，通过观察，知道
_CrtDbgMode[0] = 2;
_CrtDbgMode[1] = 4;
_CrtDbgMode[2] = 4;
系统定义了下面的宏来说明这些报告消息发往何处，
#define _CRTDBG_MODE_FILE 0x1
#define _CRTDBG_MODE_DEBUG 0x2
#define _CRTDBG_MODE_WNDW 0x4
再通过源代码和MSDN的帮助，终于弄清楚了消息的去处：
如果_CrtDbgMode[nRptType]是_CRTDBG_MODE_DEBUG，则调用OutputDebugString将报告消息发送给调试器。
如果_CrtDbgMode[nRptType]是_CRTDBG_MODE_WNDW，则弹出一个具有终止、重试、忽略三个按钮的对话框。
让我们回头来看看ASSERT宏，显然，如果expr非零，则ASSERT成功，直接退出while循环，根本不会执行_CrtDbgReport；如果expr为0，则执行_CrtDbgReport，如果用户选择终止，则应用程序立即终止；若选择重试，则_CrtDbgReport返回1，程序会执行下面的汇编语句，这个语句会使得程序中断，就跟你设置了断点一样；若用户选择忽略，则程序继续执行。顺便说明一下，#expr表示将expr转换为字符串，比如，若ASSERT(0==i)，则#expr为“0==i“。
如果_CrtDbgMode[nRptType]是_CRTDBG_MODE_FILE，则将报告信息写入_CrtDbgFile[nRptType]表示的文件中。
TRACE宏的非WIN32实现很简单，就是调用printf直接输出报告消息。