Comparison of Alternatives¶
There are plenty of other open source C++ units libraries, many quite well established. However, the tradeoffs required to use these libraries can be so significant that many people can’t or won’t use them. For example: the compiler errors may be inscrutable or overwhelming; the compilation process may become unacceptably slow; or, the required C++ standard may simply be too new for a user.
Au is an accessible, production-tested alternative. We provide a number of rare or outright novel features, with a small compile time footprint — and we’re compatible with every C++ version back to the mature and widely available C++14 standard. Key features include:
- Fully unit-safe APIs, on both entry and exit.
- The “safety surface”: conversions that adapt to the overflow risk based on both conversion magnitude, and storage type.
- Highly composable “quantity maker” APIs make it easy to both compose new units, and apply unit prefixes, on the fly.
- Human-readable and concise compiler errors, via strong typenames for units.
- The
Zero
type: novel, fluent handling of construction, comparison, and sign handling for quantities. - Ease of migration (both to and from Au): with minimal setup, we support bidirectional implicit conversions with equivalent types from any other units library.
- Support for single-header-file delivery, but with easy customization of units and features to include.
- Proven track record supporting embedded applications as first class citizens, via such features as
our safe handling of integer Rep, treating all Reps on equal footing, and our easy ability to
exclude expensive
<iostream>
support. - Intelligent, unit-aware functions for rounding and computing inverses.
- Minimal friction by using a single, short namespace: everything’s in
au::
.
Detailed comparison matrices¶
Here’s a more detailed comparison to the most prominent alternatives. We’ll use the following legend1:
Legend | Lacks feature / poor support |
Fair / basic support |
Good / solid support |
Best support (of libraries considered here) |
---|
Obtaining the library¶
These are the first criteria to consider. They will tell you whether you can even use the library at all, and if so, how hard it will be to obtain.
Boost | nholthaus | mp-units | Au | |
---|---|---|---|---|
C++ Version CompatibilityThe minimum C++ standard required to use the library. |
C++98 or C++03 (unclear which, but best in either case) |
C++14 | C++20 | C++14 |
Ease of AcquisitionEase of including this library in projects using a wide variety of build environments |
Part of boost | Single, self-contained header | First class conan support; available on vcpkg |
Supports single-header delivery, with features:
|
Note
These ratings are written with all users and projects in mind. Keep in mind that what matters for you is your project.
For example: mp-units gets low accessibility ratings because of its steep C++20 minimum requirement, and its dependence on a package manager to make the installation easy. However, if your project is already compatible with C++20, and already uses conan, then these “low” ratings would be completely irrelevant for you.
Generic developer experience¶
Next: how will this library change the generic developer experience? Leaving aside any library features, conventions, or implementation strategies, there are two main impacts to developer experience.
-
Your program will take longer to compile, because the compiler is doing more work to produce essentially the same program.
-
You will get more compiler errors that developers will need to understand and fix.
These costs can bring significant benefits, but we still want them to be as small as possible.
Boost | nholthaus | mp-units | Au | |
---|---|---|---|---|
Compilation SpeedThe extra time the library adds to compiling a translation unit, compared to no units library.
|
Very slow, but can be greatly improved by removing I/O support and most units | Possibly "best", but will need to assess all libraries on the same code | ||
Compiler Error ReadabilityThe ability to understand errors when the library catches a mistake it was designed to catch.
|
Infamously challenging | Positional dimensions | Pioneered strong typedefs for units |
|
Library features¶
At this point, you’ve assessed:
- whether you can use each library at all;
- how hard it will be to add to your project;
- and, what costs you’ll pay in developer experience if you do.
Now we’re ready to compare the libraries “as units libraries” — that is, in terms of their core features.
Boost | nholthaus | mp-units | Au | |
---|---|---|---|---|
Conversion SafetyGuarding against unit conversions that are likely to produce large errors. (For example: we can convert an integer number of feet to inches, but not vice versa.) |
Integer Reps unsafe |
Policy consistent
with std::chrono library
|
Automatically adapts to level of overflow risk | |
Unit SafetyThe ability to judge the unit-correctness of every individual line of code by inspection, in isolation.
|
Only contains unit-safe interfaces | |||
Low FrictionHow easy it is to develop with the library. Criteria include:
|
|
|
||
ComposabilityThe ability to fluently combine the abstractions for units and prefixes to form new units on the fly. |
Prefix only | No | Quantity References compose; prefixes don't | QuantityMaker and PrefixApplier APIs |
Mixed-Rep SupportThe ease of freely mixing different storage types ("Reps") in the same program. |
Possible, but user-facing types use a global "preferred" Rep. | |||
Generic DimensionsThe ability to write (template) functions that operate on any dimensionally consistent inputs. (For example, a function that takes any length and time quantities, and returns the appropriate speed quantity.) |
Generic templates, constrained with traits | Generic templates, constrained with traits | Concepts excel here | Currently clunky. Could be better by adding concepts in extra C++20-only file, without compromising C++14 support. |
ExtensibilityHow easy it is to add new units, dimensions, or systems. |
Can add new units and dimensions |
|
Can even handle, e.g., systems of "natural" units | Can add new units and dimensions |
Ease of MigrationSupport for two migration use cases:
|
No interop with other units libraries | No interop with other units libraries |
quantity_like_traits
|
"Equivalent types" feature gives more API compatibility |
Point TypesSupport for "point-like" quantities, also known as "affine space types". |
absolute
wrapper for unit
|
Optional "offset" for units, but can't distinguish quantity from point. | ||
MagnitudesThe features of the representation for different units' sizes. Key features include:
|
Close: lacks only irrationals, basis, and instance arithmetic. Ahead of its time! | Uses ratio plus "pi powers": good angle handling, but vulnerable to overflow | Full support for Magnitudes | Formerly, Au alone was best, but we shared Magnitudes with mp-units |
Embedded FriendlinessSupport common embedded use cases. Key examples include:
|
Assumed to be good, based on mixed-Rep support |
Can trim by excluding <iostream> , but integer-Rep support is poor.
|
Assumed to be good, based on mixed-Rep support |
Best choice of all:
|
User-defined literals (UDLs)Concise expressions such as `3_m` for "3 meters", or some comparable alternative.
|
UDLs | UDLs and Quantity References | Planned to add: #43 | |
Rep VarietyThe range of different storage types ("Reps") permitted.
|
Supports custom numeric types | Effectively floating-point only (integer types unsafe) | Well defined Representation concept |
|
Zero
Quantity support for constructing from, and comparing with, |
Guidance: use default constructor to construct, but no special facility for comparison | Supports copysign() , but no special construction or comparison |
Has q::zero() member, but no special construction or comparison |
Can use ZERO to construct or compare any quantity |
AnglesFirst-class support for angular quantities, including degrees and radians. |
Curiously imprecise pi value | |||
Non-linear scales (such as dB)Support for logarithmic "units", such as decibels or nepers |
Plan to support someday; see #41. | |||
"Kind" TypesSupport for distinguishing different "kinds" of the same dimension, such as a length from a width. |
No plans to support. | |||
Explicit Systems of MeasurementSupport for different systems, each with their own (possibly incompatible) collection of dimensions. |
Single, implicit global system | Single, implicit global system. (Intentional design tradeoff: reduces learning curve, and makes compiler errors shorter.) | ||
Units as typesTypes that represent abstract units (clearly distinct from quantities of that unit). |
Types exist, but conflated with quantity names | Can form instances and do arithmetic | ||
Macro UsageAvoidance of macros, especially in user-facing code. |
Present in user-facing APIs | Present in user-facing APIs | Confined to outer compatibility layer | No macros |
-
Users may have expected a “traffic light” style, green/yellow/red color scheme. However, these traditional color schemes have poor accessibility for colorblind readers. The present color scheme was designed to be colorblind-friendly. ↩