Czas kompilacji typeid bez RTTI z GCC

Question

Czy mimo to można uzyskać informację o kompilacji typeid z GCC z wyłączonym RTTI? Pod Visual Studio, proste polecenie, takie jak const char* typeName = typeid(int).name(); odpowiednio zwróci "int", nawet jeśli RTTI jest wyłączone. Niestety GCC nie może zrobić tego samego. Kiedy próbuję wywołać typeid bez RTTI, mój program ulega awarii. Wiem, że wyłączenie RTTI nie jest częścią standardu, ale czy mimo to mogę wymusić GCC, aby wykonał kompilację czasową znanych typów?

Usługa RTTI jest wyłączona ze względu na wydajność. Nie potrzebuję RTTI środowiska wykonawczego.

Edit:

Oto co się dzieje z zakończonych:

template<typename T> const char* TypeName(void); 
template<typename T> const char* TypeName(T type) { return TypeName<T>(); } 

#define REFLECTION_REGISTER_TYPE(type) \ 
    template <> const char* TypeName<type>(void) { return #type; } 

Wymaga ona REFLECTION_REGISTER_TYPE nazwać dla każdego typu, który potrzebuje informacji refleksji. Ale tak długo, jak jest to wymagane dla każdego wymaganego typu, wywołanie TypeName<int> działa idealnie. Dodałem także funkcję TypeName(T type), co oznacza, że ​​możesz wykonać następujące czynności: int x = 0; printf(TypeName(x)); i wydrukuje "int". GCC powinien naprawdę być w stanie to zrobić w czasie kompilacji, tak jak VC++.

Answer 1

Nr RTTI to RunTime Informacja o typie (i wyłączenie go jest głupie, ale hej), i to jest celem typeid. Jeśli chcesz sklasyfikować nazwy typów w czasie kompilacji, musisz zrobić to sam (za pomocą szablonu lub makr).

Answer 2

GCC obsługuje operator czasu kompilacji z typeof.

Answer 3

Po pierwsze, włącz ponownie RTTI.

Jeśli nie, naprawdę * naprawdę * trzeba uzyskać reprezentację ciągów typu bez niego, z małą manipulacją ciągami i starannym rozważeniem faktu, że piszesz niestandardowy kod, który może przerwać, jeśli uaktualnisz GCC, zmienisz platformy lub użyjesz innego zestawu opcji, możesz go sfałszować.

#include <iostream> 
#include <string> 

std::string extract_type_name(const char* s) { 
    //add logic her 
    return s; 
} 

template<typename T> 
std::string type_name() { 
    static std::string s = extract_type_name(__PRETTY_FUNCTION__); 
    return s; 
} 

int main() { 
    std::cout << type_name<int>() << " " << type_name<std::string>() << std::endl; 
} 

Wyjście z tej funkcji na ideone jest

std::string type_name() [with T = int] 
std::string type_name() [with T = std::basic_string<char, std::char_traits<char>, std::allocator<char> >] 

Zakładając, że __PRETTY_FUNCTION__ zachowuje się tak samo z RTTI wyłączony, szarpiąc się z T = blah kawałek nie powinno być zbyt trudne.

Należy również pamiętać, że typeid(blah).name() oferuje bardzo niewiele gwarancji ... Pamiętam, że używam go na jednej platformie, gdzie wynik dla dowolnego typu zdefiniowanego przez użytkownika był po prostu struct. Niezbyt przydatne. Poleganie na nim jest słabe nawet przy włączonym RTTI [co powinieneś zrobić w każdym razie].

Answer 4

Jest inne rozwiązanie z jego zalet i wad:

typedef void* TypeId; 
template<class T> 
TypeId TypeIdNoRTTI() //this function is instantiated for every different type 
{ 
    //WARNING: works only inside one module: same type coming from different module will have different value! 
    static T* TypeUniqueMarker = NULL; //thus this static variable will be created for each TypeIdNoRTTI<T> separately 
    return &TypeUniqueMarker; //it's address is unique identifier of TypeIdNoRTTI<T> type 
}