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

桃扇骨 2023-01-11 09:10 122阅读 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&`类型，而声明为常引用之后此函数的返回值就无法再修改我们的类私有成员属性了。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzkxOTkzMg_size_16_color_FFFFFF_t_70]

同理，在类成员函数后加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;
    }

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzkxOTkzMg_size_16_color_FFFFFF_t_70 1]  
注：`Object * const this` 修饰的是this所指向之值不可被修改，对指针自身并没有限定，因此我们使用typeid 输出this的类型时为 `Object *` 类型，具体const修饰指针案例请参考下面给出的整理：

const 对指针修饰时的情况及含义（const 在\*左边，则修饰的是“*p”,const 在*右边，修饰的是p）

*  const int \* p <=等价=> int const \*p ：指针p所指的内存单元为常量，不可修改该内存
 *  int \* const p:指针p自己是常量，该指针的地址值不可修改。`const int *p = new int();` 这里的 p 被const限定
 *  const int \* const p :以上两种情况都包含：既不可修改指针值也不可修改指针所指位置的值。

> 声明为的成员函数 const 不能更改成员数据-在此类函数中， this 指针是指向 const 对象的指针。  
> ——参考自《[https://docs.microsoft.com/zh-cn/cpp/cpp/this-pointer?view=msvc-160][https_docs.microsoft.com_zh-cn_cpp_cpp_this-pointer_view_msvc-160]》

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzkxOTkzMg_size_16_color_FFFFFF_t_70]: /images/20221119/e5281b54d80940be815a139d3202b7a5.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzkxOTkzMg_size_16_color_FFFFFF_t_70 1]: /images/20221119/7b2ac521adb5469290a499f209729b13.png
[https_docs.microsoft.com_zh-cn_cpp_cpp_this-pointer_view_msvc-160]: https://docs.microsoft.com/zh-cn/cpp/cpp/this-pointer?view=msvc-160