我知道默认情况下编译器不能看到'依赖名称'。但我在回答其他SO问题(here,here,最终on the C++ faq)时被告知using
声明可能会有所帮助。
所以我试过了。
模板基类:
// regardless of the fact that members are exposed...
template<typename T>
struct TBase {
typedef T MemberType;
MemberType baseMember;
MemberType baseFunction() { return MemberType(); }
};
派生类,使用基础成员:
template<typename T>
struct TDerived : public TBase<T> {
// http://www.parashift.com/c++-faq-lite/nondependent-name-lookup-members.html
// tells us to use a `using` declaration.
using typename TBase<T>::MemberType;
using TBase<T>::baseFunction;
using TBase<T>::baseMember;
void useBaseFunction() {
// this goes allright.
baseFunction();
++baseMember;
// but here, the compiler doesn't want to help...
MemberType t; //error: expected `;' before ‘t’
}
};
我试过了this out on ideone。它有gcc-4.3.3和gcc-4.5.1
这是预期的行为吗?我们如何围绕“依赖名称”法来解决访问父模板类'member typedefs?
的问题答案 0 :(得分:19)
您可能想要这样做:
using MemberType = typename TBase<T>::MemberType; // new type alias syntax
或
typedef typename TBase<T>::MemberType MemberType; // old type alias syntax
语法using Base::member;
只能用于将非类型成员的声明带入范围。
另请注意,这些都不是实际需要的,您可以限定每次使用(对于具有基础的类型,对于具有this->
或基础的非类型),这将使符号相关。