Шаблонные элементы статического шаблона

Question

Итак, у меня есть класс шаблонов со статическим членом, значение которого может быть получено только из одного из параметров шаблона, а не для определения значения для каждого возможного значения второго перечисления параметра, можно использовать еще один шаблон для определения один раз для всех возможных значений?

Или лучше проиллюстрировать код ниже:

enum Foo 
{ 
    FOO, 
    BAR 
}; 

enum Bar { 
    OOF, 
    RAB 
}; 

template<Foo foo, Bar bar> 
class FooTemplate 
{ 
public: 
    static const int RESULT; 
}; 


template<Foo foo, Bar bar> 
const int FooTemplate<Foo::FOO, bar>::RESULT = int(bar); 

template<Foo foo, Bar bar> 
const int FooTemplate<Foo::BAR, bar>::RESULT = 0; 

Попытка компиляции производит следующие ошибки компиляции:

C2086 'Const ИНТ FooTemplate :: РЕЗУЛЬТАТ': переопределение

C3860 Список шаблонов шаблонов, следующий за именем шаблона класса, должен содержать параметров в порядке, используемом в списке параметров шаблона

Answer 1

Не совсем уверен, что вы хотите, потому что пример, как представляется, более упрощенно, но, по крайней мере, насколько пример идет вы можете выразить это следующим образом:

enum Foo 
{ 
    foo, 
    bar 
}; 

enum Bar { 
    oof, 
    rab 
}; 

template<Foo foo, Bar bar> 
class FooTemplate 
{ 
public: 
    static const int result = (foo == Foo::foo? int(bar) : 0); 
}; 

template<Foo f, Bar b> 
const int FooTemplate<f, b>::result; 

#include <iostream> 
using namespace std; 
auto main() -> int 
{ 
    cout << FooTemplate<foo, oof>::result << endl; 
    cout << FooTemplate<foo, rab>::result << endl; 
    cout << FooTemplate<bar, oof>::result << endl; 
    cout << FooTemplate<bar, rab>::result << endl; 
} 

Answer 2

Вы можете попробовать упростить ваш код, как следует:

#include <type_traits> 

enum Foo { 
    FOO, 
    BAR 
}; 

enum Bar { 
    OOF, 
    RAB 
}; 

template<Foo /*foo*/, Bar /*bar*/> 
struct FooValue; 

template<Bar bar> 
struct FooValue<Foo::FOO, bar> 
    : std::integral_constant<int, bar> { }; 

template<Bar bar> 
struct FooValue<Foo::BAR, bar> 
    : std::integral_constant<int, 0> { }; 

template<Foo foo, Bar bar> 
class FooTemplate 
    : public FooValue<foo, bar> 
{ 
}; 

Demo