Найти тип для шаблона по какому-то идентификатору или int

Вы имеете в виду, разделить декларацию на две части?

template<int i> struct id_type;
template<int i> using id_type_t = typename id_type<i>::type;
template<> struct id_type<ID1> { using type = int; }

template<int i> id_type_t<i> get();

Сначала я объясню свой предпочтительный способ делать такие вещи. Обычно я стараюсь избегать enum, так как почти каждый раз, когда вам нужны дополнительные данные, а с enum вы застреваете в записи этих данных в другом месте. Например, что в другом месте может быть в специализации шаблона.

Я бы предпочел использовать типы:

struct ID1 {
    static constexpr auto default_value = 42; 
};

struct ID2 {
    static constexpr auto default_value = 0.12; 
};

Затем отбросьте специализацию и используйте данные, представленные в типах:

struct Test {
    template<typename T>
    static auto get() {
        // or maybe call a static member function
        return T::default_value;
    }
};

int main()
{
  std::cout << Test::get<ID2>() << std::endl;
  std::cout << Test::get<ID1>() << std::endl;
}

Но есть способ заставить ваш дизайн работать и избежать написания этого типа с помощью вывода возвращаемого типа:

#include <iostream>

enum {
    ID1,
    ID2,
};

struct Test {
    // to be deduced -------v
    template<auto I> static auto get();
    //       ^--- (optional change)
    //            Have the enum type deduce as well
};

template<> auto Test::get<ID1>()
{
  return 43;   
}

template<> auto Test::get<ID2>()
{
  return 0.12;   
}

int main()
{
  std::cout << Test::get<ID2>() << std::endl;
  std::cout << Test::get<ID1>() << std::endl;
}

Посмотрите, как он компилируется в проводнике компилятора.

Вы также можете вернуться к int, поскольку параметр шаблона перечисления остается совместимым с C++ 14:

template<int I> static auto get();
//       ^------ reverted it back to int

Но используя С++ 17 и параметры автоматического шаблона, вы можете иметь несколько перечислений без конфликта значений:

enum struct A {
    Value1, Value2
};

enum struct B {
    Value1
};

// Different with C++17 auto template parameter
// not possible with C++14
template<> auto Test::get<A::Value1>()
{
  return 43;   
}

template<> auto Test::get<B::Value1>()
{
  return 0.12;   
}

Я полагаю, ты хотел этого?

#include <iostream>

typedef int ID1;
typedef double ID2;

class Test
{
public:
    template<typename T> static T get();
};

template<> int Test::get<ID1>()
{
  return 43;   
}

template<> double Test::get<ID2>()
{
  return 0.12;   
}

int main()
{
  std::cout << Test::get<ID2>() << std::endl;
  std::cout << Test::get<ID1>() << std::endl;
}

Идея состоит в том, что если тип данных известен во время компиляции, то нет необходимости записывать число, чтобы выбрать тип данных. Самого типа данных достаточно для выполнения этой работы.

Я нашел способ использовать части других ответов и показать реализацию здесь:

центральный заголовочный файл для определения всех идентификаторов и типов. decltype помогает найти возвращаемый тип. Использование авто здесь приводит меня к проблеме, когда я объявляю здесь метод для определенного типа, он не будет соответствовать объявлению шаблона.

//Test.hpp
struct ID1 {
    int value; 
};

struct ID2 {
    double value; 
};

struct Test {
    template<typename T> static decltype(T::value) get();
};

Затем у меня есть определение функции get (которая также может быть в отдельных единицах компиляции)

#include "Test.hpp"
template<> int Test::get<ID1>()
{
    return 43;
}

template<> double Test::get<ID2>()
{
    return 0.12;
}

и основной, который их использует

#include "Test.hpp"
int main()
{
  std::cout << Test::get<ID2>() << std::endl;
  std::cout << Test::get<ID1>() << std::endl;
}

Это в значительной степени взято из ответов Джорджа Куртиса и Гийома Расико и добавлено еще немного от себя.