Question

Why is the following code invalid?

template <typename S, typename T>
struct B{
    void f(T t, S s) {t.f<S>(s); }
};

gcc 4.3.4 complains that it “expected primary-expression before ‘>’ token”, i.e. that “S” wasn’t a valid primary-expression.

Answer 1

You need to specify that f is a template:

void f(T t, S s) {
    t.template f<S>(s);
}

C++ doesn’t know this (at this point) since f’s type depends on the type of the template parameter T. Furthermore, the following syntax would be ambiguous: does < mean the start of a template list or a less-than operator? To help C++ figure that out you need to specify that f is a template, otherwise C++ cannot parse the following part because the parse itself depends on the type of T.