Квалифицированный доступ, необходимый при наследовании от шаблона

Question

В такой ситуации, почему я не могу получить доступ к члену базового класса x, не имеющему квалификации в случае B1? Не loook неоднозначное мне ...

template<class T> 
struct A { T x; }; 

template<class T> 
struct B1 : A<T> { T f() { return A<T>::x; } }; 

struct B2 : A<int> { int f() { return x; } }; 

Answer 1

Поскольку x не зависит, она будет искаться в контексте, где определен шаблон. В этом контексте компилятор ничего не знает о T и не может искать в зависимой базе классов. Как это может, например, знать что-либо из A<T>, не зная, что такое T. (Может быть специализация A, например, с совершенно разными членами.)