C++ const 限定符总结

 

1.  定义const对象

const 把一个对象转换成一个常量:  

const int bufSize = 512;定义bufSize为常量并初始化为512. 

因为常量在定义后就不能修改，所以定义时必须初始化。

 

 2 const 引用

 

const int ival = 1024;

const int &refVal = ival;

 

const 引用可以绑定到不同但相关的类型的对象或绑定到右值

int i=42;   double dval = 3.14;

const int &r = 42;

const int &r2 = r+i;

const int &ri = dval;

 

非const 引用只能绑定到与该引用同类型的对象

原因：

double dval = 3.14;

const int &ri = dval;

编译器会把代码转换成如下形式：

int temp = dval;

const int &ri = temp;

如果ri不是const 引用, 就能改变ri的值，ri的改变只是改变了temp 不会改变 dval, 这一点就明显不符合引用是对象的别名这一性质。

 

 

3 指向const 对象的指针

const double *cptr;  cptr是一个指向double 类型const 对象的指针, const 限定了cptr 指针所指向的对象类型,而并非cptr本身。也就是说，cptr 本身并不是const 指针。如果需要的话，允许给cptr重新赋值，使其指向另一个const 对象。但不能通过 cptr 修改其所指对象的值。

 

*cptr = 42 ; //错误的，不能通过cptr修改其指向的const 对象。

 

不能把const 对象的地址赋给一个普通的，非const 对象的指针（原因很明显）

 

 

 4.const 指针

 

 const 指针，本身的值不能修改。（指针是一个特殊的变量，它里面存储的数值被解释成为内存里的一个地址，即指针存储的这个地址将不会改变）与任何const 量一样，const 指针也必须在定义时初始化。

int errNumb = 0;

int *const curErr = &errNumb;  curErr是指向int 型对象的const 指针。

const 指针指向的对象不是const 的，所以可以改变。

*curErr = 0;   //OK

 

 

5 指向const 对象的 const 指针

const double pi = 3.14159;

const double *const pi_ptr = π

由4,5可知,即不能修改pi_ptr所指向对象的值，也不允许修改该指针的指向（即pi_ptr中存放的地址值）,必须在定义时初始化。

 

 

 6.const_iterator

每种容器类型定义了一种名为const_iterator 的类型，该类型只能用于读取容器内的元素,但不能改变其值。和上面所讲的第3点相似。

for(vector<string>::const_iterator iter = text.begin();iter!=text.end();++iter)

             *iter = “ “; //错误的。

 

 7 const 迭代器

（与上面讲的第4点相似）

vector<int > nums(10);

const vector<int>:;iterator cit = nums.begin();

*cit = 1;  //OK

 ++cit;   //错误的。

 

 8 const 对象的动态分配和回收

 

const int *pci = new const int (1024);

对于类类型的const 动态对象，如果该类提供了默认的构造函数，则此对象可隐式初始化;内置类型对象或未提供默认构造函数的类类型对象必须显式初始化。

删除const 对象   delete pci;

 

 

9        用于const 对象的构造函数

构造函数不能声明为const。创建类类型的const 对象时，运行一个普通构造函数来初始化该const 对象。构造函数的工作是初始化对象。不管对象是否为const ,都用一个构造函数来初始化该对象。

 

10     const 成员函数

一些成员函数改变对象，一些成员函数不改变对象。
例如：
int Point::GetY()
{
　return yVal;
}
　　这个函数被调用时，不改变Point对象，而下面的函数改变Point对象：
void Point:: SetPt (int x, int y)
{
　xVal=x;
　yVal=y;
}
　　为了使成员函数的意义更加清楚，我们可在不改变对象的成员函数的函数原型中加上const说明：
 

 

  class Point
{
　public:
　　int GetX() const;
　　int GetY() const;
　　void SetPt (int, int);
　　void OffsetPt (int, int);
　private:
　　int xVal, yVal;
};
 

　　const成员函数应该在函数原型说明和函数定义中都增加const限定：
 

 

  int Point::GetY() const
{
　return yVal;
}
class Set {
public:
　Set (void){ card = 0; }
　bool Member(const int) const;
　void AddElem(const int);
　//...
};
bool Set::Member (const int elem) const
{
　//...
}

 

　　非常量成员函数不能被常量成员对象调用，因为它可能企图修改常量的数据成员：
　　const Set s;
　　s.AddElem(10); // 非法: AddElem不是常量成员函数
　　s.Member(10); // 正确
　　但构造函数和析构函数对这个规则例外，它们从不定义为常量成员，但可被常量对象调用（被自动调用）。它们也能给常量的数据成员赋值，除非数据成员本身是常量。
为什么需要const成员函数？
　　我们定义的类的成员函数中，常常有一些成员函数不改变类的数据成员，也就是说，这些函数是"只读"函数，而有一些函数要修改类数据成员的值。如果把不改变数据成员的函数都加上const关键字进行标识，显然，可提高程序的可读性。其实，它还能提高程序的可靠性，已定义成const的成员函数，一旦企图修改数据成员的值，则编译器按错误处理。
const成员函数和const对象
　　实际上，const成员函数还有另外一项作用，即常量对象相关。对于内置的数据类型，我们可以定义它们的常量，用户自定义的类也一样，可以定义它们的常量对象。例如，定义一个整型常量的方法为：
　　const int i=1 ；
同样，也可以定义常量对象，假定有一个类classA，定义该类的常量对象的方法为：
　　const classA a(2)；
　　这里，a是类classA的一个const对象，"2"传给它的构造函数参数。const对象的数据成员在对象寿命期内不能改变。但是，如何保证该类的数据成员不被改变呢？
　　为了确保const对象的数据成员不会被改变，在C++中，const对象只能调用const成员函数。如果一个成员函数实际上没有对数据成员作任何形式的修改，但是它没有被const关键字限定的，也不能被常量对象调用。下面通过一个例子来说明这个问题：
 

 

  class C
{
　int X;
public:
　int GetX()
　{
　　return X;
　}
　void SetX(int X)
　{
　　this->X = X;
　}
};
void main()
{
　const C constC;
　cout<<constC.GetX();
}

 

　　如果我们编译上面的程序代码，编译器会出现错误提示：constC是个常量对象，它只能调用const成员函数。虽然GetX( )函数实际上并没有改变数据成员X，由于没有const关键字限定，所以仍旧不能被constC对象调用。如果我们将上述加粗的代码：
　　int GetX()
改写成：
　　int GetX()const
再重新编译，就没有问题了。
const成员函数的使用
　　const成员函数表示该成员函数只能读类数据成员，而不能修改类成员数据。定义const成员函数时，把const关键字放在函数的参数表和函数体之间。有人可能会问：为什么不将const放在函数声明前呢？因为这样做意味着函数的返回值是常量，意义完全不同。下面是定义const成员函数的一个实例：
　　class X
　　{
　　　int i;
　　　public:
　　　int f() const;
　　};
　　关键字const必须用同样的方式重复出现在函数实现里，否则编译器会把它看成一个不同的函数：
　　int X::f() const
　　{
　　　return i;
　　}
　　如果f( )试图用任何方式改变i或调用另一个非const成员函数，编译器将给出错误信息。任何不修改成员数据的函数都应该声明为const函数，这样有助于提高程序的可读性和可靠性。

  对象.成员函数

     对象          成员函数       对/错
1、  const         const           对
2、  const         non-const       错
3、  non-const     const           对
4、  not-const     non-const       对



          成员函数调用成员函数

     成员函数      成员函数       对/错
5、  const         const           对
6、  const         non-const       错
7、  non-const     const           对
8、  non-const     non-const       对

 

 

总之，被定义为const 的量都是不能改变的，作何有改变企图的将会出错。