项目场景:
tinystl_list 的 iterator使用了模板继承,模板继承与普通的继承方式并不完全一样。
问题描述
模板继承的子类不能直接使用模板父类中定义的typedef
template<class _T>
struct AAA
{
using value_type = _T;
value_type base_;
AAA(): base_(0) {}
};
template<class T>
struct Derive: public AAA<T>
{
value_type a;
};
在编译时提示“error: ‘value_type’ does not name a type”。应当指明类类型的域: typename AAA::value_type
原因分析:
模板继承和普通的继承并不完全一样。
Derive模板类继承AAA模板类,继承后子类并不能直接使用父类中的类类型,必须要明确说明其所在域,并且编译器默认为非类类型,所以还要在其前加typename。
模板类public继承,自类可使用父类中的非类类型。
解决方案:
应当指明类类型的域: typename AAA<T>::value_type
类继承
class A
{
public:
a;
protected:
b;
private:
c;
};
class B: public A {};
B相当于:
class B
{
public:
a;
protected:
b;
};
class B: protected A {};
B相当于:
class B
{
protected:
a;
protected:
b;
};
class B: private A {};
B相当于:
class B
{
private:
a;
private:
b;
};