ppt课件-preconditionsandpostconditions.pptVIP

Here again you see the precondition of the example. The right way to read this is as a warning that says: Watch Out! This function requires that x is greater than or equal to zero. If you violate this condition, then the results are totally unpredictable. So, here are three possible function calls. Two of the calls meet the precondition and have predictable results. In one of the calls, the precondition fails, and the result of the function call is unpredictable. Which function call is the trouble maker? The second and third function calls are fine. The second call has an argument of z