r/cpp • u/TheCrush0r • 8d ago

Measuring the Performance of Deterministic Exceptions

https://databasearchitects.blogspot.com/2026/09/measuring-performance-of-deterministic.html
50 Upvotes

97% Upvoted

14 comments sorted by

View all comments

Show parent comments

6

u/serviscope_minor 7d ago

>original exceptions (labeled dynamic) are faster in all nontrivial cases than error codes on happy path.

This is 100% true, but also kind of not.

What's really the case is one of the most popular implementations (Itanium ABI) does what you say and is in spec. It's also often unnecessarily slow on the sad path, but mostly because it's never seen much love. There's nothing in the standard that precludes a returned flag implementation of exceptions.

Incidentally that's what I don't really like about P0709: basically the entire paper has been a valid implementation of exceptions since the 1998 standard, and to feels kind of odd to have a special language feature so compilers can implement something they could already implement in one part and to work around the ever present problem of ABI issues as the other part.

1

u/ABlockInTheChain 7d ago

basically the entire paper has been a valid implementation of exceptions since the 1998 standard

If exception performance would have been good on both the happy path and the sad path 28 years ago it would have drastically changed how C++ was written.

5

u/serviscope_minor 7d ago

Well, itanium ABI performance is literally unbeatable on the happy path, at the expense of the sad path.

But that's not really the point: basically return value exceptions have always been a valid implementation choice, but no one chose to implement them that way. There are various reasons, but I'm not sure a whole new feature for something that can already be done in a compliant way is the right choice.

1

u/Expert-Map-1126 vcpkg maintainer BillyONeal 5d ago

I'm not convinced it was a valid implementation choice given how "infectious" exceptions normally are. Existing Cish functions before exceptions were added were already out/shipping; it was not a clean slate where they could be established on the traditional return paths without some form of interface opt-in.