strtype

C++20 support for stringifying enums and typenames at compile time (with constraints) for The Big Three compilers (GCC, CLang, and MSVC).

How it works

(Ab)using the compiler injected macro/extension __FUNCSIG__ or __PRETTY_FUNCTION__, at compile time parse the resulting string to extract the enum value or typename. In the case of enum values we will be rejecting entries that do not point to named values.

I don't take responsibity for when this breaks, compiler provided macros and extensions can always be changed, but as of writing (and looking at historical behaviour of these 2 values) they appear to be pretty stable. As of now none of the code goes explicitly against the standard, nor relies on UB (aside from the compiler specific macro/extension usage) and so I foresee this to keep working for some time.

Limitations

These limitations really only apply to enums, typenames do not have any limitations aside from recovering alias names. Due to how the compilers interact with alias typenames they are substituted before we can recover that information.

The enum types are currently restricted to anything that satisfies std::is_integral, and std::is_scoped_enum. The integral limitation isn't really needed, it just lowers the potential oversight of unforeseen issues. Feel free to implement the std::is_arithmetic constraint, add tests, and make a PR if you're up for it!

Search depth: As we need to iterate over all potential values that are present in the enum, and as iterating over the entire 2^n bits of the underlying type is too heavy; we limit the search depth by default to 1024, and offer 2 different iteration techniques (strtype::sequential_searcher, and strtype::bitflag_searcher). Both of these are tweakable, see the following section for info on how to do so.

CLang has a further limitation of how many times a fold expression can be expanded (256). We have a small workaround for this implemented in the strtype::sequential_searcher (one layer of indirection), but it means when the range exceeds 255 * 255 on CLang, the compilation will fail unless this limit is increased.

Duplicate named values (i.e. multiple enum names on the same value) will only fetch the first name it sees. So when the following enum is defined:

enum class foo {
    bar,
    tan = bar,
    cos,
    sin,
};

The output will be an array of { "bar", "cos", "sin" }, notice the missing "tan" (see this on godbolt). This is because during compilation is considered an alias of , and will be substituted. There is no way of recovering this information.

Usage & customization points

The two entry functions into stringifying your enums/types are strtype::stringify<TYPE/VALUE>() and strtype::stringify_map<YOUR_ENUM_TYPE>(). The first function will return you an std::array<std::string_view> if given an enum type, otherwise when given an enum value it will return you a std::string_view representation of the enum value. In the case of the array return the values are sorted based on the underlying enum values. The stringify_map function will return you a compile and runtime searchable associative container where you can search for the enum value based on its string representation and vice-versa.

Your enums should either come with a _BEGIN/_END sentinel values in the enum declaration, or you should specialize the strtype::enum_information customization point (see example section). Note that both the specialized END and the embedded _END act as inclusive limits to the range. This means unlike normal ranges, which are exclusive ranges, the endpoint is used as the last value. This is the mathematical difference of [0,10] (range of 0 to 10, inclusive) and [0,10) (a range of 0 to 9, excluding 10). This was done for convenience so that users don't need to define END as END = some_value + 1. This is only the case when within the enum declaration scope, or when END is set as an instance of the enum type object; if it's set as its underlying type then it behaves like an exclusive range limitter again.

By default the search iterations is limited to 1024, this means if the difference between the first and last enum value is larger than that, you'll either have to specialize strtype::enum_information for your type, or globally override the default value by defining strtype_MAX_SEARCH_SIZE with a higher value.

Lastly the search pattern. There are 2 provided search patterns strtype::sequential_searcher and strtype::bitflag_searcher. Both will search from _BEGIN to _END, but have a different approach.

• sequential_searcher: iterates over the range by adding the lowest integral increment for the underlying type from BEGIN to END.
• bitflag_searcher: iterates over the range by jumping per bit value instead (so an 8bit type will have 8 iterations, one for every bit + the 0 value). Combinatorial values are not searched for. For example if there is a value at 0x3, which would be both first and second bit set, it would be skipped.

You can provide your own searcher, as long as it satisfies the following API:

struct custom_searcher {
  template<typename T, auto Begin, auto End>
  consteval auto max_size() const noexcept -> size_t { /* return the theorethical max value for your enum type */ }

  template<typename T, auto Begin, auto End>
  consteval auto operator() const noexcept -> std::array<std::string_view, /* size must be calculated internally */>
};

See strtype::sequential_searcher, or strtype::bitflag_searcher for example implementations. Note that at least the sequential_searcher has some compiler specific performance optimizations and workarounds which do complicate the code a bit.

Examples

compile time stringify an enum ([godbolt](https://godbolt.org/#z:OYLghAFBqd5QCxAYwPYBMCmBRdBLAF1QCcAaPECAMzwBtMA7AQwFtMQByARg9KtQYEAysib0QXACx8BBAKoBnTAAUAHpwAMvAFYTStJg1DIApACYAQuYukl9ZATwDKjdAGFUtAK4sGIM6SuADJ4DJgAcj4ARpjE/lykAA6oCoRODB7evv5JKWkCIWGRLDFxZgl2mA7pQgRMxASZPn4BldUCtfUEhRHRsfG2dQ1N2a1D3aG9Jf3lAJS2qF7EyOwc5gDMocjeWADU5mYIBASJCiAA9OfETADuAHTAhAheUV5Ky7KMBHdoLOcAUpgFAoAJ4AESC5wUBAaIMSmHOWAAbuctjsEdDYfCoTCCHDMHcEIlEgcTBoAIJk8mMHy7bZMYG7fiofYAdisFN2uyi9VIuzqDD5aAUfNSgqpJlZYJM6w5lIpzDYCkSTBWu0xePhbLlXIImBYiQMeplbhl2CpXMxXgcuxpLAA%2BqF%2BMQWExHAITcyzdqLVzdm9QsBdkJsOSAEpuAAS2DD%2B3WYPVuPxIBASgAjl4vngxPalPVkAhYjKdX7oW68Mg6QJoZhVIliLsmF4iLsLNgAOIASXCfr9kosTNQqBTPIbkulst9lrqjkraAYNbrDabLew4QTvb77MHw9ToTZE5LXMuifLc%2BreqX6rwAC9MPaCLsALLkgAa9pD4ajH87AC1sNquxmBokgABwHsWuwnqgiTuswtC0CCuyoEisTEHgewEIW6qYPmCDXnefJYXgCi7CRDBgBwj5hJgWDoP6DD0IyIKLLsCCEPy2G0HgLCEHcvrjsWEpShKFKhI%2BrqhBAsw%2BpyVYLpe9aNs2LJImImakTKCYasmqYwoGeBUCCnpDma0lCXJZazvaDLvAQEBqd4QImAArBYGiuQmWlafsZhmKOByzBZ5JcsQmAEEsDC7B5k4UuOHDzLQnAubwfgcFopDDhwpqWNY6qLMsmC%2BesPCkAQmgJfMADW/isncoFmAAnKBkjlOsLmNY1ABsXAJElHCSKlFWZZwvBnBoZUVfMcCwDAiAoKgBp0LE5CUL8iTLXEwAKMwpwIKgBCkMiFaYAAangmA3AA8vCaWlTQtB6sQZwQFEw1RKE9QgpwpW/GwghXYx33pbwWCukY4gg0deBhdUqFnFDtZVM2qyleJmD9Rl3FRNcxAgh4WA/bw%2BksET8xUAY23nZdN2METMiCCIYjsFwAT8IIigqOoUO6H1hjGNY1j6HgURnJA8wwXBCMALTQugWmmLlljAbs0tXesY0Y1UcEuAw7ieM0ejBJMxSlHoySpHBIx%2BAkFv5AwPSm/0FRa%2B0DCdMMBvZC79hwR7ExFH0cQVOM1t6GWDSO0HEjzAoBUrDH%2BjJUNUNZbsqigV10tdZIuzAMglYQDCXgMFVMkQLghAkMVXCzMTU3zIWTBYHE0mkDVXAufVPV%2BWYLmSBofmspI3VJwNvCk11Zh3FwGi9V1rIlS5XCssvpBpRlWVjSAE3lSD01zRASBI8gKlkBQED1NtyiGBjQj7Tcd28OtdDlgIN9hLQ9%2BoI/w0v/QW0dpMD2gdUg/9YhXWbN/X%2BiNVBVHJMQbao1AhwOQLUfAaVeDs2EKIcQUgGbyCUGoYauh1j6H5igQWlhhai3gBLWC6QZZywVlQiwwExrxxZoMDBH874PyfmVMKqNeA3GuIkMmY8Urr2GllbAqCz7p0ztnXO%2BdC7F1LuXHKVhqG7ErkQMcZgSp10mvvRuuEW6UESpwQapBSbrDqqBZqoF1hmC6i1BqI9pGp2QeNExWhZjVX8JIO4jUzAtXWOsDQU8zCSAiQEfqGsvGb2QXvfxpAZpQEPkgcB581qLQ2gAlABgjAPmICXKqR1MBIhOtTa6t16YPSei9N6UMPrMDxvTP6XxAaIWGmDfmkMMr4Fho4eGw0T4o3pujTGvBsa43xhgYRgieISIpkwKmF06l024Fg2QTM8Fs1kJzYhPMQBkOKQLJWNhsZizbpLRhnBZYEHlvGRW2i2EaFVurTWvt0i631lkG2gQ9ZR2mMHXIlt0hh1tnkOCoKzY%2B21jUUOXsgVtD9uMeFztBhdGhTiyOJto61wWEsBOxL%2BpSI3rwNOGcs45zpBc3YRcykaKZXo6uGxa711MaQJuFi241ViXcfurMXL90ai5KJTVWRjxsZPaes956L07ivNeVKRocG3rvKa6SskgAmfo1al9EEKF4V/fhnT8mvzgma6B6qclFP5qU8pYCrUAMgcIC1OyUHwJNcgk%2B6DQjIOwfslm0hsHHO5hlXm5CjCUKuTQ259CpaPOYa81h7CSWFXDs80ItqvWlRhJgJZojgESIpSnZJHA5HI30Youlud6RGCZeosuTKtFC10fgOtnLjGpMqry8x/Q279TlWchxTiXFuLAjExqSTqU%2BJ3n4gdNU/LCo0P3Pu9jWRmFZKBFy6xQJj0Seqrey6D7wAyUfBaS0AFGodUiZAxJ7RIi4I1e0RogQEHtKoHOlTqkrFqbTARjTYjNPep9Dp3qukAyBn0/UAzVhDJhkisZsDa1LOmcNOZX0CZIeJuhUmOzyaUwUEB%2Bp3qQ24LDQQyNJCQDSAufG95ia6GZQYdWTgOJ0DMesCrc4V0zBQTBOubAFg5Dtigr%2BPAUF2xIXOO2AAYlBK6ygAAqIBOxuGUwJ9TIAwzYB049ZAwAflIucBAVweLjaBzBebWFULUX2chQUQldnEVu39ni9FyKuhYvBRHRoTmQ5%2Bbcwi2OnDE4VvnRq9O9KWAKEfbsV9jU7ifuhGy7tHLDFcvPYEiJdwIlFeKyV2VE8QBTxnnPLgC8l6qoSKexd2r966svcfeRhqL5X1Nbfc1P8BH/zfgwfN/W/5uv6I%2B59KWP1ui/T%2Bv9OSPV2