tricky template syntax question

[gio]

I have a template class with a function that looks like this:

template <class Key, int Value, class Tail> 
struct Parser<Typelist< MakePair<Key, Value>, Tail >, EmptyType>
{        
    static inline bool parse(int* value) 
    {        
        return (*value == Value) ? Key::Execute() : Parser<Tail>::parse(value);                                  
    }
};
 

"Key" is a template parameter which specifies a class that has a static member function called "Execute".

This code compiles and runs correctly.

Now I want to make "Execute" template function that takes an int. I changed the definition of "Execute" to be template <int T> bool Execute()
and I changed the above code to be:

template <class Key, int Value, class Tail> 
struct Parser<Typelist< MakePair<Key, Value>, Tail >, EmptyType>
{        
    static inline bool parse(int* value) 
    {        
        return (*value == Value) ? Key::Execute<Value>() : Parser<Tail>::parse(value);                                  
    }
};
 

Note that I am now tring to pass "Value" as a template parameter to Execute.

This won't compile and I get:

error: invalid operands of types `<unknown type>' and `int' to binary `operator<'
and
In static member function `static bool Parser<Typelist<MakePair<T, U>, Tail>, EmptyType>::parse(int*)':
classTemplates.h:81: error: expected primary-expression before ')' token

Why doesn't this work? Do I need to make the class "Key" a template class too? Everything that I've read says you can have a template member function in a class that is not a template class.

Why doesn't it recognize this as an attempt to pass a template parameter and try and treat it as a binary operator. How can I disambiguate this?

[weaknessforcats]

Yes, you can have a member function template in a class that is itself not a template. For example, this is OK:

class Shape
{
public:
template<class T>
void draw(T arg);
};

template<class T>
void Shape::draw(T arg)
{

}

I'm worried about this:

template <int T> bool Execute()

should this not be:
template <class T> bool Execute() { etc...}

I copied your fragment and diddled with it so ti compiles:

class Key
{
public:
template<class T>
void Execute();
};

template<class T>
void Key::Execute()
{
T data;
}


//Your code:
template <class Key, int Value, class Tail>
struct Parser
//struct Parser<Typelist< MakePair<Key, Value>, Tail >, EmptyType>
{
static inline bool parse(int* value)
{
return (*value == Value) ? Key::Execute<Value>() : Parser<Tail>::parse(value);
}
};