Частные шаблоны классов / структуры видимости
Я не понимаю, почему в следующем коде мне разрешено создавать функцииprint_private_template
пока компилятор жалуетсяprint_private_class
:
#include <cstdio>
class A
{
private:
template <unsigned T>
struct B
{
};
struct C
{
};
public:
template <unsigned T>
B<T> getAb()
{
return B<T>();
}
C getAc()
{
return C();
}
};
template<unsigned T>
void print_private_template(const A::B<T> &ab)
{
printf("%d\n", T);
}
void print_private_class(const A::C &ac)
{
printf("something\n");
}
int main(int, char**)
{
A a;
print_private_template(a.getAb<42>());
print_private_class(a.getAc());
return 0;
}
Это ожидаемое поведение? ошибка / расширение компилятора?
Просто чтобы прояснить, моя цель - сделать ошибку компилятора наи то и другое использованиеprint_private_template
а такжеprint_private_class
.