具有附加模板参数的C ++静态多态性/ CRTP访问基类成员

Question

我想使用CRTP实现静态多态性，并且还向模板参数添加其他类型。

提供以下方案，如何直接从派生类访问基本成员？ 是否可以不指定Base类的完整类型？

#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;
}

g ++ 5.3.1 / clang ++ 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而是继承了_a ，因此您必须编写_a this->_a来在基类中查找，或显式编写Base<Derived<X>, X>::_a 。 后者可以与

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

在Derived的定义中。

tl; dr

如果this->_a写， this是自动向上转换到Base<Derived<X>, X>*相匹配的内在operator-> 。

如果仅写入_a ，则将执行不合格的名称查找 。 不合格的名称查找是基于范围的，这与继承无关。 在您的示例中， _a在Derived::get_a ，因此在_a中搜索

• Derived::get_a
• Derived
• （文件范围）

未找到_a ，这将触发编译错误。