const与指针的关系

我们通常定义一个变量，它的性质是可读可写的，如int a = 10；这里的a既可以被读取，又可以被指针所修改，那我们加上const这个关键字情况就变了；

一：变量a是普通变量

void fun()
{
	int a = 10;
	int* p1 = &a;
	const int* p2 = &a;
	int const* p3 = &a;
	int* const p4 = &a;
	const int* const p5 = &a;
}

在上面的代码里面，我们的变量a是普通变量；
对于p1：它是可以修改a的值的，并且p1也不受约束，也就是p1可以重新指向另外一个变量；
对于p2：我们加了const这个关键字，用于约束指向的值“ * ”，也就是我们p2指向a变量，但不可以通过p2去改变a的值，但是p2的指向可以改变，即它可以重新指向另外一个变量；
对于p3：我们和p2一样，都是修饰了指向的值；
对于p4：我们也加了const这个关键字，但是它用于修饰了指针的指向，也就是我们可以通过p4去修改变量a的值，但是我们p4不能重新指向其他变量，因为我们的指针是常性的，也就是所谓的常指针；
对于p5来说，加了俩个const，它的指向能力和指向的值都被约束了，既不能改变a的值，又不能使p5重新指向另外一个变量；

二：变量a是常变量

void fun()
{
	const int a = 10;
	int* p1 = &a;    //error
	const int* p2 = &a;
	int* const p3 = &a;    //error
	const int* const p4 = &a;
}

这里我们将变量a定义为常变量；
对于p1来说，没有常性约束它，即它可以修改a的值，但是我们常性变量不允许，所以这句话是错误的；
对于p2来说，我们const修饰的是它的指向的值，即" * "，也就是不可以改变a的值，但是我p2可以指向其他的变量，这个并没有约束;
对于p3来说，我们只是不能修改p3的指向，但是它的指向的值可以修改，所以有错误；
对于p4来说，都被约束了，这必然可以通过；

但是我们对于const修饰的变量来说，相同的程序其输出结果可能还是不一样的，这主要是由于我们的编译器编译过程；

总结：我们可以进行能力收缩，但不能进行能力扩展，编译器运行时一般都是向能力收缩方向迈进。

对于下面的程序，我们a、b和*p的值都是什么呢？

int main()
{
	const int a = 10;
	int b = 0;
	int* p = const_cast<int*>(&a);   //去常
	*p = 100;
	b = a;
	cout << "a = " << a << "b = " << b << "*p = " << *p << endl;
	return 0;
}

在C++的编译环境下，输出结果是

主要是因为在编译的时候，我们已经将常变量a当做常量，即都已替换为10了，所以此时执行的就是将立即数10赋值给b，但是此时a的值已经是100了，只不过输出的时候输出为10了；

我们通过监视窗口明显可以看到，a的值已经被修改为100了；
在C的编译情况下，我们是将【a】的值给b，而不是将立即数的值给b，所以输出a的值h是100；

那我们如何知道当前是在C的环境下还是C++的环境下呢？

此时我们就需要引入一个宏定义

#ifdef __cplusplus
#include<iostream>
using namespace std;
#else
#include<stdio.h>
#endif
int main()
{
	const int a = 10;
	int b = 0;
	int* p = const_cast<int*>(&a);
	*p = 100;
	b = a;
#ifdef __cplusplus
	cout << "a = " << a << "b = " << b << "*p = " << *p << endl;
#else
	printf("a=%d b=%d *p=%d\n", a, b, *p);
#endif
	return 0;
}

如果我们当前是C++的环境下，那就执行C++的头文件，如果是C的环境，那就执行C的头文件；
输出也是一样。