const在函数前与函数后的区别

本文详细解析了C++中const关键字的基本用法及其在指针、函数参数、返回值及成员函数中的应用,并给出了使用const的几条建议。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一   const基础  
   
  如果const关键字不涉及到指针,我们很好理解,下面是涉及到指针的情况:  
   
  int   b   =   500;  
  const   int*   a   =   &b;              [1]  
  int   const   *a   =   &b;              [2]  
  int*   const   a   =   &b;              [3]  
  const   int*   const   a   =   &b;   [4]  
   
  如果你能区分出上述四种情况,那么,恭喜你,你已经迈出了可喜的一步。不知道,也没关系,我们可以参考《effective   c++》item21上的做法,如果const位于星号的左侧,则const就是用来修饰指针所指向的变量,即指针指向为常量;如果const位于星号的右侧,const就是修饰指针本身,即指针本身是常量。因此,[1]和[2]的情况相同,都是指针所指向的内容为常量,这种情况下不允许对内容进行更改操作,如不能*a   =   3   ;[3]为指针本身是常量,而指针所指向的内容不是常量,这种情况下不能对指针本身进行更改操作,如a++是错误的;[4]为指针本身和指向的内容均为常量。  
  另外const   的一些强大的功能在于它在函数声明中的应用。在一个函数声明中,const   可以修饰函数的返回值,或某个参数;对于成员函数,还可以修饰是整个函数。有如下几种情况,以下会逐渐的说明用法:a&   operator=(const   a&   a);  
  void   fun0(const   a*   a   );  
  void   fun1(   )   const;   //   fun1(   )   为类成员函数  
  const   a   fun2(   );  
   
  二   const的初始化  
   
  先看一下const变量初始化的情况  
  1)   非指针const常量初始化的情况:a   b;  
  const   a   a   =   b;  
   
  2)   指针(引用)const常量初始化的情况:a*   d   =   new   a();  
    const   a*   c   =   d;  
  或者:const   a*   c   =   new   a();  
  引用:  
    a   f;  
    const   a&   e   =   f;   //   这样作e只能访问声明为const的函数,而不能访问一般的成员函数;  
   
  [思考1]:   以下的这种赋值方法正确吗?  
  const   a*   c=new   a();  
  a*   e   =   c;  
  [思考2]:   以下的这种赋值方法正确吗?  
  a*   const   c   =   new   a();  
  a*   b   =   c;  
   
  三   作为参数和返回值的const修饰符  
   
  其实,不论是参数还是返回值,道理都是一样的,参数传入时候和函数返回的时候,初始化const变量  
  1   修饰参数的const,如   void   fun0(const   a*   a   );   void   fun1(const   a&   a);  
  调用函数的时候,用相应的变量初始化const常量,则在函数体中,按照const所修饰的部分进行常量化,如形参为const   a*   a,则不能对传递进来的指针的内容进行改变,保护了原指针所指向的内容;如形参为const   a&   a,则不能对传递进来的引用对象进行改变,保护了原对象的属性。  
  [注意]:参数const通常用于参数为指针或引用的情况;  
  2   修饰返回值的const,如const   a   fun2(   );   const   a*   fun3(   );  
  这样声明了返回值后,const按照"修饰原则"进行修饰,起到相应的保护作用。const   rational   operator*(const   rational&   lhs,   const   rational&   rhs)  
  {  
  return   rational(lhs.numerator()   *   rhs.numerator(),  
  lhs.denominator()   *   rhs.denominator());  
  }  
   
  返回值用const修饰可以防止允许这样的操作发生:rational   a,b;  
  radional   c;  
  (a*b)   =   c;  
   
  一般用const修饰返回值为对象本身的情况多用于二目操作符重载函数并产生新对象的时候。  
  [总结]   一般情况下,函数的返回值为某个对象时,如果将其声明为const时,多用于操作符的重载。通常,不建议用const修饰函数的返回值类型为某个对象或对某个对象引用的情况。  
  原因如下:  
  如果返回值为某个对象为const或某个对象的引用为const   ,则返回值具有const属性,则返回实例只能访问类a中的公有数据成员和const成员函数,并且不允许对其进行赋值操作,这在一般情况下很少用到。  
   
  [思考3]:   这样定义赋值操作符重载函数可以吗?  
  const   a&   operator=(const   a&   a);  
   
  四   类成员函数中const的使用  
   
  一般放在函数体后,形如:void   fun()   const;  
  如果一个成员函数的不会修改数据成员,那么最好将其声明为const,因为const成员函数中不允许对数据成员进行修改,如果修改,编译器将报错,这大大提高了程序的健壮性。  
  五   使用const的一些建议  
   
  1   要大胆的使用const,这将给你带来无尽的益处,但前提是你必须搞清楚原委;  
  2   要避免最一般的赋值操作错误,如将const变量赋值,具体可见思考题;  
  3   在参数中使用const应该使用引用或指针,而不是一般的对象实例,原因同上;  
  4   const在成员函数中的三种用法要很好的使用;  
  5   不要轻易的将函数的返回值类型定为const;  
  6   除了重载操作符外一般不要将返回值类型定为对某个对象的const引用;  
### C++ `const` 关键字在函数声明中的不同位置及其影响 #### 函数返回值的 `const` 当 `const` 放置在函数返回类型的面时,表示该函数返回的对象是一个常量对象。这意味着一旦这个对象被创建出来,在外部就无法对其进行任何改变。 ```cpp const int func(); ``` 这表明 `func()` 返回的是一个不可更改的整数值[^1]。 #### 参数列表内的 `const` 如果 `const` 位于参数列表内部,则意味着传递给此参数的实际参数在其作用域内被视为只读属性。具体来说: - 对于基本类型或者指针所指向的内容加上 `const` 表示传入的数据不会被修改; ```cpp void func(const int a); ``` - 如果是指向某物的指针本身加 `const` ,则说明该指针不能再指向其他地方; ```cpp void func(int* const pa); ``` - 当两者都存在时(即 `const T* const pt`),既不能改变指针也不能改变其指向的内容[^4]。 需要注意的是,对于像 `fic(const int)` 这样的情况,由于顶层 `const` 被编译器忽略不计,因此这类形式实际上无 `const` 版本相同,并且可以接受任意类型的整数作为输入参数[^3]。 #### 成员函数后的 `const` 最后一种常见的情况是在类方法签名之后放置 `const` 。这种情况下,整个成员函数都被标记为了 “常量”,也就是说在这个范围内所有的操作都不能改变当实例的状态——除非那些状态已经被显式地标记为可变(`mutable`)。此外,这样的函数也只能调用其他的 `const` 方法[^5]。 ```cpp class Example { public: void doSomething() const; }; ``` 上述代码片段展示了如何定义一个 `const` 成员函数,它承诺不对对象的状态做出任何形式上的变更。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值