非空的代码

1
2
3
4
void PrintString(char *strString)
{
    std::cout << strString;
}

你能确定的假设可能违反了？答案是，用户可以在一个空指针而不是一个有效的C风格字符串传递。如果发生这种情况，程序会崩溃。这里的功能又具有检查以确保函数参数非空的代码：

1
2
3
4
5
6
void PrintString(char *strString)
{
    // Only print if strString is non-null
    if (strString)
        std::cout << strString;
}

问题：当一个函数返回，返回值可能表明发生了一个错误。

1
2
3
// Declare an array of 10 integers
int *panData = new int[10];
panData[5] = 3;

你能确定的假设可能违反了？答案是，运营商新的（实际上是调用一个函数分配做）如果用户内存失败。如果发生这种情况，pandata将被设置为零，当我们使用下标操作符对pandata，程序会崩溃。这里的错误检查新版本：

1
2
3
4
5
6
// Delcare an array of 10 integers
int *panData = new int[10];
// If something went wrong
if (!panData)
    exit(2); // exit the program with error code 2
panData[5] = 3;