Что конкретно в данном случае мешает обращаться к функции базового класса напрямую по имени без указания класса? Если protected
запрещает любое другое обращение к a_func()
кроме как через A<T>
из класса унаследованного от A<T>
, то какая неоднозначность (потенциально) могла бы возникнуть, если не указывать A<T>
при обращении к a_func()
?
template<typename T>
struct A {
protected:
static int a_func() { return 42; }
};
template<typename T>
struct B : A<T> {
// static int b_func() { return a_func(); } // Почему это не компилируется?
static int b_func() { return A<T>::a_func(); } // Зачем требуется указывать A<T>?
};
int main() {
std::cout << B<void>::b_func() << std::endl;
}
Если раскомментировать первый вариант b_func(), то GCC 4.9.2 ругается следующим образом:
error: there are no arguments to ‘a_func’ that depend on a template parameter,
so a declaration of ‘a_func’ must be available [-fpermissive]