A function that satisfies its preconditions but cannot fulfill its postconditions should throw an exception.

Question

Quizplus · Accepted Answer

If a function is unable to fulfill its postconditions, it means that either it encountered an error or the input data was incorrect. In such cases, the function should throw an exception to indicate that something went wrong. This helps the caller of the function to diagnose the problem and take appropriate action. Therefore, throwing an exception when the postconditions are not met is the correct behavior.

A Function That Satisfies Its Preconditions but Cannot Fulfill Its