C++ static polymorphism/CRTP с дополнительными параметрами шаблона, обращающимися к члену базового класса

Question

Я хотел бы реализовать статический полиморфизм с использованием CRTP, а также добавить дополнительные типы к параметрам шаблонов.

Предоставляя следующий сценарий, как я могу напрямую обращаться к элементам Base из класса Derived? Возможно ли это без указания полного типа базового класса?

#include <iostream> 

template<class Derived, class X> 
struct Base 
{ 
    void set_a(int a) { _a = a; } 
    protected: 
     int _a; 
}; 

template<class X> 
struct Derived: public Base<Derived<X>, X> 
{ 
    int get_a() 
    { 
     // return Base<Derived<X>,X>::_a; // This works! 
     return _a; // error: use of undeclared identifier '_a' 
    } 
}; 

struct foo; 

int main() 
{ 
    Derived<foo> test; 

    auto base_p = static_cast< Base<Derived<foo>, foo>* >(&test); 
    base_p->set_a(42); 

    int a = test.get_a(); 
    std::cout << a << std::endl; 
} 

г ++ 5.3.1/лязг ++ 3.8.0 Выход:

error: use of undeclared identifier '_a' 

Answer 1

Вы можете добавить using декларацию в своем классе:

template<class X> 
struct Derived: public Base<Derived<X>, X> { 

    using Base<Derived<X>, X>::_a; 

    /* ... */ 

}; 

Вы все еще должны укажите его один раз.

Answer 2

В Derived объеме, _a не объявлена, но по наследству, так что вы должны написать this->_a искать в базовом классе или явно написать Base<Derived<X>, X>::_a. Последние могут быть импортированы с

using Base<Derived<X>, X>::_a; 

в определении Derived.

Т.Л., др

Если this->_a написано this автоматически до литом для Base<Derived<X>, X>*, чтобы соответствовать внутренней operator->.

Если записано только _a, то выполняется unqualified name lookup. Неквалифицированный поиск имени основан на масштабах, который не связан с наследованием. В вашем примере, _a в Derived::get_a, так _a ищется в

• Derived::get_a
• Derived
• (сфера файла)

Нет _a найден, который вызывает ошибку компиляции.