c++ - 基模板类数据成员在派生模板类中不可见？

Question

考虑以下 C++ 代码，

template <typename Derived>
struct A
{
    bool usable_;
};

template <typename Derived>
struct B : A< B<Derived> >
{
    void foo()
    {
        usable_ = false;
    }
};

struct C : B<C>
{
    void foo()
    {
        usable_ = true;
    }
};

int main()
{
    C c;
}

我遇到编译错误:在成员函数中 void B<Derived>::foo() :

template_inherit.cpp:12: error: 'usable_' was not declared in this scope.

这是为什么呢？有什么好的解决方法吗？

Answer 1

那是因为usable_是一个非依赖的名字，所以在解析模板时查找，而不是在实例化时(基类已知时)查找。

非限定名称查找将不会查找，并且从不在依赖基类中查找非依赖名称。您可以使名称 usable_ 依赖如下，这也将摆脱不合格的名称查找

this->usable_ = false;

// equivalent to: A<B>::usable_ = false;
A< B<Derived> >::usable_ = false;

B::usable_ = false;

所有这些都会起作用。或者您可以使用 using 声明在派生类中声明名称

template <typename Derived>
struct B : A< B<Derived> >
{
    using A< B<Derived> >::usable_;

    void foo()
    {
        usable_ = false;
    }
};

请注意，在 C 中不会有问题 - 它只会影响 B。