Печать шаблона typename во время компиляции

Question

При создании функции шаблона в C++ существует ли простой способ иметь имя шаблона, представленного в виде строки? У меня есть простой тест, чтобы показать, что я пытаюсь сделать (обратите внимание на код, показанный не компилируется):

#include <stdio.h> 
template <typename type> 
type print(type *addr) 
{ 
    printf("type is: %s",typename); 
} 

int main() 
{ 
    int a; 
    print(&a); 
} 

// Would like to print something like: 
// type is: int 

Я думаю, что имяТип должен быть доступен во время компиляции, когда функция конкретизируются, но Я не знаком с шаблонами, и я не видел способа получить typename как строку.

Причина, по которой я хочу сделать это, для некоторой отладки типа printf. У меня много потоков, и переход через gdb меняет поведение программы. Поэтому для некоторых вещей я хочу сбросить информацию о том, какие функции выполнялись. Это не слишком важно, поэтому, если решение слишком сложно, я бы пропустил добавление этой информации в мою функцию регистрации. Но если бы был простой способ сделать это, это была бы полезная информация.

Answer 1

__PRETTY_FUNCTION__ должен решить проблему (во время выполнения, по крайней мере)

выход на следующей программу:

asfdasdfasdf test<type>::test() [with type = int] 
asfdasdfasdf test<type>::test() [with type = int] 
asfdasdfasdf test<type>::test() [with type = int] 
asfdasdfasdf test<type>::test() [with type = int] 
asfdasdfasdf test<type>::test() [with type = int] 
asfdasdfasdf test<type>::test() [with type = int] 
asfdasdfasdf void tempFunction() [with type = bool] 
asfdasdfasdf void tempFunction() [with type = bool] 
asfdasdfasdf void tempFunction() [with type = bool] 
asfdasdfasdf void tempFunction() [with type = bool] 
asfdasdfasdf void tempFunction() [with type = bool] 
asfdasdfasdf void tempFunction() [with type = bool] 
!!!Hello World!!! 

Если вы действительно, действительно, нужно TypeName как строка, вы могли бы взломать это (с помощью snprintf вместо printf) и потяните подстроку после '=' и до ']'.

#include <iostream> 
using namespace std; 

template<typename type> 
class test 
{ 
public: 
test() 
{ 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
} 
}; 

template<typename type> 
void tempFunction() 
{ 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
    printf("asfdasdfasdf %s\n", __PRETTY_FUNCTION__); 
} 

int main() { 
    test<int> test; 

    tempFunction<bool>(); 
    cout << "!!!Hello World!!!" << endl; // prints !!!Hello World!!! 
    return 0; 
} 

Answer 2

Поскольку вы сказали, что вам понадобится это для цели отладки, возможно, решение для выполнения также приемлемо. И вы отметили это как g ++, чтобы не было стандартного соответствия.

Вот что это означает:

#include <cxxabi.h> // the libstdc++ used by g++ does contain this header 

template <typename type> 
void print(const type *addr) // you wanted a pointer 
{ 
    char * name = abi::__cxa_demangle(typeid(*addr).name(), 0, 0, NULL); 
    printf("type is: %s\n", name); 
    free(name); 
} 

print(new unsigned long); // prints "type is: unsigned long" 
print(new std::vector<int>); // prints "type is: std::vector<int, std::allocator<int> >" 

EDIT: исправлена ​​утечка памяти. Тх к Джесси.

Answer 3

, если у вас есть известный набор типов используется экземпляр шаблона можно использовать подход, описанный в этой старой теме: stackoverflow.com/questions/1055452

Answer 4

Существует библиотека Boost.TypeIndex.

Подробнее см. Boost :: typeindex :: type_id.

Это очень простой в использовании, кросс-платформенный и является реальным компиляционным решением. Также он работает, даже если RTTI не доступен. Кроме того, большинство компиляторов поддерживается из коробки.

Answer 5

Чтобы получить полезное имя время компиляции:

Предположив у вас есть какой-то неизвестный тип с именем «T». Вы можете заставить компилятор напечатать его тип, используя его ужасно. Например:

typedef typename T::something_made_up X; 

Сообщение об ошибке будет, как:

error: no type named 'something_made_up' in 'Wt::Dbo::ptr<trader::model::Candle>' 

бит после того, как 'в' показывает тип. (Только тестирование с clang).

Другие способы запуска его:

bool x = T::nothing; // error: no member named 'nothing' in 'Wt::Dbo::ptr<trader::model::Candle>' 
using X = typename T::nothing; // error: no type named 'nothing' in 'Wt::Dbo::ptr<trader::model::Candle>' 

С C++ 11, вы, возможно, уже есть объект и использовать «decltype», чтобы получить его тип, так что вы можете также запустить:

auto obj = creatSomeObject(); 
bool x = decltype(obj)::nothing; // (Where nothing is not a real member). 

Answer 6

Другое решение для времени компиляции, аналогичное тому, которое предоставляется matiu, но, возможно, более подробным будет использование static_assert, завернутого в небольшую вспомогательную функцию.

template<typename T> 
void print_type_in_compilation_error(T&&) 
{ 
    static_assert(std::is_same<T, int>::value && !std::is_same<T, int>::value, "Compilation failed because you wanted to read the type. See below"); 
} 
// usage: 
int I; 
print_type_in_compilation_error(I); 

выше даст вам сообщение об ошибке хороший (протестировано в MSVC и Clang), а в другом ответе, но код ИМХО лучше понять.