C++进阶剖析（一）之const关键字

1.1const 在C语言中的表现
1.1.1 const 修饰变量
1.1.1.1 const 修饰变量

• const 修饰的变量是只读的，本质还是变量
• const 修饰的局部变量在栈上分配内存
• const 修饰的全局变量在全局数据区分配内存（如果修改，一般编译器会报错）
• const 只在编译期间有效，在运行期无效。

注意：注意：注意：const 修饰的变量不是真正的常量，而是告诉编译器，const修饰的变量不能出现在赋值符号的左边。

C语言中真正意义的常量是enum

1.1.1.2 代码
c代码：

int main()
{
	const int c =0;
	int *p = (int*) &c;
	*p =5;
	printf("begin...\n");
	printf("c=%d\n",c);   //5
	printf("*p=%d\n",*p); //5
	printf("end...\n");
	return 0;
}

C++代码：

int main()
{
	const int c =0;
	int *p = (int*) &c;
	*p =5;
	printf("begin...\n");
	printf("c=%d\n",c);   //0
	printf("*p=%d\n",*p); //5
	printf("end...\n");
	return 0;
}

1.1.2 编译器方面注意事项

• 现代C语言编译器中，修改const全局变量导致程序崩溃
• 而在标准C语言（比如bcc编译器）编译器中，不会将const修饰的全局变量存储于只读存储区，而是存储在可修改的全局数据区，值可以改变。
  实例程序：

//程序在现代编译器中运行会报错。因为a变量被放在了只读存储区内。不能通过间接方式修改。
const int a =10;

int main()
{
	int * p = &a;
	*p =20;
	
	return 0;
}

1.1.3 结论

• C语言中的const 使得变量具有只读属性。‘
• 现代C编译器中的const将具有全局生命周期的变量存储于只读存储区（全局生命周期的是全局变量和静态局部变量）。
• const不能定义真正意义上的常量

1.1.4 const 本质分析
下面的案例说明了const 的本质。
C代码

const int g_a[5] ={ 0 };
void modify(int * p ,int value)
{
	*p =  value;
}

int main()
{
	const int a =10;
	const static int b =20;
	const  int buf[5]={0};
	//modify((int*)&(g_a[0]) ,1);   //error 现代编译器报错，
	modify((int*)&(a),2);			//ok
	//modify((int*)&b,3);				//error  现代编译器报错，
	modify((int*)&(buf[0]),4);		//ok
	return 0;
}

1.1.5 const工程常用

• const修饰函数的参数表示在函数体内不希望改变参数的值。
• const修饰函数返回值表示返回值不可以改变，多用于返回指针的情况。
  注意：
  C语言中的字符串字面量存储在只读存储区，在程序中需要使用const char* 指针。

C代码

const char* f(const int i)
{
    i = 5;
    
    return "Delphi Tang";
}

int main()
{
    char* pc = f(0);
    
    printf("%s\n", pc);
    
    pc[6] = '_';
    
    printf("%s\n", pc);
    
    return 0;
}

1.2 const在C++中的表现
1.2.1C++ 中的const
c++在C的基础上对const进行了进化处理

• 碰见const 声明时，在符号表中放入常量
• 编译器若法相使用常量则直接以符号表中的值替换
• 编译过程中若法相下列情况则给对应的常量分配内存
  （1） 对const 常量使用了extern
  （2）对const 常量使用& 操作符

注意：c++编译器虽然可能为常量分配内存空间，但是不使用这个内存空间中的值（单纯是为了兼容C语言的语法特性）
代码：

int main()
{
    const int c = 0;
    int* p = (int*)&c;
    
    printf("Begin...\n");
    
    *p = 5;
  
    printf("c = %d\n", c);   //注意代码在C语言和C++中运行结果的区别
    printf("*p = %d\n",*p);  //注意代码在C语言和C++中运行结果的区别
    printf("End...\n");
    
    return 0;
}

1.2.2结论

• C语言中const常量是只读变量，可以通过间接的方式进行修改
• c++中定义的const 常量是真正意义上的常量。
• c++ 中只有当取地址& 操作和extern修饰const时，才会分配内存。不过const常量不使用这个内存。

1.3 const 和宏定义
1.3.1 区别
const int a =10 <=====> #define a 10 ;

• 宏定义是由预处理器处理的，仅仅是进行简单的文本替换’
• const 常量是编译器进行处理的，会进行作用域检查和类型检查

void f()
{
    #define a 3         // 宏是没作用域限制的,被预处理器处理
    const int b = 4;      // const 有作用域限制和类型检查，被编译器处理
}
void g()
{
    printf("a = %d\n", a);
    //printf("b = %d\n", b);  //error 
}
int main()
{	const int A = 1;
    const int B = 2;
    int array[A + B] = {0};      //c语言中会报错 ，c++中不会报错
    int i = 0;
    for(i=0; i<(A + B); i++)
    {
        printf("array[%d] = %d\n", i, array[i]);
    }  
    f();
    g();
    
    return 0;
}

1.3 const
1.3.1 const char * p 和char * const p

int func1(const char * p)
{	
	char * tmp ="zhangsan";
	p = tmp;    //指针所指向的值不能改变，但是可以改变指针的指向
	printf("func1 : %s\n",tmp);

}

int func2(const char * const p)
{
	char * tmp ="lisi";
	//p = tmp;     //error  不能改变指针的指向，也不能改变指针的值 ，unix中竟然不报错
	printf("func2 : %s\n",p);
	return 0;
}


int main()
{
	char * p ="1234545";
	func1(p);
	func2(p);
	return 0;
}

参考一：狄泰软件课程。