WinXP环境中模仿WinCE的ASSERT表现行为的解决方案

//=====================================================================
//TITLE:
// WinXP环境中模仿WinCE的ASSERT表现行为的解决方案
//AUTHOR:
// norains
//DATE:
// Tuesday 23- February-2010
//Environment:
// WINDOWS CE 5.0
// WINDOWS XP
//=====================================================================

如果你开发过WinCE的程序，那么想必你对ASSERT宏的用法不陌生。简单点来说，该宏是在DEBUG版本才生效，当其表达式为FALSE时，调试器会自动停在该代码段，并且会在Output窗口输出相应的信息：

如果你将ASSERT(FALSE)放到WinXP的MFC工程的话，习惯于WinCE断言的方式的你，可能就会带你进入地狱。随着"咚"的一声，映入你眼帘的是这么一个警告信息：

刚在WinXP下编写程序的你，说不定看到这对话框，还以为自己的代码有了致命的错误呢。虽然我们可以点击"忽略"继续进行调试，但这对话框如果多来几个，我相信没几个人能忍受。

如果你不使用MFC，而是直接上WIN32 API的话，结局则更为离谱，你连编译都无法通过，直接提示ASSER没有定义。

查一下文档，WIN32确实没有ASSERT这玩意，但却有相应的替代，则是在该宏前加下划线，为_ASSERT。但这加下划线的也和MFC的ASSERT表现一样，会让你心跳加快：

好了，好了，基本上我们可以确认_ASSERT和ASSERT是同一个玩意，可以不用折腾了。但如果我们想获得在WinCE下的表现方式，那是不是就没辙了呢？

在讨论这个问题之前，我们先看看WinCE下关于ASSERT的定义是如何的。

 #define ASSERT( exp )   DBGCHK(TEXT("Unknown"), exp)

 #define DBGCHK(module,exp) /
   ((void)((exp)?1:(          /
       NKDbgPrintfW ( TEXT("%s: DEBUGCHK failed in file %s at line %d /r/n"), /
                 (LPWSTR)module, TEXT(__FILE__) ,__LINE__ ),    /
       DebugBreak(), /
    0  /
   )))

归根结底，WinCE下的ASSERT用到了两个函数：NKDbgPrintfW和DebugBreak。我们很容易知道，NKDbgPrintfW是输出信息到Output窗口的函数，而DebugBreak则是让调试器暂停。

因为NKDbgPrintfW是WinCE特有的函数，所以我们先不管它，先看看DebugBreak。很幸运，这个函数在WinXP中也有定义。那么，我们将其放入代码里，看看其是什么表现。

当代码执行到DebugBreak()时，调试器也会跳出个对话框：

在该对话框中，如果选择Break，则会进入汇编代码的调试；如果是continue，则调试器会进入到下一语句。

虽然没有WinCE的那种静默的方式，但至少比那个带红红的"X"，并且还有"咚"一声巨响的ASSERT好多了吧？

调试器的暂停我们算是不完美的解决了，那输出到Output窗口的信息该怎么办呢？NKDbgPrintfW可是WinCE的特权，WinXP可没有这个优待。在WinCE下，我们还能用printf输出到Output窗口，可是同样的调用，printf在WinXP下可就在Output窗口难觅踪影了。

查找文档，发现在WinXP下如果想将字符串输入到Output窗口，我们可以调用OutputDebugString。看起来问题能得到解决了，但其实OutputDebugString有个很大的缺陷，因为它不支持字符串的格式化！

换句话来说，如果将代码printf("Param:%d/r/n",iVal)替换为OutputDebugString("Param:%d/r/n",iVal)，那么你将无法编译通过，因为OutputDebugString只支持一个形参！

难道，我们就没有办法在WinXP下实现一个和WinCE类似的ASSERT宏么？

没辙了，既然没有相应的格式化输出函数，那么我们自己弄一个不就行了么？

初始一看，整个函数的难点有两个，一个是可变参数，另一个是字符串格式化。其实这两个难点在wvsprintf上都能迎刃而解。它可以根据将可变形参格式化为字符串，然后保存到特定缓冲去。而这缓冲区的大小，根据文档，则为1024。所以，我们可以写出输出到output窗口的函数：

void DebugStrng(TCHAR * pszFormat,...)
{
 //The maximum size of the buffer in the wvsprintf is 1024 bytes. 
    TCHAR szText[1024];
 
 //The argument pointer.
 va_list args;

 __try
 {
  //Start with the pstrFormat variable address
  va_start(args, pszFormat);

  //Format the string
  wvsprintf(szText, pszFormat, args);

  //Send the string to the output window
  OutputDebugString(szText);
 }
 __finally
 {
  //Stop enumerating the argument.
  va_end(args);
 }
}

输出函数有了，那么我们接下来的事情是不是就简单多了？

最后，属于我们自己的ASSERT宏终于横空出世了：

#define DBGCHK(module,exp) /
   ((void)((exp)?1:(          /
       DebugStrng ( TEXT("%s: DEBUGCHK failed in file %s at line %d /r/n"), /
                 (LPWSTR)module, TEXT(__FILE__) ,__LINE__ ),    /
       DebugBreak(), /
    0  /
   )))


#ifdef _DEBUG
	#define ASSERT( exp )   DBGCHK(TEXT("Unknown"), exp)
#else
	#define ASSERT(exp)  ((void)(exp))
#endif