Здравствуйте, The_Thing, Вы писали:

T_T>Здравствуйте, Антибиотик, Вы писали:
T_T>1. не компилируется, так как foo не найдена, надо A::foo — так всё работает.
T_T>2. не понял при чём тут B.

1. используется компилятор Microsoft Visual C++ 2008 Express, в нем все нормально компилируется
2. это упрощенный пример более сложного кода, суть в том, что функция foo вызывается с аргументом типа B. Чтобы было понятнее, пусть функция foo выглядит так:

template <typename T>
     void foo(T* t)
     {
       cout << t->b_;
     }