注意到这个问题是在看邓俊辉的《数据结构(C++语言版)》时看到的,第一眼以为是邓公写书时的疏忽,因此还搜索了这本书的勘误,居然没找到,于是打开编辑器试了一下,然后震惊的发现书上的代码没错,对不起是我太菜不该怀疑邓公。书上的源代码抽取出来如下:
template<typename T>
class Vector {
private:
int _size;
public:
Vector(const Vector<T>& V) {
this->_size = V._size;
}
};
上面的代码是编译通过的,也就是说,虽然_size是private属性,但在定义拷贝构造函数时,通过this指针获取当前对象的私有变量的同时(基操),居然可以获取到形参对象的私有成员变量,该形参的类型为本类对象的引用。之前一直以为必须通过公共接口获取。
刚了解到这个特性的时候有点惊讶,但后来想了想,这么设计确实比较合理。“封装性” 应该是对于类的外部而言的,而在类内操作一个同类型的对象时,该对象的内部应该是完全可见的,因为在类内操作时就是在对这个类本身进行操作,同类型的对象的内部无需对其隐藏。
这种特性多用于拷贝构造函数和赋值函数(operator=)的定义中。