违反假设

当X是5？条件表达式的值为真，程序和打印“x大于5″。逻辑错误可以很容易或很难找到，根据问题的性质。

另一个常见的语义错误是违反假设。一违反假设发生时，程序员的假设的东西都将是真实的或虚假的，而不对。例如：

1
2
3
4
5
6
7
char strHello[] = "Hello, world!";
std::cout << "Enter an index: ";
 
int nIndex;
std::cin >> nIndex;
 
std::cout << "Letter #" << nIndex << " is " << strHello[nIndex] << std::endl;

看到这里的潜在问题？程序员认为用户会输入一个值，0和长度之间的“你好，世界！“。如果用户输入一个负数，或大量的数组索引，索引会出界。在这种情况下，因为我们只是读值，程序会打印一个垃圾信。但在其他情况下，程序可能会损坏其他变量，堆栈，或崩溃。

防御性编程是一种形式的程序设计，包括试图找出其中的假设可能被侵犯，并编写代码检测和处理任何违反这些假设使计划的反应，在可预见的方式时，这些行为会发生。

假设错误检测

事实上，我们可以捉到几乎所有的假设，需要在三个地点进行检查：

当一个函数被调用，用户可以通过在语义上毫无意义的函数参数。

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

当程序接收输入（无论是从用户，或文件），输入不正确的格式。

因此，下列规则时应使用编程的防守：

在每个函数前，检查以确保任何参数的适当的值。

在一个函数被调用，检查它的返回值（如果有），以及任何其他的错误报告机制，看是否发生了一个错误。

验证用户输入，以确保其符合预期的格式或范围标准。

让我们在这些例子都看一看。

问题：当一个函数被调用，用户可以通过在语义上毫无意义的函数参数。

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