[c++ primer plus]常用的const及const的语意

1. const int * p = &x;


2. int const * p = &x;


3. void class::function(const class& ref);


4. void class::function() const;


5. const class1 class2::function2();


6. const class2& class2::function2(const class2& ref);

前三种都比较熟悉；

第四种针对“常对象只能调用常成员函数”；

第五种仅针对“消除连环调用”，如：(class2.function2()).function1()，那么function1被执行的前提是：该函数也是const的。对于class2.function2()返回值送出去了的情况，该const限定符是没有意义的，如下：


const class1 cs1 = class2.function();


class1 cs1 = class2.function();

第六种针对语意，传入是const&，传出当然也是const&。const从语意上理解就是：只读；在定义（非声明）的时候就必须初使化；作用域在仅在文件。

1. const型形式参数与非const型形式参数，不能作为函数重载的特征标。

2. 返回值是const型与非const型，不能作为函数重载的特征标。

3. 成员函数对于类而言，是不是const型的，可以作为重载的特征标。

是否具备作为重载的特征标，要从语意上分析。


void func1(int* p)




...{


cout << *p << endl;


}




const int *p = &a;


int* p1 = p;


func1(p)


func1(p1);

6. 利用const在头文件中定义全局变量时，可以把这个头文件包含到多个其它.cpp文件中（可见，const的作用域仅限于单个cpp文件）。

7. 成员变量类型static const 、static、const的差别

static型为类共有，存储在对象之外。只能在类外初使化，不能在声明时初使化。这是因为被static声明的类静态数据成员，其实体远在main()函数开始之前就已经在全局数据段中诞生了(见《Inside The C++ Object Model》page247)！其生命期和类对象是异步的，（而且静态语意说明即使没有类实体的存在,其静态数据成员的实体也是存的）这个时候对象的生命期还没有开始，如果你要到类中去初始化类静态数据成员,让静态数据成员的初始化依赖于类的实体,，那怎么满足前述静态语意呢?难道类永远不被实例化，我们就永远不能访问到被初始化的静态数据成员吗? 所以为了满足C++的static语意,static成员一定要在类外初始化!

const型为对象所有。只能在构造函数中以列表方式初使化。

static const型为类共有。可以在类声明时初使化，因为其是const类型的，所以可以在类内初使化。