Есть ли способ иметь литералы типов в C++?

Question

Прямо сейчас, я пытаюсь создать прототип динамической системы набора текста в C++ для ответа на другой вопрос о переполнении стека.

Но, мне интересно, как я могу выбрать конкретный тип из варианта.

Что я хочу - это в основном функция преобразования ключа непосредственно в тип, а затем программа, создающая тип, основанный на этом типе литерала.

То, что я хочу (в псевдокоде):

std::string type; 

TYPE get_type(std::string) { ... } 

get_type(type) new_variable(); 

Answer 1

Используя продолжение прохождения стиль, sortof.

template<class T>struct tag{using type=T;}; 
template<class Tag>using type_t=typename Tag::type; 
#define TYPEOF(...) type_t<std::decay_t<decltype(__VA_ARGS__)>> 

template<class F> 
auto get_type(std::string s, F f) { 
    if (s=="int") 
    return f(tag<int>{}); 
    if (s=="double") 
    return f(tag<double>{}); 
} 

использование:

void do_stuff(std::string type) { 
    int x = get_type(type, [&](auto tag) { 
    TYPEOF(tag) var; 
    return 7; 
    }); 
} 

в этом случае var является переменной типа, что type имен.

Обратите внимание, что все ветви будут скомпилированы, поэтому все ветви должны выдавать действительный код.

В противном случае, нет, это невозможно, запрещение constexpr магия.