模板化继承中的依赖名称解析
在 C 中,访问继承变量的能力取决于继承的类型和上下文。考虑下面的代码,其中 Bar 继承自模板类 Foo:
template<class T> class Foo { ... }; template<class T> class Bar : public Foo<T> { ... };
在这种情况下,问题就出现了:Bar 可以访问 Foo 的受保护变量 a 吗?
标准合规性和基本原理
新版本的 GNU C 编译器遵循 C 标准,其中规定:模板中的非限定名称是非相关的。这意味着在定义模板时必须解析这些名称。但是,由于当时依赖基类(Foo)的定义未知,因此无法解析 Bar 中的不合格名称。
解决方案:显式名称解析
要访问 a,Bar 必须显式指定其限定名称:Foo
using Foo<T>::a; int c = a * 4; // Accesses 'a' through namespace resolution
总之,虽然 Bar 从 Foo 继承受保护的变量 a 看起来很直观,但 C 标准规定这只是可能的通过显式名称解析或“使用”声明。这确保了不同模板实例化之间一致且定义良好的行为。
以上是模板类如何从其依赖基类继承和访问受保护的成员?的详细内容。更多信息请关注PHP中文网其他相关文章!