Catch as catch can

A light-hearted look at exception handling

Internet Security Threat Report 2014

Stob Exception handling is a comparative newcomer to the programmer’s toolset.

The mighty for loop, the enigmatic if statement and the cheeky little counter increment have been with us since the first automatic languages bubbled to the surface of the primordial programming bog at Manchester, more than half a century ago. But, according to my skimpy research, it wasn’t until IBM’s PL/I came along, in the mid 1970s, that exception handling appeared in a language.

PL/I’s exceptions were based on a proposal by John B. Goodenough. Goodenough was strongly motivated in his design, I believe, by the behaviour of his colleagues every time one of his programs crashed. I suggest they were in the habit of jeering — “Never mind John, that’s good enough” — and then falling about laughing. Truly is it said that ambition and bullying are the twin fuels that drive the engine of progress.

After PL/I, the next mainstream-ish language to support exceptions was Ada. Like PL/I, Ada was confidently expected to have a glorious future. At one time, the US Department of Defense mandated the use of Ada upon all its suppliers for all safety-critical work. Well, all those suppliers who carelessly failed to use the magic phrase ‘but it will be much cheaper if we do it in C’.

To the surprise of their powerful backers, neither PL/I nor Ada really “took on”. Despite guest appearances in exotica such as Clu and Modula-3, it wasn’t until C++ compilers began to support exception-handling constructs, in the early 1990s, that the idea was really adopted by the mainstream.

(Actually, I don’t believe this. I remember doing ON ERROR GOTO stuff in Basic in the early 1980s; if that wasn’t a kind of exception handling, what the Dickens was it? Perhaps the academics take the view that, although it may have been mainstream, it was only Basic and so doesn’t count. Fair enough. Objection withdrawn, m’lud.)

Before we hit the techie nitty-gritty, a touch of etymology. The word “exception”, of course, comes from the Latin irregular verb excepto — conjugates excepto, exceptere, crashli, dumpdum — literally meaning “to encounter unexpectedly something unpleasant that you can’t prevent”. Legend has it that it was coined by a well-known peace consultant in pressing and infamous circumstances: “Et tu Brute? My, that’s an exceptionally sharp dagger.” If you picked up the teeny Carry On reference there, you may now take a biscuit.

Throwy-catchy nitty-gritty

I will discuss exceptions in the context of C++, using it as a baseline to compare with Delphi’s Object Pascal, Java and C#.

I apologise in advance to the industry’s senior commentator for not covering Scheme or other Lisp dialects and, thus, continuing the tendency to dumb down. This does not mean that I fail to recognise that Lisp is still #1 for key algorithmic techniques such as recursion and condescension. It just means that I have no idea how, or indeed if, Lisp handles exceptions.

First, “finally”.

finally is the entirely indispensable keyword that C++ doesn’t have. For the benefit of just-C++ people: a finally clause contains all the inline tidying up that must always happen, whether or not you get an exception in the try block. The path of execution through the code is clear… although there is always the danger that you will accidentally release a resource outside the finally block, or forget it altogether.

C++ says you must wrap your resources up in classes, bung them on the stack, and have the destructor unpick the damage as control bubbles up through scope. C++ says that finally leads to lazy, ad hoc coding practices.

Javaman: Oh yeah, that’s neat. So every time you want to protect some resource or teeny bit of state, you’ve got to jump out of line and knock out a whole class? Probably just to free up a couple of heap-allocated objects, I should think. Yup, that makes sense.

Mr C++: Oooh, hark at the supreme garbage collector! Just because you need a destructor (that’s like a finalize() only it actually gets run some time soon, by the way) you don’t have to make a special class, you know. A generic is not just for a container. Whoops, hush my mouth, in your case it is.

Javaman: Here we go. Here we go. Do tell, are you planning on using auto_ptr, and maybe munching an array that needs to be delete[]ed? And after that let’s talk about Total Cost of Ownership…

Charlie C#: Hold up, Java. Too much finally really can get up your nose. There’s a lot to be said for implementing a bit of an IDisposable class, push a more code out of the app and into the nice, pre-tested library.

Denis Delphi: That’s right, the heterogeneous approach is best. Use finally for ordinary objects, but do semi-hidden reference counting for the contents of strings and objects that are cast to interfaces. That’s the way to do it. Unless we are running under .NET, of course, in which case we…

Everybody: Oh shut up, you great dork.

Thus it may be seen that there are many clever and compelling arguments to be made on all sides.

Beginner's guide to SSL certificates

More from The Register

next story
Netscape Navigator - the browser that started it all - turns 20
It was 20 years ago today, Marc Andreeesen taught the band to play
Sway: Microsoft's new Office app doesn't have an Undo function
Content aggregation, meet the workplace ... oh
Sign off my IT project or I’ll PHONE your MUM
Honestly, it’s a piece of piss
Return of the Jedi – Apache reclaims web server crown
.london, .hamburg and .公司 - that's .com in Chinese - storm the web server charts
NetWare sales revive in China thanks to that man Snowden
If it ain't Microsoft, it's in fashion behind the Great Firewall
Chrome 38's new HTML tag support makes fatties FIT and SKINNIER
First browser to protect networks' bandwith using official spec
Admins! Never mind POODLE, there're NEW OpenSSL bugs to splat
Four new patches for open-source crypto libraries
prev story


Forging a new future with identity relationship management
Learn about ForgeRock's next generation IRM platform and how it is designed to empower CEOS's and enterprises to engage with consumers.
Why cloud backup?
Combining the latest advancements in disk-based backup with secure, integrated, cloud technologies offer organizations fast and assured recovery of their critical enterprise data.
Win a year’s supply of chocolate
There is no techie angle to this competition so we're not going to pretend there is, but everyone loves chocolate so who cares.
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?
Intelligent flash storage arrays
Tegile Intelligent Storage Arrays with IntelliFlash helps IT boost storage utilization and effciency while delivering unmatched storage savings and performance.