Ошибка компилятора при использовании целого числа в качестве параметра шаблона

Question

Что не так со следующим фрагментом кода?

template<typename X>
struct A {
        template<int N>
        int foo() const {
                return N;
        }
};

template<typename X>
struct B {
        int bar(const A<X>& v) {
                return v.foo<13>();
        }
};

#include <iostream>
using std::cout;
using std::endl;

int main() {
        A<double> a;
        B<double> b;
        cout << b.bar(a) << endl;
        return 0;
}

Внутри функции B::bar компилятор жалуется:

ошибка: недопустимые операнды типов '' и 'int' для двоичного оператора '<'

Если A не шаблон, все компилируется нормально.

Answer 1

+ Изменить return v.foo<13>(); в return v.template foo<13>(); так как foo является зависимым именем, и вы должны упомянуть, что явно .template построить.