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

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

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 'к двоичному' operator

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

1 7
c++ templates dependent-name

1 ответ:

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

14