C++ utilizzando dichiarazione nella funzione membro portata

Question

Se voglio usare un membro di una classe di base modello da un modello di classe derivata, devo portarlo in ambito come tale:

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

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

Perché non è possibile posiziona questa istruzione usando in un ambito locale, come altre istruzioni usando?

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

Lo standard (progetto 3225) dice in [namespace.udecl]:

A dichiarazione using per un membro della classe deve essere un iscrizioni a dichiarazione. [Esempio:

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. 
} 

- esempio fine]

A using-directive non ha tale restrizione, tuttavia ([namespace.udir]):

durante la ricerca di un nome-spazio in un usando-d irettivo, solo i nomi dei nomi dei nomi sono considerati

Answer 2

Lo scopo della using base<T>::foo nell'ambito funzione è quella che si desidera chiamare foo nella funzione, e dal momento che dà l'errore, non è possibile farlo.

Se si desidera chiamare il functon (altrimenti perché l'hai fatto), allora si può fare questi che sono autorizzati:

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

Tuttavia, è non si può scrivere questo:

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

Demo in Ideone: http://www.ideone.com/vfDNs

Leggere questo per sapere quando si must utilizzare template parola chiave in una chiamata di funzione:

Ugly compiler errors with template