|
| |
 精品推荐 |
 |
|
| |
|
|
|
|
你的代码真的很健壮吗
|
日期：2007年5月16日 作者： 查看:[大字体
中字体 小字体]
|
在编写对话框程序的时候，我们时常会需要Enable或Disable某个控件，有些追求代码健壮的程序员会写出这样的代码：
void CMyDialog::OnStart()
{
CWnd* pBtn = GetDlgItem( IDC_ADD_BTN);
if( pBtn ){
pBtn->EnableWindow(FALSE);
}
…
}
void CMyDialog::OnAdd()
{
......
}
由于GetDlgItem()返回的是一个CWnd的指针，按照文档的描述，如果指定的控件不存在，该函数会返回一个NULL指针，为了确保不会调用NULL指针的函数，我们先检查了返回的指针是否为NULL。
一切看上去很美，这段程序永远不会使你的程序崩溃。然而，不会崩溃的程序，不一定是没有问题的程序。假设在MyDialog中Add按钮被定义成IDC_BTN_ADD，并且不凑巧，在这个项目的另一个Dialog里也有一个Add按钮，而且它的ID被定义为IDC_ADD_BTN，所以你的程序在编译和连结时都不会有错误。当用户使用时，也不会注意到有什么不妥，只是Dialog上的某个按钮没有变成灰色，没有人会注意到它的。
然而，它并不符合你的设计，也许在程序的其他地方，你假设在任务开始后，OnAdd()函数不会被调用到。这些问题一直隐藏着，直到有一天，用户报告说按Add按钮，加入某些数据后，按Ok，结果程序崩溃了。你在自己的机器上试了一下，由于之前你没有按过Start按钮，所以你一直复制不出这个问题。经过几个来回的email或者电话交流，你找到了复制错误的方法，并且奇怪为什么Add按钮没有被禁止呢，奇怪？？忙活半天后，你发现原来是一个ID写错了。
一个很小的错误，修正它也许只要两分钟，找到它却花费了你几十分钟甚至更长。然而，这一切是可以避免的。这里我们要避免的不是说写错ID，粗心大意的错误，人人都会犯，而且会不停的犯。但是如果错误能够被及时发现，就会剩下许多时间。
造成以上问题的原因是我们在代码中加入了一些防御性的代码，这些代码保护了程序员犯的错误。如果GetDlgItem()返回NULL，一定是由于程序员的错误。由于错误被掩盖起来，所以当问题被暴露出来时就已经面目全非了。
一个比较好的做法是除去防御性代码，让问题及早暴露：
void CMyDialog::OnStart()
{
GetDlgItem( IDC_ADD_BTN)->EnableWindow(FALSE);
…
}
这样的结果是：一按Start按钮，程序立刻就崩溃了。的确，崩溃是很严重的错误，在Bug List里它的优先级是比较高的（仅次于造成整个OS崩溃）。但是，既然有错误，迟早要崩溃的，还不如早一点崩溃。至少早一点崩溃可以使你很快就发现问题，找到问题。有经验的程序员都清楚，一触即发的问题并不可怕，可怕的是那些偶然发生，不容易复制的问题。
需要在函数里检查参数的合法性吗？
在实现一个函数时，出于“健壮性”的考虑，我们经常会在函数的入口处加入许多参数检查代码。比如以下的一个例子：
class CItemManager
{
protected:
int m_nCount;
…
public:
int GetItemCount();
CItem* GetItem( int nIndex );
};
CItem* CItemManager::GetItem( int nIndex )
{
if( nIndex < 0 nIndex >= m_nCount )
return NULL;
…
return pItem;
}
class CItemManager
{
protected:
int m_nCount;
…
public:
int GetItemCount();
CItem* GetItem( int nIndex );
};
CItem* CItemManager::GetItem( int nIndex )
{
if( nIndex < 0 nIndex >= m_nCount )
return NULL;
…
return pItem;
}
在实现GetItem()时，你首先检查了参数的合法性，如果不合法就返回一个NULL指针。这样你的函数在任何的输入情况下都不会导致程序崩溃，一切看上去完美无缺，无可挑剔。但是，这样做真的能使我们的程序更健壮吗？
我们从调用者的角度来分析一下。为什么调用者会传入一个不合法的参数呢？一种情况是调用者的程序有bug；另一种情况是调用者不确定index是不是合法，但是他不想多写两行代码来判断index的合法性，他希望GetItem()能够一次都给办了：即能检查index的合法性，又能返回CItem的指针。
考虑第一种情况，也许调用者写了如下的代码：
int index;
…
CItem* pItem = im.GetItem( index );
if( pItem ){//should be executed
…
}
这是一段危险的函数，index变量在使用之前没有初始化，但是这段程序不会，永远也不会使程序崩溃，这要感谢实现CItemManager和使用CItemManager的程序员，他们都习惯于写“健壮的”代码。但是，这段程序却不会按照我们想象的那样运行。本该执行的代码并不是每次都被执行到，因为谁也不确定index变量里存的是什么东西。这段代码是健壮的，他不会使程序崩溃，但是程序的运行过程却是不确定的。一旦出现问题，这个问题即不容易复制，也不容易确定错误原因，它的表现形式往往出乎你的意料。
上一篇:软件架构训练基础教程之Intenet技术
下一篇:64位计算中的Java虚拟机(JVM)性能测试
|
| 你的代码真的很健壮吗 相关文章： |
|
|
|
| 你的代码真的很健壮吗 相关软件： |
|
|
|
|
