我们通常定义一个变量,它的性质是可读可写的,如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的头文件;
输出也是一样。