c++高级---C++类中的常量以及cosnt指针的理解

部分转自：http://www.cnblogs.com/this-543273659/archive/2011/08/02/2125020.html

由于#define 定义的宏常量是全局的，不能达到目的，于是想当然地觉得应该用 const 修饰数据成员来实现。const 数据成员的确是存在的，但其含义却不是我们所期望的。const 数据成员只在某个对象生存期内是常量，而对于整个类而言却是可变的，因为类可以创建多个对象，不同的对象其 const 数据成员的值可以不同。
  不能在类声明中初始化 const 数据成员。以下用法是错误的，因为类的对象未被创建时，编译器不知道 SIZE 的值是什么。

class A 
{
  const int SIZE = 100;   // 错误，企图在类声明中初始化 const 数据成员 
  int array[SIZE];  // 错误，未知的 SIZE 
}; 

 

const 数据成员的初始化只能在类构造函数的初始化表中进行（区分，变量可以在构造函数的函数体中初始化
），例如
class A
{
  A(int size);  // 构造函数
  const int SIZE ;   
};

【补充，也可以在cpp文件中初始化，向成员函数的实现一样】
A::A(int size) : SIZE(size)  // 构造函数的
{

}
A  a(100); // 对象 a 的 SIZE 值为 100
A  b(200); // 对象 b 的 SIZE 值为 200

 

 

 怎样才能建立在整个类中都恒定的常量呢？以下介绍两种方法：

1.用类中的枚举常量来实现。例如

class A
{
  enum { SIZE1 = 100, SIZE2 = 200}; // 枚举常量
  int array1[SIZE1]; 
  int array2[SIZE2];
};

枚举常量不会占用对象的存储空间，它们在编译时被全部求值。枚举常量的缺点是：它的隐含数据类型是整数，其最大值有限，且不能表示浮点数（如 PI=3.14159）。

 

2.使用关键字static:

class A

{

 static const int SIZE=100;

 int array[SIZE];

 

}

这将创建一个名为SIZE的常量，该常量将与其他静态变量存储在一起，而不是存储在某个对象中。因此，此常量将被整个类的所有对象共享。

注意：只能利用这种技术声明值为整数或者枚举的静态常量，而不能存储double类型的常量。

 

【补充，对于char* p="ABCD";表示编译时在常量存储区存入ABCD并在数据区定义一个指针变量p指向那个常量存储区，任何企图使用p对常量存储区的内容的修改都会报错，虽然p不是const的但它的行为在这里却类似是const的。

还有对于string s="ABCD"或string s("ABCD");我认为编译时在常量存储区先放入ABCD，然后在数据区定义一个类变量s，再然后把常量存储区内的内容ABCD复制到变量s内存内。可以简单认为上面语句是调用string类的拷贝构造函数，而这个拷贝构造函数的形参是const char[]数组类型，系统会先定在常量存储区定义好ABCD，然后紧接着复制ABCD到s中，有个ABCD字符串隐式转换到char[]的过程。注意const修饰的指针可以指向非const对象，而非const指针不可以指向const的对象。不要理解为const修饰的指针表示该指针执行const对象，而应理解为const修饰的指针执行一个对象，并且不能用这个指针去修改这个对象，只能用这个指针去读取这个对象。】