const 用法

来源:互联网 发布:建龙软件 编辑:程序博客网 时间:2024/05/09 08:05

一 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常量初始化的情况:

int b;

const int a = b;

2) 指针(引用)const常量初始化的情况:

int* d = new int();

const int* c = d;
或者:const int* c = new int();
引用:
int f;
const int& e = f; // 这样作e只能访问声明为const的函数,而不能访问一般的成员函数;

[思考1]: 以下的这种赋值方法正确吗?
const int* c=new int();

int* e = c;

答案为不正确,错误提示:从类型‘const int*’到类型‘int*’的转换无效
因为指针指向内容是不可修改的

[思考2]: 以下的这种赋值方法正确吗?
int* const c = new int();
int* 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 对象引用赋值给非const 对象引用导致错误

四 类成员函数中const的使用


一般放在函数体后,形如:void fun() const;

如果一个成员函数的不会修改数据成员,那么最好将其声明为const,因为const成员函数中不允许对数据成员进行修改,如果修改,编译器将报错,这大 大提高了程序的健壮性。

除此之外,在类的成员函数后面加 const 还有什么好处呢?那就是常量(即 const)对象可以调用 const 成员函数,而不能调用非const修饰的函数。正如非const类型的数据可以给const类型的变量赋值一样,反之则不成立。

五 使用const的一些建议


1 要大胆的使用const,这将给你带来无尽的益处,但前提是你必须搞清楚原委;
2 要避免最一般的赋值操作错误,如将const变量赋值,具体可见思考题;
3 在参数中使用const应该使用引用或指针,而不是一般的对象实例,原因同上;
4 const在成员函数中的三种用法要很好的使用;
5 不要轻易的将函数的返回值类型定为const;

6 除了重载操作符外一般不要将返回值类型定为对某个对象的const引用;


五 以下为Const的使用案例

C++代码  收藏代码
  1. #include<iostream>  
  2. using namespace std;  
  3.   
  4. int main()  
  5. {  
  6.     int i = 0;  
  7.     const int constInt = 1;  
  8.     //constInt = 2; // 错误:向只读变量‘constInt’赋值  
  9.     //int &intRef = constInt;//错误:将类型为‘int&’的引用初始化为类型为‘const int’的表达式无效  
  10.     //int *intPtr = &constInt;//错误:从类型‘const int*’到类型‘int*’的转换无效 [-fpermissive]
  11.   
  12.     /* 
  13.         double d = 3.123; 
  14.         int &i = d;//错误:将类型为‘int&’的引用初始化为类型为‘double’的表达式无效 
  15.     */  
  16.     const double constDouble = 3.123;  
  17.     const int &constIntRef = constDouble;  
  18.     //上一行代码会被编译器转换为:  
  19.     const int temp = constDouble;  
  20.     const int &ri = temp;  
  21.     cout << "constIntRef:" << constIntRef << endl;  
  22.     cout << "ri:" << ri << endl;  
  23.   
  24.     //从右往左读  
  25.     const int* constIntPtr;//可以不初始化  
  26.     constIntPtr = &constInt;//指针,指向的是一个整形的常量  
  27.     //*constIntPtr = 0;//错误:向只读位置‘* constIntPtr’赋值  
  28.     //int *const intConstPtr;//错误:未初始化的常量‘intConstPtr’  
  29.     int *const intConstPtr = &i;//常量,整形指针(指向整形变量的常量指针:这个指针的只能赋值一次,它是一个常量)  
  30.     //int *const testIntConstPtr = &constInt;//错误:从类型‘const int*’到类型‘int*’的转换无效 [-fpermissive]  
  31.     //intConstPtr = 0;错误:向只读变量‘intConstPtr’赋值  
  32.     *intConstPtr = 2;  
  33.     cout << "*intConstPtr:" << *intConstPtr << endl;  
  34.     const intconst constIntConstPtr = &constInt;//指向整形常量的常量指针  
  35.   
  36.     //int &r = 0;//错误:用类型为‘int’的右值初始化类型为‘int&’的非常量引用无效  
  37.     const int &r = 0;//那么常量便是有效了  
  38.     cout << "r:" << r << endl;  
  39.   
  40.     int *intPtr = &i;  
  41.     *intPtr = 3;  
  42.     //intPtr = constIntPtr;//错误:从类型‘const int*’到类型‘int*’的转换无效  
  43.     constIntPtr = intPtr;  
  44.     cout << "*constIntPtr:" << *constIntPtr << endl;  
  45. } 

0 0
原创粉丝点击