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

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。