成员函数返回类成员变量的引用，有存在修改成员变量的值的风险。-蒲公英云

成员函数返回类成员变量的引用，有存在修改成员变量的值的风险。

桃扇骨 2023-01-11 09:10 168阅读 0赞

很多时候我们将函数返回值设置为引用类型，这样可以提高函数返回的效率，而如果我们在类成员方法中这样做了，很可能会出一些问题。

参考如下代码：我们通过设置类成员方法 data() ，本意是想查看类私有变量的数值，为了提高效率我们增加了引用。

class Object {
private:
    int value;
public:
    Object(int x = 10) :value(x) {
    };
    int& data() {
     return value; }
};
int main()
{
    Object obj(10);
    obj.data() = 11;
    cout << "val : " << obj.data() << endl;
    return 0;
}

可以看到，我们使用obj.data() = 11;这条语句可以将obj对象的私有属性obj.value修改，这就造成了很大的安全隐患。

而我们即想要提高返回值效率，又不想变量在外部被修改，那么我们只需将返回值设置为常引用即可。

const int& data() {
     return value; }

这里的常引用指的是常量左值引用const Type&类型，而声明为常引用之后此函数的返回值就无法再修改我们的类私有成员属性了。
在这里插入图片描述

同理，在类成员函数后加const，也能有效的阻止成员函数自身修改类属性。原理是在类的成员方法中有个隐藏的this指针，它的类型是Object * const类型（这里限制了this不可改变指向）。

而我们添加了const参数后，它作用于此this指针后变成Object const * const类型（这里同时限制this不可改变指向，也不可修改所指向空间的数据）。

因此，成员函数后声明为const后视为常方法，即函数内不可以对类成员属性做修改（同理也不可调用类的非常量方法，因为存在修改类成员属性的风险），但可以修改其他不通过this指针调用的变量，比如传入的形参。

参考以下示例：

class Object {
private:
    int value;
public:
    Object(int x = 10) :value(x) {
    };
    const int& data() {
     return value; }
    void show()
    {
        cout << typeid(this).name() << endl;
    }
    void show() const
    {
        cout << typeid(this).name() << endl;
    }
};
int main()
{
    Object obj(10);
    obj.show();        // 普通对象调用普通方法
    const Object Cobj(10);
    Cobj.show();    // 常对象调用常方法
    return 0;
}