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

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’ для двоичного <оператора <’</p>

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

Answer 1

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