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: 错误: 'usable_' 未在此范围内声明。

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

Answer 1

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

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

this->usable_ = false;

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

B::usable_ = false;

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

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

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

请注意，C不会有任何问题 - 它只会影响B.