C++中const的实现机制深入分析
更新时间：2012年12月02日 15:52:52 作者：
C语言以及C++语言中的const究竟表示什么？其具体的实现机制又是如何实现的呢？本文将对这两个问题进行一些分析,需要了解的朋友可以参考下
问题
C语言以及C++语言中的const究竟表示什么？其具体的实现机制又是如何实现的呢？ 本文将对这两个问题进行一些分析，简单解释const的含义以及实现机制。
问题分析
简单的说const在C语言中表示只读的变量，而在C++语言中表示常量。关于const在C与C++语言中的使用以及更多的区别，以后有时间另开一贴说明。
那么const究竟是如何实现的呢？ 对于声明为const的内置类型，例如int，short，long等等，编译器会如何实现const的本意？那么对于非内置类型是否也是与内置数据类型一样处理呢，例如对于结构体类型则会怎样处理呢？下面通过几个小例子来说明这些问题：
C语言const示例：
const int i=10;
int *p=(int *)(&i);
*p=20;
printf("i=%d *p=%d \n",i,*p);
猜一猜输出结果是什么？ i=20 *p=20
C++语言const示例1：
const int i=10;
int *p=const_cast<int *>(&i);
*p=20;
cout<<"i="<<i<<" *p="<<*p<<endl;
输出结果是 i=10 *p=20
C++语言const示例2：
struct test{
int j;
char tmp;
test()
{
j=30;
tmp='a';
}
};
int main(int argc, char* argv[])
{
const struct test t1;
int *q=(int *)(&t1.j);
*q=40;
cout<<"j="<<t1.j<<" *q="<<*q<<endl;
return 0;
}
输出结果是 j=40 *q=40
示例结果分析
看到上面三组输出结果，有没有感到很诡异：
问题1，对于const int类型的变量i，C语言中通过指针p修改了值后，i变成了20；而在C++中，通过指针p修改了值后，i仍然是10。
问题2，C++语言中 const struct test的元素j通过指针q被改变了，为何const int 与 const struct test的反应机制不同？
针对问题1，我们知道C语言中const表示只读的变量，既然把const看成是变量，那么其在内存中就会有存储他的空间，并且可以通过指针间接的改变该内存空间的值，当通过指针p改变该内存中的值后，再获取i的值的时候，会访问该空间，得到的是被改变后的值。而C++把const看做常量，编译器会使用常数直接替换掉对i的引用，例如cout<<i; 会理解成cout<<10; 并不会去访问i的内存地址去取数据，这里有点像是C语言里的宏#define i 10。因此C++里i会输出10，而*p会输出20.
针对问题2，C++语言中只是对于内置数据类型做常数替换，而对于像结构体这样的非内置数据类型则不会。因为结构体类型不是内置数据类型，编译器不知道如何直接替换，因此必须要访问内存去取数据，而访问内存去取数据必然会取到被指针q改变后的值，因此会造成与C++中const int类型完全不一样的处理模式。
小结
C语言与C++有很多的区别与联系，const只是其中一个方面，对于const的理解和使用是编程的基础，需要熟练掌握。
C语言以及C++语言中的const究竟表示什么？其具体的实现机制又是如何实现的呢？ 本文将对这两个问题进行一些分析，简单解释const的含义以及实现机制。
问题分析
简单的说const在C语言中表示只读的变量，而在C++语言中表示常量。关于const在C与C++语言中的使用以及更多的区别，以后有时间另开一贴说明。
那么const究竟是如何实现的呢？ 对于声明为const的内置类型，例如int，short，long等等，编译器会如何实现const的本意？那么对于非内置类型是否也是与内置数据类型一样处理呢，例如对于结构体类型则会怎样处理呢？下面通过几个小例子来说明这些问题：
C语言const示例：
复制代码 代码如下:
const int i=10;
int *p=(int *)(&i);
*p=20;
printf("i=%d *p=%d \n",i,*p);
猜一猜输出结果是什么？ i=20 *p=20
C++语言const示例1：
复制代码 代码如下:
const int i=10;
int *p=const_cast<int *>(&i);
*p=20;
cout<<"i="<<i<<" *p="<<*p<<endl;
输出结果是 i=10 *p=20
C++语言const示例2：
复制代码 代码如下:
struct test{
int j;
char tmp;
test()
{
j=30;
tmp='a';
}
};
int main(int argc, char* argv[])
{
const struct test t1;
int *q=(int *)(&t1.j);
*q=40;
cout<<"j="<<t1.j<<" *q="<<*q<<endl;
return 0;
}
输出结果是 j=40 *q=40
示例结果分析
看到上面三组输出结果，有没有感到很诡异：
问题1，对于const int类型的变量i，C语言中通过指针p修改了值后，i变成了20；而在C++中，通过指针p修改了值后，i仍然是10。
问题2，C++语言中 const struct test的元素j通过指针q被改变了，为何const int 与 const struct test的反应机制不同？
针对问题1，我们知道C语言中const表示只读的变量，既然把const看成是变量，那么其在内存中就会有存储他的空间，并且可以通过指针间接的改变该内存空间的值，当通过指针p改变该内存中的值后，再获取i的值的时候，会访问该空间，得到的是被改变后的值。而C++把const看做常量，编译器会使用常数直接替换掉对i的引用，例如cout<<i; 会理解成cout<<10; 并不会去访问i的内存地址去取数据，这里有点像是C语言里的宏#define i 10。因此C++里i会输出10，而*p会输出20.
针对问题2，C++语言中只是对于内置数据类型做常数替换，而对于像结构体这样的非内置数据类型则不会。因为结构体类型不是内置数据类型，编译器不知道如何直接替换，因此必须要访问内存去取数据，而访问内存去取数据必然会取到被指针q改变后的值，因此会造成与C++中const int类型完全不一样的处理模式。
小结
C语言与C++有很多的区别与联系，const只是其中一个方面，对于const的理解和使用是编程的基础，需要熟练掌握。
相关文章
C++ protobuf中对不同消息内容进行赋值的方式总结(set_、set_allocated_、mutable_、
这篇文章主要给大家介绍了关于C++ protobuf中对不同消息内容进行赋值的方式总结,主要使用的是set_、set_allocated_、mutable_、add_,文中通过实例代码介绍的非常详细,需要的朋友可以参考下2023-03-03
本篇文章是对C++中输出上三角/下三角/菱形/杨辉三角形的示例代码进行了详细的分析介绍，需要的朋友参考下2013-07-07
用c++语言实现一个简单的计算器，新手作品，仅仅包括基本的加减乘除运算。希望能够给菜鸟们一些启发2016-05-05
这篇文章主要为大家详细介绍了C语言实现简单的定时器，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-10-10
deque又称双端队列容器。deque容器中存储元素并不能保证所有元素都存储到连续的内存空间中，本文详细的介绍了C++ deque容器的使用，感兴趣的可以了解一下2021-05-05
这篇文章主要为大家详细介绍了如何使用C++获取逻辑执行毫秒数的方法,文中借助c++11提供的steady_clock,实现了精确获取逻辑执行时间的方法,需要的可以参考下2024-02-02
这篇文章主要为大家详细介绍了C语言实现发送邮件功能，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-06-06
数组是一组有序的数据的集合，数组中元素类型相同，由数组名和下标唯一地确定，数组中数据不仅数据类型相同，而且在计算机内存里连续存放，地址编号最低的存储单元存放数组的起始元素，地址编号最高的存储单元存放数组的最后一个元素2022-05-05
这篇文章主要介绍了C++ ncnn模型验证精度实现过程，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习吧2023-02-02
这篇文章主要介绍了C语言实现打印星号图案，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教2022-11-11
最新评论