考虑以下 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.
这是为什么呢?有什么好的解决方法吗?
最佳答案
那是因为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
。
关于c++ - 基模板类数据成员在派生模板类中不可见?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4210108/