C++ sử dụng tuyên bố trong hàm thành viên phạm vi

Question

Nếu tôi muốn sử dụng một thành viên của một lớp mẫu cơ sở từ một mẫu có nguồn gốc lớp, tôi phải đưa nó vào phạm vi như vậy:

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

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

Tại sao không tôi có thể đặt câu lệnh này sử dụng vào một phạm vi cục bộ, giống như các câu lệnh khác?

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

Tiêu chuẩn (dự thảo 3225) nói trong [namespace.udecl]:

Một sử dụng-khai cho thành viên lớp sẽ là member- khai báo. [Ví dụ:

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

- end dụ]

Một sử dụng-chỉ không có hạn chế như vậy, tuy nhiên ([namespace.udir]):

khi nhìn lên một không gian tên-name trong một sử dụng-d irective, chỉ các tên không gian tên được xem là

Answer 2

Mục đích của using base<T>::foo trong phạm vi chức năng là bạn muốn gọi foo trong hàm, và vì nó mang lại cho lỗi, bạn không thể làm điều đó.

Nếu bạn muốn gọi functon (nếu không tại sao bạn làm điều đó), sau đó bạn có thể làm những được phép:

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

Tuy nhiên, bạn không thể viết này:

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

Bản trình diễn tại ideone: http://www.ideone.com/vfDNs

Đọc thông tin này khi bạn phải sử dụng template từ khóa trong một cuộc gọi chức năng:

Ugly compiler errors with template