C++ 关键字const使用说明

对于C++中的const关键字来说，主要有以下几类用法：

1、声明一个常量

其使用语法： const <> <> = <>;

示例：

const int TABLE_SIZE = 100;

const char LABLE = 'c';

此外，类型这种内置类型的const常量一样，我们还可以定义const对象。例如 Class A {...}; 则可以 这样定义const 对象 const A a；则此时a为一个const对象，只能调用常量成员函数。

2、常量成员函数

const可以放置到成员函数的参数列表后面，表明这个函数是一个常量成员函数。 常量成员函数可以查看某个对象的状态，但是不能修改其对象。

为什么要使用常量成员函数？

有两个原因：

A、用于提高程序可读性和可靠性，明确声明为常量的成员函数则不会修改对象，若代码中对对象进行了修改，则编译器可以帮助我们进行检查，避免了人为疏忽 造成的错误。

B、让const常量对象可以调用常量成员函数。如果有一个const 对象，则该对象只能调用类中的常量成员函数，不能调用非常量成员函数。 （非const 对象则不受const限制，所以既可以调用非常量成员函数又可以调用常量成员函数。）

另外，要注意的事情： const成员函数中也不能调用非常量成员函数。如果允许const成员函数调用非const成员函数，则会导致const对象在调用const成员函数时间接调用了非const成员函数。

举例如下：

class TestConstFunc
{
public:
TestConstFunc(int val = 0):value(val)
{

}
~TestConstFunc()
{

}
void setValue(int val)
{
value = val;
}
int getValue()const
{
return value;
}
void print()const
{
std::cout << value << std::endl;
}
void print_no_const()
{
std::cout << value << std::endl;
}
private:
int value;
};

void TestConstObject()
{
int x = 0;
TestConstFunc obj;
obj.setValue(4);
x = obj.getValue();
obj.print();
obj.print_no_const();

const TestConstFunc const_obj(10);
//const_obj.setValue(3);   //ERROR： setValue 企图修改const对象中的成员数据
//const_obj.print_no_const(); //ERROR： print_no_const 虽然没有企图修改const对象中的成员数据，但是没有const修饰，所以不允许const对象调用。
const_obj.print();
x = const_obj.getValue();
}

在类TestConstFunc中，有一个构造函数和一个析构函数，此外有两个非常量成员函数setValue和print_no_const，两个常量成员函数getValue和print。当用户在TestConstObject函数中，声明一个非const对象obj时，该对象由于不是const对象，则obj可以调用该类的所有函数。而
const_obj对象由于是一个const对象，则该对象只能调用常量成员函数，调用非常量成员函数则导致编译器错误。（代码中注释的部分）

3、const引用参数

在C++中使用引用作为函数参数主要目的有两个：A、以引用传递的参数可以在函数中修改并传递到被调用函数；B、当参数为用户定义类型时，使用引用作为函数参数传递，可以避免大对象的赋值传递开销。

如果我们使用引用的目的是B项的要求时，一般可以将引用参数声明为const，则避免了在传递的函数内部对传递参数的修改。

例如：

double distance（const point &p1， const point &p2）；这样在distance函数内部则不能对p1和p2进行修改，只能读取p1和p2的值，防止由于参数修改影响调用函数。

4、静态成员常量

在类中，静态成员常量的声明前面有两个关键字，分别为static和const。关键字static表明，整个类只有一个该成员的副本，而关键字const则表明程序不能修改这个值（就像普通声明的常量一样）。

例如： static const size_t TABLE_SIZE = 100; 说明了类中的一个表的大小为100。

除了在类定义声明静态成员变量以外，在实现文件中还必须重复这个常量的声明（此时不比使用关键字static）。

例如： const size_t class_name::TABLE_SIZE;

注意：此处的初始值100只能在头文件中（不能再实现文件中）给出。但是，在头文件中定义值的这种技术，只适用于整数类型，比如int或者size_t 。非整数类型则必须采用另外一种方式，把值放到实现文件中，而不能放到头文件中。

例如： 头文件中： static const double d; 实现文件中：const double d = 3.1415;

5、常量迭代器（所指向的对象不能修改）

常量迭代器是一种不以任何方式修改容器的迭代器。它可以再容器中进行移动，但禁止添加、删除或者修改任何数据项。

例如：

#include <vector>
using std::vector;

// 在vector里面找到比target值小的元素个数
vector<int>:: size_type count_less_than_target(const vector<int>& vec, int target)
{
int answer = 0;
vector<int>::const_iterator it;  //it 为const常量迭代器，只能在vector容器中移动，不会修改容器数据

for (it = vec.begin(); it != vec.end(); ++it)
{
if (*it < target)
{
++answer;
}
}
return answer;
}

void TestCntLessThanTarget()
{
vector<int> a;
a.push_back(2);
a.push_back(3);

int x = count_less_than_target(a, 4);
std::cout << x << endl;  // x=2
}

6、const可以作为指针或者数组参数的修饰符，表示该指针或者数组参数为常量参数

使用类型： fun（const int* i_ptr）

此情况下这些函数可以查看由指针所指向的数据项，但禁止修改数据项。