If you search for the phrase “exceptions as flow control” then most of the top hits are about how bad it is and how you shouldn’t. I don’t disagree with that point, exceptions should be unexpected, so you shouldn’t really be treating them as an expectation. Put it another way, exceptions are, in essence, GOTO statements; everyone knows that GOTOs are bad.
We recently had to integrate with an API that would provide us with all the new orders created by the application so that we can forward them to the supplier. In the event that there were more than a certain amount; a
next_page_url tag would be present in the returned JSON. There were a couple of issues with the behaviour that we batted around internally, but ultimately things and well… reasons1. The way things work is all perfectly fine, but it isn’t really designed for machine driven interaction (it seems to be a thing for API designers to think that ultimately there’s someone looking at a screen and clicking on things).
One of our consultants decided to use BranchingServiceCollection as a loop. This has always been possible, though not explicitly documented; if any service in a BranchingServiceCollection returns
true for isBranching() then it is allowed to dictate the id of the next Service that will be executed by the collection. Most of the time, only the
first-service-id does that which means that it effectively becomes a if/else construct.
Since 3.4.1 we’ve had BranchingServiceEnabler which wraps any other service which returns
true for isBranching() and allows you to control the behaviour of BranchingServiceCollection without additional work. Put simply, if the wrapped service throws an exception, then the
fail-id is used as the next service, otherwise
success-id is used. With this in mind what he’s done is quite elegant. Essentially we flip-flop between two services until we no longer have a
next_page_url. Actual errors processing calls to the API are rethrown and result in a failure. When we have read all the documents and
next_page_url no longer exists in the JSON (we fail to json-path it out); we throw an exception that is handled as a loop termination marker and we finally fall out of the self-imposed loop.
Sadly though, this means that he used exceptions as a flow control mechansim and the velociraptors got him. However, it was interesting enough that it deserves recognition for posterity.
Comic courtsey of the generous xkcd license
Reasons, you know like when you say ‘because’ to a recalcitrant 5 year old. ↩︎