Tenho o seguinte código: Uma derivada template chamando uma função de uma base também template.
template <int M>
struct Base { void foo() {} };
template <int M>
struct Derived : public Base<M> {
void bar() { foo(); }
};
Mas isso causa o seguinte erro:
main.cpp
: In member functionvoid Derived<M>::bar()
:
main.cpp:7:22
: error: there are no arguments tofoo
that depend on a template parameter, so a declaration offoo
must be available [-fpermissive]void bar() { foo(); }
A correção do erro é simples, basta usar Base<M>::foo();
no lugar da chamada de foo()
.
Minha dúvida é: Por que esse erro ocorre? Por que foi imposta essa restrição de que eu devo explicitar a base manualmente e que o compilador não pode deduzir isso por conta própria? Por que só quando usando templates? O meu código é de alguma forma ambíguo?