举个例子
class A{
public:
string &get(){
return str;
}
private:
string str="222";
};
A obj;
obj.get().clear();//编译正常
这个代码成功地更改了A内部的私有变量,我们所预期的封装性完全失效。原因是get这个public函数将str的引用返回,这样编译器合理地让str暴露在了用户面前,可以对它大快朵颐。这个设计从逻辑上来讲是错误的,因为类的封装性的上限是成员函数的访问等级,成员函数get()是public的,返回str的引用,相当于把str也提高到了public,因此罪魁祸首是返回类型中的引用符号。
也许你会认为,加上一个const不就行了?比如:
class A{
public:
const string &get(){
return str;
}
private:
string str="222";
};
A obj;
obj.get().clear();//编译不通过
没错,这样确实就能避免对str进行修改,但这样却有可能造成空悬指针的出现,比如:
class B {
public:
A get() {
A obj;
return obj;
}
};
B obj;
const string* pstr=&(obj.get().get());
cout<<*pstr;//空值
由于这里的A对象是B返回的临时对象,因此他在那句话执行完之后会被销毁,同样pstr指向的str成员变量也就会被销毁,所以会输出空值,这样造成了空悬指针,在你之后的程序设计之中可能会导致灾难性的后果。
因此,本文想提出的忠告是:尽量避免返回指向类内部成员的引用、指针等。这样可以提高类封装性。