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

╰+哭是因爲堅強的太久メ 2024-04-17 22:45 33阅读 0赞

部分转自：[http://www.cnblogs.com/this-543273659/archive/2011/08/02/2125020.html][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修饰的指针执行一个对象，并且不能用这个指针去修改这个对象，只能用这个指针去读取这个对象**。】

[http_www.cnblogs.com_this-543273659_archive_2011_08_02_2125020.html]: http://www.cnblogs.com/this-543273659/archive/2011/08/02/2125020.html