C++ const

1.const修饰符 指针 &引用

const int a; int const a; //这两个写法是等同的，表示a是一个int常量。

const char* p  //p是指向const对象的指针，即对象是只读的，指针指向的对象不可修改。

const char* p;

char *p1=p; //不允许的

当然，直接使用非const指针指向const对象也是不合法的。

char c='a'; 

const char* p=&c;//允许的

*p='b';//不允许的

char* const p //p是const指针，即指向对象可编辑，但指针本身不可修改，这一点类似于数组。

如：

char c='a'; 

char* const p=&c;

*p='b';//允许的

p++;//不允许的

char const *p // p指向的值不可修改

 

引用

（1）在实际的程序中，引用主要被用做函数的形式参数--通常将类对象传递给一个函数.引用必须初始化. 但是用对象的地址初始化引用是错误的，我们可以定义一个指针引用。

1 int ival = 1092;

2 int &re = ival;   //ok

3 int &re2 = &ival;   //错误

4 int *pi = &ival;

5 int *&pi2 = pi;   //ok

（2）一旦引用已经定义，它就不能再指向其他的对象.这就是为什么它要被初始化的原因。

（3） const引用可以用不同类型的对象初始化(只要能从一种类型转换到另一种类型即可)，也可以是不可寻址的值，如文字常量。例如

double dval = 3.14159;

//下3行仅对const引用才是合法的

const int &ir = 1024;

const int &ir2 = dval;

const double &dr = dval + 1.0;

上面，同样的初始化对于非const引用是不合法的，将导致编译错误。

（4）不允许非const引用指向需要临时对象的对象或值，即，编译器产生临时变量的时候引用必须为const!!!!切记！！

int iv = 100;

int *&pir = &iv;//错误，非const引用对需要临时对象的引用

int *const &pir = &iv;//ok


const int ival = 1024;

int *&pi_ref = &ival;    //错误，非const引用是非法的

const int *&pi_ref = &ival;   //错误，需要临时变量，且引用的是指针，而pi_ref是一个非常量指针

const int * const &pi_ref = &ival;  //正确

//补充

const int *p = &ival;

const int *&pi_ref = p;  //正确

const引用表示，试图通过此引用去(间接)改变其引用的对象的值时，编译器会报错！

这并意味着，此引用所引用的对象也因此变成const类型了。我们仍然可以改变其指向对象的值，只是不通过引用

下面是一个简单的例子：

#include <iostream>
using namespace std;
int main()
{
    int val = 1024;
    const int &ir = val;
    val++;
    //ir++;
    cout << val << " " << ir << endl;
    return 0;
} 

其中第8行，如果我们通过ir来改变val的值，编译时会出错。但是我们仍然可以通过val直接改变其值(第7行)

 

总结：const引用只是表明，保证不会通过此引用间接的改变被引用的对象！

另外，const既可以放到类型前又可以放到类型后面，放类型后比较容易理解：

string const *t1;

const string *t1;

typedef string* pstring;string s;

const pstring cstr1 = &s;就出错了

但是放在类型后面不会出错:

pstring const cstr2 = &s;

 

 

 

2.const 成员变量

 

const的成员变量只能在类的构造函数初始化，如下编译报错

//const.h
#include<iostream>
class CConst
{
public:
    CConst();
    void print()
    {
        std::cout<<"----"<<cs<<std::endl;
    }
private:
    const int cs;
};

//const.cpp
#include"const.h"
CConst::CConst()
{
}
int main(int argc, char* argv[])
{
    CConst* a = new CConst();
    a->print();
    return 0;
}

编译报错error C2758: 'cs' : must be initialized in constructor base/member initializer list
将const.cpp修改为：

#include"const.h"
CConst::CConst()
{
    cs = 0;
}
int main(int argc, char* argv[])
{
    CConst* a = new CConst();
    a->print();
    return 0;
}

仍然报错：
error C2758: 'cs' : must be initialized in constructor base/member initializer list
修改为下面形式后，正常：

#include"const.h"
CConst::CConst():cs(0)
{
    //cs = 0;
}
int main(int argc, char* argv[])
{
    CConst* a = new CConst();
    a->print();
    return 0;
}

原因是，const数据成员的初始化只能在类的构造函数的初始化表中进行，而中间那种实现之所以报错，是因为cs=0不是初始化，是赋值

3.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函数，这样有助于提高程序的可读性和可靠性。


   对象.成员函数

对象	成员函数	对/错
const	const	对
const	non-const	错
non-const	const	对
non-const	non-const	对

           成员函数调用成员函数

成员函数	成员函数	对/错
const	const	对
const	non-const	错
non-const	const	对
non-const	non-const	对