Feeds

Catch as catch can

A light-hearted look at exception handling

Build a business case: developing custom apps

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.

The Power of One eBook: Top reasons to choose HP BladeSystem

More from The Register

next story
NO MORE ALL CAPS and other pleasures of Visual Studio 14
Unpicking a packed preview that breaks down ASP.NET
Captain Kirk sets phaser to SLAUGHTER after trying new Facebook app
William Shatner less-than-impressed by Zuck's celebrity-only app
Apple fanbois SCREAM as update BRICKS their Macbook Airs
Ragegasm spills over as firmware upgrade kills machines
Cheer up, Nokia fans. It can start making mobes again in 18 months
The real winner of the Nokia sale is *drumroll* ... Nokia
Mozilla fixes CRITICAL security holes in Firefox, urges v31 upgrade
Misc memory hazards 'could be exploited' - and guess what, one's a Javascript vuln
Put down that Oracle database patch: It could cost $23,000 per CPU
On-by-default INMEMORY tech a boon for developers ... as long as they can afford it
Google shows off new Chrome OS look
Athena springs full-grown from Chromium project's head
Apple: We'll unleash OS X Yosemite beta on the MASSES on 24 July
Starting today, regular fanbois will be guinea pigs, it tells Reg
prev story

Whitepapers

Top three mobile application threats
Prevent sensitive data leakage over insecure channels or stolen mobile devices.
Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Boost IT visibility and business value
How building a great service catalog relieves pressure points and demonstrates the value of IT service management.
Designing a Defense for Mobile Applications
Learn about the various considerations for defending mobile applications - from the application architecture itself to the myriad testing technologies.
Build a business case: developing custom apps
Learn how to maximize the value of custom applications by accelerating and simplifying their development.