C++: Как вывести один тип в зависимости от другого типа в шаблоне?

Question

[A 82]

Я хочу получить конкретный тип данных Type с помощью другого типа T в качестве шаблонного аргумента, но не знаю как это сделать, мой код не работает:

template <typename T>
struct param_type_trait<int> {
  using Type = TYPE_A;
};

template <typename T>
struct param_type_trait<float> {
  using Type = TYPE_B;
};

template <class T>
void registrate_param(...) {
  auto param = new_shared<param_type_trait<T>::Type>();
  ...
}

Компилятор GCC пишет error: template parameters not deducible in partial specialization
Я не знаю как это делается правильно

Comments

[Acaunt]

Не очень понимаю. Ты хочешь преобразовать один тип данных в другой?

[A 82]

Acaunt, я хочу привязать один тип к другому, чтобы шаблон по T1 делал мне T2

Answer 1

[A 82]

Всё, я нашёл решение

template <class T>
struct trait {
  using Type = TYPE_C;
};

template <>
struct trait<float> {
  using Type = TYPE_B;
};

template <>
struct trait<int> {
  using Type = TYPE_A;
};

Comments

[Евгений Шатунов]

A 82 , а объяснить, почему твое решение для тебя сейчас работает, сможешь?
Просто к сведению. Тут сейчас нет ни одного ответа на твой вопрос.

[A 82]

Евгений Шатунов, ок напишу

[A 82]

Евгений Шатунов, ну короч всё что я хотел это просто компил-тайм мапу тип_A -> тип_B и этот варик работает, но надо для каждого типа свой вариант прописать. Можно совать это в любое место в проге и компилятор ругаться не будет

Answer 2

[Евгений Мартынов]

Ты можешь указать тип на прямую в шаблоне
template<int T> void Test();

Comments

[A 82]

Могу, но это не то. Мне нужно чтобы Param_type зависел от типа T, но не был этим типом. Короч, я просто хочу сделать выбор типа в компил тайме - маппинг типов в соответствии с другими типами, чтобы если был int32_t, мне выдавал TYPE_B, а если float, то TYPE_A

[Евгений Мартынов]

A 82, используйте Typeinfo

Answer 3

[Dmitrii]

Во-первых, есть if constexpr, во-вторых std::enable_if

template <class T>
void registrate_param() {
    if constexpr (std::is_same_v<T, int>)
        auto param = make_shared<int>();
    else if (std::is_same_v<T, float>)
        auto param = make_shared<double>();
}

Comments

[A 82]

я знал об этом, но дело в том что param умрёт в пределах этого ифа, а мне надо чтобы param был создан с определённым типом и к нему дальше были обращения в коде, я не хочу писать в обоих ветках условия один и тот же код использования param

// param выйдет из области видимости и я не смогу пользоваться его типом
  if constexpr (std::is_same_v<T, real_t>)
    auto param = new_shared<Param_pge_real>();
  else
    auto param = new_shared<Param_pge_int>();

  param->description = desc;
  param->title = title;
  param->value = val;
  param->speed_step = speedstep;
  g_pge_params.push_back(std::move(param));

[Dmitrii]

A 82,
ну это естественно param выйдет из области видимости, не вижу проблемы обернуть все это в функцию или хотя бы лямбду

// param выйдет из области видимости и я не смогу пользоваться его типом

if constexpr (std::is_same_v<T, real_t>)
    foo(new_shared<Param_pge_real>());
  else
    foo(new_shared<Param_pge_int>());
}

template <typename T>
void foo(shared_ptr<T> param) {
  param->description = desc;
  param->title = title;
  param->value = val;
  param->speed_step = speedstep;
  g_pge_params.push_back(std::move(param));
}