Transforming C++ ABI identifiers (like RTTI symbols) into the original C++ source identifiers is called “demangling.”
If you have read the source
documentation for namespace abi then you are
aware of the cross-vendor C++ ABI in use by GCC. One of the
exposed functions is used for demangling,
abi::__cxa_demangle.
In programs like c++filt, the linker, and other tools have the ability to decode C++ ABI names, and now so can you.
(The function itself might use different demanglers, but that's the whole point of abstract interfaces. If we change the implementation, you won't notice.)
Probably the only times you'll be interested in demangling at runtime
are when you're seeing typeid strings in RTTI, or when
you're handling the runtime-support exception classes. For example:
#include <exception>
#include <iostream>
#include <cxxabi.h>
struct empty { };
template <typename T, int N>
struct bar { };
int main()
{
int status;
char *realname;
// exception classes not in <stdexcept>, thrown by the implementation
// instead of the user
std::bad_exception e;
realname = abi::__cxa_demangle(e.what(), 0, 0, &status);
std::cout << e.what() << "\t=> " << realname << "\t: " << status << '\n';
free(realname);
// typeid
bar<empty,17> u;
const std::type_info &ti = typeid(u);
realname = abi::__cxa_demangle(ti.name(), 0, 0, &status);
std::cout << ti.name() << "\t=> " << realname << "\t: " << status << '\n';
free(realname);
return 0;
}
This prints
St13bad_exception => std::bad_exception : 0
3barI5emptyLi17EE => bar<empty, 17> : 0
The demangler interface is described in the source documentation linked to above. It is actually written in C, so you don't need to be writing C++ in order to demangle C++. (That also means we have to use crummy memory management facilities, so don't forget to free() the returned char array.)
d11 1 a11 1 If you have read the source d66 1 a66 1 3barI5emptyLi17EE => bar<empty, 17> : 0 d74 1 a74 1
d11 1 a11 1 If you have read the source d66 1 a66 1 3barI5emptyLi17EE => bar<empty, 17> : 0 d74 1 a74 1
d11 1 a11 1 If you have read the source d66 1 a66 1 3barI5emptyLi17EE => bar<empty, 17> : 0 d74 1 a74 1