Extensions¶
Support more types in the library¶
Support for enum libraries¶
Currently, support for the following enum reflection libraries is provided:
Adding a new enum library usually requires only two things:
a compile-time check
is_xxx_enum, to conditionaly enable the indexeran helper type, which will transform the enum into a compile time list of all enum values
Compile-time safe indexing using safe_numerics¶
Since anything can be used as an index, it is possible to
use safe_numerics (web
page)
to gain compile time check of array accesses. This requires writing
a custom indexer for safe_range.
An example of such an indexer is provided in the indexed_array/safe_numerics.hpp
header file:
-
template<int min, int max>
struct safe_signed_range_indexer¶ Indexer that will allow using a safe_numics::safe_signed_range as the index. This allows some compile-time checking of the indexes in certain circunstances.
- Template Parameters
min – The minimum value for the range
max – The maximum value for the range
Indexed array and perfect hashing¶
Despite being inherently an array, indexed_array has some properties
that resembles a map. The main difference with a map is that only values
are stored, but because it does actually a mapping between a key and an
index, it can virtually be used with anything as a key.
If you have a perfect hashing function, which maps a set of n values in
the range [0..n-1], then it can be used as the indexer to create an
indexed_array. It can be used, for example, to index an
indexed_array with a set of known strings (as string_view).
Such uses show the versatility the design of indexed_array offers,
but providing such an indexer is clearly outside the scope of the
library.