C++ utilizando comunicado en su alcance función miembro

Question

Si quiero utilizar un miembro de una clase base de la plantilla a partir de una clase de plantilla derivada, tengo que ponerla en alcance como tal:

template <typename T> 
struct base 
{ 
    void foo(); 
}; 

template <typename T> 
struct derived : base<T> 
{ 
    using base<T>::foo; 
}; 

Por qué no puedo coloque esta instrucción using en un ámbito local, como otras instrucciones using?

template <typename T> 
struct base 
{ 
    void foo(); 
}; 

template <typename T> 
struct derived : base<T> 
{ 
    void f() 
    { 
     using base<T>::foo; // ERROR: base<T> is not a namespace 
    } 
}; 

Answer 1

El estándar (proyecto 3225) dice en [namespace.udecl]:

Un mediante declaración- para un miembro de la clase será un Miembro-declaración. [Ejemplo:

struct X { 
    int i; 
    static int s; 
}; 
void f() { 
    using X::i; // error: X::i is a class member 
       // and this is not a member declaration. 
    using X::s; // error: X::s is a class member 
       // and this is not a member declaration. 
} 

- ejemplo final]

A usando directiva no tiene tal restricción, sin embargo ([namespace.udir]):

cuando se busca una namespace-name en un using-d irective, solo se consideran nombres de espacios de nombres

Answer 2

El propósito de using base<T>::foo en el ámbito de la función es que se desea llamar foo en la función, y ya que da error, no puede hacer eso.

Si desea llamar a la functon (de lo contrario por qué haría eso), entonces usted puede hacer estos que están permitidos:

this->template base<T>::foo(); //syntax 1 
this->base<T>::foo();   //syntax 2 - simple 
this->foo();     //syntax 3 - simpler 

Sin embargo, no puede escribir esto:

foo() ; //error - since foo is in base class template! 
//if you write `using base<T>::foo` at class scope, it will work! 

demo en Ideone: http://www.ideone.com/vfDNs

Lee esto para saber cuando necesidad utilizar template palabra clave en una llamada de función:

Ugly compiler errors with template