考虑以下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.
这是为什么 ？任何好的修复？
解决方法
这是因为useful_是一个非依赖名称,因此在解析模板时查找它,而不是在实例化时查找(当基类已知时).
非限定名称查找将不会查找,并且从属基类中永远不会查找非相关名称.您可以按如下方式使名称可用依赖,这也将取消非限定名称查找
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.
