为什么派生类不能访问受保护的基类成员？

Question

我有一个基类（VectorRaw）和派生类（Vector）。

我在基类的构造函数中使用operator new来创建一个内存缓冲区，然后在派生类的构造函数中放置new以将元素放置在其中。

基类有它的虚拟析构函数，如果派生类的构造函数中的某些内容出错，它将清除它。

当我尝试编译它时，出现一个错误：所有基类成员（begin, end, end_of_reserved）都超出了所有派生类函数的作用域。

我在做什么错？

这里是我的代码：

template <typename T> 
class VectorRaw { 
protected: 
    T * begin; 
    T * end; 
    T * end_of_reserved; 

    VectorRaw(const size_t size) { 
     begin = (T*) operator new (2 * size * sizeof(T)); 
     end = begin; 
     end_of_reserved = begin + 2 * size; 
    } 
    virtual ~VectorRaw<T>() throw() { 
     for (T * iter = begin; iter != end; ++iter) { 
      iter->~T(); 
     } 
     operator delete (begin); 
     end_of_reserved = end = begin; 
    } 
}; 

template <typename T> 
class Vector : public VectorRaw<T> { 
public: 
    Vector(const size_t size, const T& value) : VectorRaw<T>(size) { 
     for (end = begin; end != begin + size; ++end) 
      { 
      new (end) T (value); 
     } 
    } 
    bool Empty() const throw() { 
     return (begin == end); 
    } 
}; 

Answer 1

因为你的基类是模板类，您需要通过this指针访问成员：

template <typename T> 
class Vector : public VectorRaw<T> { 
public: 
    Vector(const size_t size, const T& value) : VectorRaw<T>(size) { 
     for (this->end = begin; this->end != this->begin + size; ++this->end) 
      { 
      new (this->end) T (value); 
     } 
    } 
    bool Empty() const { 
     return (this->begin == this->end); 
    } 

}; 

这是必要推迟的查找这些名称直到模板参数已知。它使他们相关名称。有关更多详情，请参阅this answer。