Try/catch or validation for speed?

Question

I\'m working with Python and whenever I\'ve had to validate function input, I assumed that the input worked, and then caught errors.

In my case, I had a universal

Answer 1

I upvoted Matt Joiner's answer, but wanted to include some additional observations to make it clear that, along with a couple of other factors, there are 4 times that matter when choosing between pre-checking conditions (known as LBYL or "Look Before You Leap") and just handling exceptions (known as EAFP or "Easier to Ask Forgiveness than Permission").

Those timings are:

• Timing when the check succeeds with LBYL
• Timing when the check fails with LBYL
• Timing when an exception is not thrown with EAFP
• Timing when an exception is thrown with EAFP

The additional factors are:

• The typical ratio of check success/failure or exception thrown/not thrown cases
• Whether or not there is a race condition that prevents the use of LBYL

That last point is the one that needs to be addressed first: if there is a potential for a race condition, then you have no choice, you must use exception handling. A classic example is:

if <dir does not exist>:
    <create dir> # May still fail if another process creates the target dir

Since LBYL doesn't rule out the exception is such cases, it offers no real benefit and there's no judgement call to be made: EAFP is the only approach that will handle the race condition correctly.

But if there's no race condition, either approach is potentially viable. They offer different trade-offs:

• if no exception is raised, then EAFP is close to free
• however, it is comparatively expensive if an exception occurs, as there is quite a lot of processing involved in unwinding the stack, creating the exception and comparing it to the exception handling clauses
• LBYL, by contrast, incurs a potentially high fixed cost: the additional check is always performed, regardless of success or failure

That then leads to the following decision criteria:

• Is this piece of code known to be critical to the speed of the application? If not, then don't worry about which of the two is faster, worry about which of the two is easier to read.
• Is the pre-check more expensive than the cost of raising and catching an exception? If yes, then EAFP is always faster and should be used.
• Things get more interesting if the answer is "no". In that case, which is faster will depend on whether the success or the error case is more common, and the relative speeds of the pre-check and the exception handling. Answering this definitively requires real timing measurements.

As a rough rule of thumb:

• if there is a potential race condition, use EAFP
• if speed isn't critical, just use whichever you consider easier to read
• if the pre-check is expensive, use EAFP
• if you expect the operation to succeed most of the time*, use EAFP
• if you expect the operation to fail more than half the time, use LBYL
• if in doubt, measure it

*People will vary as to what they consider "most of the time" in this context. For me, if I expect the operation to succeed more than half the time, I would just use EAFP as a matter of course, until I had reason to suspect this piece of code was an actual performance bottleneck.

Answer 2

In Python, exceptions are often faster due to the reduced number of lookups. However a friend once said (and it should apply to any language), pretend that everytime an exception is caught, there is a small delay. Avoid using exceptions where a delay could be a problem.

In the example you've given, I'd go with the exception.