Skip to main content

You Rarely Need Custom Exceptions

Implementing custom exceptions usually gives a hint as to why you rarely need custom implementations. They are often nothing more than sub classes where the only difference is the type name and containing message.

In this C# example there is a lot of code for nothing. When checking logs or handling bugs you will read the message and the stack trace. The first line containing a bespoke name rarely matters. Within the code throwing the exception very little context is gained from the type of exception - instead most of the details will be present within the error message.

Each custom exception you introduce adds overhead from source lines of code (SLOC) to compilation and execution.

Alternative

Simply do not create custom exceptions except in the rarest of occasions. Instead rely on the standard library of the language you are using.

Take Python as an example [Video]. ~200,000 lines of code yet only ~165 exceptions. This works out at about one exception for ~1200 lines of code.

If battle hardened and widely used standard libraries need only a fraction of the amount of custom exceptions, what makes your tiny CRUD app so special that it needs a namespace dedicated to handfuls of bespoke implementations?

Example

Rather than throwing NoBlogPostsFoundException use a HttpException with a useful message. Instead of BlogPostConfigurationException use ConfigurationErrorsException. Trying to add a comment to a post that is not published? Use an InvalidOperationException.

The downside to this suggestion is knowledge. You need to know what exception to use and more importantly where to find it. Consulting documentation or simple digging around will often yield what you need. As a rule try and default to reusing an exception over creating a new one.

The benefit of this approach is less code, and the removal of placeholder classes where the only thing that differs is the message. To ensure nothing is lost in communicating intent, care must be taken to ensure the message is useful, concise and clear.

Custom Exceptions

There are two exceptions (see what I did there) to this rule.

  1. When you explicitly need to handle a certain scenario and you cannot allow other unhandled exceptions to trigger that code path. In this case a custom exception may be valid. As usual question whether an exception is necessary at all, it may be possible to control this with an explicit code path.
  2. When the exception has some form of behaviour. This tends to be common with frameworks where when an exception of type X changes the flow but also carries out some action such as building up an error response.

In these cases this behaviour belonging with the exception makes sense. Generally most code bases treat exceptions equally. In other words any exception triggers a failure path, meaning the type of the exception does not matter in most cases.

Lessons

  • Reuse exceptions from the standard library, chances are there is one fit for the job already.
  • Only introduce custom exceptions if the scenario is exceptional and needs to be handled uniquely.
  • Put effort into ensuring the message of an exception is useful - messages and the stack trace are the most important elements.

Comments

Popular posts from this blog

Three Steps to Code Quality via TDD

Common complaints and problems that I've both encountered and hear other developers raise when it comes to the practice of Test Driven Development are: Impossible to refactor without all the tests breakingMinor changes require hours of changes to test codeTest setup is huge, slow to write and difficult to understandThe use of test doubles (mocks, stubs and fakes is confusing)Over the next three posts I will demonstrate three easy steps that can resolve the problems above. In turn this will allow developers to gain one of the benefits that TDD promises - the ability to refactor your code mercifully in order to improve code quality.StepsStop Making Everything PublicLimit the Amount of Dependencies you Use A Unit is Not Always a Method or ClassCode quality is a tricky subject and highly subjective, however if you follow the three guidelines above you should have the ability to radically change implementation details and therefore improve code quality when needed.

DRY vs DAMP in Tests

In the previous post I mentioned that duplication in tests is not always bad. Sometimes duplication becomes a problem. Tests can become large or virtually identically excluding a few lines. Changes to these tests can take a while and increase the maintenance overhead. At this point, DRY violations need to be resolved.SolutionsTest HelpersA common solution is to extract common functionality into setup methods or other helper utilities. While this will remove and reduce duplication this can make tests a bit harder to read as the test is now split amongst unrelated components. There is a limit to how useful such extractions can help as each test may need to do something slightly differently.DAMP - Descriptive and Meaningful PhrasesDescriptive and Meaningful Phrases is the alter ego of DRY. DAMP tests often use the builder pattern to construct the System Under Test. This allows calls to be chained in a fluent API style, similar to the Page Object Pattern. Internally the implementation wil…

Coding In the Real World

As a student when confronted with a problem, I would end up coding it and thinking - how do the professionals do this?For some reason I had the impression that once I entered the industry I would find enlightenment. Discovering the one true way to write high quality, professional code.It turns out that code in industry is not too far removed from the code I was writing back when I knew very little.Code in the real world can be:messy or cleanhard or easy to understandsimple or complexeasy or hard to changeor any combination of the aboveVery rarely will you be confronted with a problem that is difficult. Most challenges typically are formed around individuals and processes, rather than day to day coding. Years later I finally have the answer. Code in the real world is not that much different to code we were all writing when we first started out.If I could offer myself some advice back in those early days it would be to follow KISS, YAGNI and DRY religiously. The rest will fall into plac…

Feature Toggles

I'm a fan of regular releasing. My background and experience leads me to release as regularly as possible. There are numerous benefits to regular releases; limited risk, slicker release processes and the ability to change as requirements evolve.The problem with this concept is how can you release when features are not functionally complete?SolutionIf there is still work in progress, one solution to allow frequent releases is to use feature toggles. Feature toggles are simple conditional statements that are either enabled or disabled based on some condition.This simple example shows a feature toggle for an "Edit User" feature. If the boolean condition is false, then we only show the "New User" feature and the "Admin" feature. This boolean value will be provided by various means, usually a configuration file. This means at certain points we can change this value in order to demonstrate the "Edit User" functionality. Our demo environment could …

Reused Abstraction Principle

This is the second part of my series on abstractions.Part 1 - AbstractionsPart 3 - Dependency Elimination PrincipleThe Reused Abstraction Principle is a simple in concept in practice, but oddly rarely followed in typical enterprise development. I myself have been incredibly guilty of this in the past.Most code bases have a 1:1 mapping of interfaces to implementations. Usually this is the sign of TDD or automated testing being applied badly. The majority of these interfaces are wrong. 1:1 mappings between interfaces and implementations is a code smell.Such situations are usually the result of extracting an interface from an implementation, rather than having the client drive behaviour.These interfaces are also often bad abstractions, known as "leaky abstractions". As I've discussed previously, these abstractions tend to offer nothing more than simple indirection.ExampleApply the "rule of three". If there is only ever one implementation, then you don't need …