vc 2005 sp1下isspace函數(shù)的debug版本對中文處理有問題
今天碰到一個怪問題，從別人那兒拿來的一段代碼先在gcc下過了，又移植到vc下編譯，結(jié)果debug時老是有assert錯誤。看了一下代碼，錯誤發(fā)生在一個trim函數(shù)中。trim函數(shù)接受一個char*類型的字符串參數(shù)，去掉字符串前后的空格、制表符等空白字符。其中判斷是否是空白字符用的是isspace函數(shù)。按照一般的想法，char*字符串里的字符編碼無論是GBK還是utf-8，因為都兼容ASCII，所以isspace函數(shù)都不應(yīng)該發(fā)生問題。但事實是只要是字符串有中文，無論是gbk還是utf-8編碼，isspace內(nèi)都有assert錯誤。為了便于說明，把其中的代碼抽像出來如下：
char* lpszBuffer = (char*)"高";
int nLen = (int)strlen(lpszBuffer);
for( int i=0;i
{
printf("0x%x %dn",lpszBuffer[i],isspace(lpszBuffer[i]) );
}
這段代碼在debug編譯的情況下會assert失敗。沒有辦法，只好跟蹤到c運行庫里，isspace的實現(xiàn)如下(在"_ctype.c"文件里)：
extern __inline int (__cdecl isspace) (
int c
)
{
if (__locale_changed == 0)
{
return __fast_ch_check(c, _SPACE);
}
else
{
return (_isspace_l)(c, NULL);
}
}
跟蹤發(fā)現(xiàn)，__locale_changed的值為0，走第一個分支，調(diào)用__fast_ch_check，它其實是個宏定義，最后進入_chvalidator函數(shù)，它的實現(xiàn)代碼如下：
extern "C" int __cdecl _chvalidator(
int c,
int mask
)
{
_ASSERTE((unsigned)(c + 1) <= 256);
return _chvalidator_l(NULL, c, mask);
}
錯誤就發(fā)生在這個函數(shù)的第一行“ _ASSERTE((unsigned)(c + 1) <= 256);”。
代碼看到這里，錯誤的原因基本也就出來了。“高”的GBK編碼是“b8 df”，調(diào)用isspace函數(shù)是逐個字節(jié)判斷，但是isspace和_chvalidator接受的參數(shù)都是int，這樣就會產(chǎn)生一個char到int的轉(zhuǎn)型，在vc下，char默認是"signed char"，這樣char“b8”轉(zhuǎn)型到int后，會變成一個負數(shù)，然后在assert的時候，又強制轉(zhuǎn)型為unsigned，它又變成了一個非常巨大的正數(shù)，自然assert就失敗了。
為什么在gcc下沒有錯誤？gcc下的isspace函數(shù)實現(xiàn)我倒沒看，不過我的gcc中的char默認就是“unsighed char”，所以即使isspace的實現(xiàn)跟上面的一樣，也不會產(chǎn)生問題。
另：在win32 release和wince下，也不會有上述問題，因為這幾種環(huán)境下isspace的實現(xiàn)跟上面不一樣。
問題找到了，剩下的就看怎么解決了。
首先用用一個最簡單的方法，既然問題發(fā)生在轉(zhuǎn)型上，只要把char的默認類型改為unsigned char就可以了，vc也提供了這個選項。但這有幾個問題，一是別人用我的代碼的時候還得修改編譯選項，二是修改了整個工程的編譯選項可能會對其它代碼產(chǎn)生不好的影響。
既然上面的方法不大好操作，那就再想想別的方法。經(jīng)觀察發(fā)現(xiàn)，isspace函數(shù)中靠__locale_changed變量控制流程走向，搜索整個crt的源代碼，發(fā)現(xiàn)__locale_changed的值只有在setlocale函數(shù)中發(fā)生了改變。最后，我把代碼修改成如下：
#if defined(WIN32) && defined(_DEBUG)
char* locale = setlocale( LC_ALL, ".OCP" );
#endif
char* lpszBuffer = (char*)"高";
int nLen = (int)strlen(lpszBuffer);
for( int i=0;i
{
printf("0x%x %dn",lpszBuffer[i],isspace(lpszBuffer[i]) );
}
這樣在debug版本上就不會再有問題，但是可能其中仍有隱患，等到具體碰到的時候再說吧。先把目前的工作繼續(xù)下去。