const限定修饰符用法总结(常量,指针,迭代器,函数参数,成员函数)

在这里总结一下const限定修饰符的各种用法,都已经过vs2010测试。

1)  声明及初始化const常量。

在声明一个const常量时,必须对其初始化,否则会报错。

1 const int constvar;         //error
2 const int constvar = 10; //ok

但是,有一个例外的情况,就是extern进来的const常量不需要初始化(如果该常量其他地方确实有出现,这时将它extern进来并且初始化反而会出错)。

1 extern const int externvar;

2)  指针。

对于指针变量有以下四种情况(这四句是不完整的,其中有些必须在声明时进行初始化,否则会出错,故未写分号^^):

a int *ptr1
b const int *ptr2
c int *const ptr3
d const int *const ptr4

a)  指向非const对象的指针。

试图将非const对象的指针指向一个常量对象将引起编译错误,即下面的语句将不能通过编译。

1 int *ptr1 = &constvar;      //error

原因很简单。如果可以编译成功,我们则可以通过类似*ptr1=100这样的语句修改constvar常量的值(由于编译器不能跟踪指针在程序中任意一点指向的对象是否为常量,所以是可以赋值成功的)。这样一来就不能称之为常量了。

b)  指向const对象的指针。

与a做对比,此时由于ptr2指向的是一个const常量,所以就可以将它赋值为const常量的地址了。

1 const int *ptr2 = &constvar;    //ok

此时,由于ptr2指向的对象是常量,所以不能通过指针修改常量的值。但是,由于指针本身不是常量,所以可以修改指针,令其指向其他常量,甚至可以令其为0。

1 *ptr2 = 100;                     //error
2 const int constvar2 = 100;
3 ptr2 = &constvar2; //ok
4 ptr2 = 0; //ok

另外,也可以令ptr2指向一个变量(非常量),但是也同样,不能通过指针修改变量的值,如下:

1 int nonconst = 1000;
2 ptr2 = &nonconst; //ok
3 *ptr2 = 10000; //error

c)  const指针,指向const或非const对象。

声明const指针时,必须同时对其进行初始化。

1 int nonconst = 1000;
2 int *const ptr3; //error
3 int *const ptr3 = &nonconst; //ok

如果,ptr3指向的是一个非const对象,可以通过ptr3修改该对象的值,但是不能修改ptr3指针本身的值,如下:

1 *ptr3 = 10000;        //ok
2 ptr3 = &constvar; //error

d)  指向const对象的const指针。

终于最后一个了。这种指针,就是把前面的几个结合起来。声明时必须初始化,指针指向的对象以及指针本身都不能修改。

3)  迭代器。

const_iterator用于遍历const容器。

1 const vector<int> constvector;
2 vector<int>::iterator it = constvector.begin(); //error
3 vector<int>::const_iterator it = constvector.begin(); //ok

const_iterator保证是以只读的方式访问容器元素,不得通过迭代器修改容器元素的值。

1 *it = 20;    //error

4)  函数参数。

参数传值还是传指针还是传引用的问题这里就不啰嗦了。

当参数为引用时,如果不希望引用参数在被调用的函数内部被修改,就可以使用const修饰符修饰引用参数。

1 void func(const int& var)
2 {
3 var = 100; //error
4 }

用const修饰传值参数是没有任何意义的,因为传值本身就是传入一个实参的副本,并不会修改实参(刚入职时,我就犯了这个低级的错误--|)。

5)  const成员函数。

在有些类的成员函数中,往往会看到在参数列表的最后有一个const修饰符,形如:

 1 class test
2 {
3 public:
4 int getVar() const
5 {
6 return var; //ok
7 }
8 void setVar(const int& aVar) const
9 {
10 var = aVar; //error
11 }
12
13 private:
14 int var;
15 };

a) 用const修饰成员函数,表明不能通过调用该成员函数修改类对象。如上例中setVar函数由于修改了test类中的var成员变量,所以不能使用const限定符修饰。

b) 对于在类外定义的成员函数,必须在成员函数定义和声明中指定关键字const,不然将被视为重载,如下:

 1 class test
2 {
3 public:
4 int getVar() const;
5 private:
6 int var;
7 };
8
9 int test::getVar() //error:overloaded member function not found in 'test'
10 {
11 return var;
12 }

c) const类对象只能调用其const成员函数(除了构造函数和析构函数,后面详解)。

 1 class Test
2 {
3 public:
4 int getVar(){ return var; }
5 private:
6 int var;
7 };
8
9 int main()
10 {
11 const Test consttest;
12 consttest.getVar(); //error
13
14 return 0;
15 }

第12行语句将报错,由于Test类并没有定义一个const版本的getVar()成员函数。

但是,这种情况有一个例外,就是构造函数和析构函数。即使构造函数和析构函数不是const的,const类对象也同样可以调用它们。所以一个const类对象“从构造完成时刻到析构开始时刻”这段时间被认为是const的(尝试将构造函数写为const,不过报错了)。

d) 如果一个类含有指针,那么在const成员函数中还是可以修改指针所指的对象。其实想想这句话也比较好理解,指针的值是不能修改的,但是指针所指的对象是可以修改的。

 

先总结到这里,应该还漏掉不少使用方法,这其中也可能有不少错误或者笔误。欢迎补充并指正。^^

(完)

posted @ 2011-11-22 23:04  AnnieKim  阅读(5266)  评论(4编辑  收藏  举报