C++ const实现原理

最新推荐文章于 2022-08-02 15:19:11 发布
最新推荐文章于 2022-08-02 15:19:11 发布
阅读量2.1k 收藏 1
点赞数 2
分类专栏： C/C++ 文章标签： C++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/u010276189/article/details/50948667
版权

const 用于修饰常量时，分两种情况


1. 被修饰的常量是基本类型

此时，程序在编译时，就将变量用常量来替换了。

	实现机制：这些在编译期间完成，对于内置类型，如int，编译器可能使用常数直接替换掉对此变量的引用。而对于结构体不一定。
	看下面的例子：

const int j=100;    int *p=const_cast<int*>(&j);    *p=200;    cout<<j<<endl;   输出为什么是100呢？

cout<<*p<<endl; //输出是改过的200

编译器在优化代码时把cout<<j直接优化成cout<<100了，所以虽然p和&j的值一样，但cout<<j不再通过访问j的地址输出。（反汇编时也有看到直接把数字压栈push 100 ）

这是因为，const型在压栈时，是使用的直接的数，就有点像C的#define a 100

ps：

基本数据类型如下:

Name Description Size* Range*
char Character or small integer. 1byte signed: -128 to 127
unsigned: 0 to 255
short int (short) Short Integer. 2bytes signed: -32768 to 32767
unsigned: 0 to 65535
int Integer. 4bytes signed: -2147483648 to 2147483647
unsigned: 0 to 4294967295
long int (long) Long integer. 4bytes signed: -2147483648 to 2147483647
unsigned: 0 to 4294967295
bool Boolean value. It can take one of two values: true or false. 1byte true or false
float Floating point number. 4bytes +/- 3.4e +/- 38 (~7 digits)
double Double precision floating point number. 8bytes +/- 1.7e +/- 308 (~15 digits)
long double Long double precision floating point number. 8bytes +/- 1.7e +/- 308 (~15 digits)
wchar_t Wide character. 2 or 4 bytes 1 wide character


2. const 变量修饰的是非基本类型。

此时，程序编译时，不知道该用什么值替换再编译；所以，将会用一块内存地址替换，然后再编译。

#include <iostream> 
using namespace std; 
struct A 
	{    
	int i;    
	char ch;    
	A()    
		{        
		i = 100;        
		ch = 'S';    
		} 
	}; 

int main() 
{    
	const A a;    
	const int i = 200;    
	int *p1 = (int*)&a.i;    
	int *p2 = (int*)&i;    
	*p1 = 1;    
	*p2 = 2; 
	//a.i = 200; //报错，左值不能为const    
	cout << a.i << " " << a.ch << endl;    
	cout << i << endl;    
	return 0; 
}

运行结果：

1 S 200


const用于修饰函数也包含两种情况

1. const在函数名前。

此种情况下表示，该函数返回值的类型使一个const类型。 

<span style="font-family: FangSong_GB2312;"><u>例如函数
</u></span><span style="font-family: FangSong_GB2312;"><span style="white-space: pre;">		</span>const char * GetString(void);
</span><span style="font-family: FangSong_GB2312;"><span style="white-space: pre;">	</span>如下语句将出现编译错误：</span><span style="font-family: FangSong_GB2312;">
<span style="white-space: pre;">		</span>char*str = GetString();
</span><span style="font-family: FangSong_GB2312;"><span style="white-space: pre;">	</span>正确的用法是</span><span style="font-family: FangSong_GB2312;">
<span style="white-space: pre;">		</span>const char *str =GetString();</span>


2. const在成员函数名之后

此种情况下表示，该函数中将不会对改类的成员变量做任何改变。

<span style="font-family: FangSong_GB2312; color: rgb(255, 0, 0);"><span style="white-space: pre;">	</span>任何不会修改数据成员的函数都应该声明为const</span><span style="font-family: FangSong_GB2312; color: rgb(255, 0, 0);">类型。</span><span style="font-family: FangSong_GB2312;">如果在编写</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">成员函数时，不慎修改了数据成员，或者调用了其它非</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">成员函数，编译器将指出错误，这无疑会提高程序的健壮性。以下程序中，类</span><span style="font-family: FangSong_GB2312;">stack</span><span style="font-family: FangSong_GB2312;">的成员函数</span><span style="font-family: FangSong_GB2312;">GetCount</span><span style="font-family: FangSong_GB2312;">仅用于计数，从逻辑上讲</span><span style="font-family: FangSong_GB2312;">GetCount</span><span style="font-family: FangSong_GB2312;">应当为</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">函数。编译器将指出</span><span style="font-family: FangSong_GB2312;">GetCount</span><span style="font-family: FangSong_GB2312;">函数中的错误。</span><span style="font-family: FangSong_GB2312;">
classStack
{
<span style="white-space: pre;">	</span>public:
<span style="white-space: pre;">		</span>void Push(int elem);
<span style="white-space: pre;">		</span>int Pop(void);
<span style="white-space: pre;">		</span>int GetCount(void) const; // const </span><span style="font-family: FangSong_GB2312;">成员函数</span><span style="font-family: FangSong_GB2312;">
<span style="white-space: pre;">	</span>private:
<span style="white-space: pre;">		</span>intm_num;
<span style="white-space: pre;">		</span>int m_data[100];
};</span>
<span style="font-family: FangSong_GB2312;">
int Stack::GetCount(void)const
{
<span style="white-space: pre;">	</span>++ m_num; // </span><span style="font-family: FangSong_GB2312;">编译错误，企图修改数据成员</span><span style="font-family: FangSong_GB2312;">m_num
<span style="white-space: pre;">	</span>Pop();// </span><span style="font-family: FangSong_GB2312;">编译错误，企图调用非</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">函数</span><span style="font-family: FangSong_GB2312;">
<span style="white-space: pre;">	</span>return m_num;
}</span>
<span style="font-family: FangSong_GB2312;">
const </span><span style="font-family: FangSong_GB2312;">成员函数的声明看起来怪怪的：</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">关键字只能放在函数声明的尾部，大概是因为其它地方都已经被占用了。</span><span style="font-family: FangSong_GB2312;">
</span><span style="font-family: FangSong_GB2312;">关于</span><span style="font-family: FangSong_GB2312;">Const</span><span style="font-family: FangSong_GB2312;">函数的几点规则：</span><span style="font-family: FangSong_GB2312;">

a.const</span><span style="font-family: FangSong_GB2312;">对象只能访问</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">成员函数</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">而非</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">对象可以访问任意的成员函数</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">包括</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">成员函数</span><span style="font-family: FangSong_GB2312;">.
b.const</span><span style="font-family: FangSong_GB2312;">对象的成员是不可修改的</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">然而</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">对象通过指针维护的对象却是可以修改的</span><span style="font-family: FangSong_GB2312;">.
c.const</span><span style="font-family: FangSong_GB2312;">成员函数不可以修改对象的数据</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">不管对象是否具有</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">性质</span><span style="font-family: FangSong_GB2312;">.</span><span style="font-family: FangSong_GB2312;">它在编译时</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">以是否修改成员数据为依据</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">进行检查</span><span style="font-family: FangSong_GB2312;">.
e.</span><span style="font-family: FangSong_GB2312;">然而加上</span><span style="font-family: FangSong_GB2312;">mutable</span><span style="font-family: FangSong_GB2312;">修饰符的数据成员</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">对于任何情况下通过任何手段都可修改</span><span style="font-family: FangSong_GB2312;">,</span><span style="font-family: FangSong_GB2312;">自然此时的</span><span style="font-family: FangSong_GB2312;">const</span><span style="font-family: FangSong_GB2312;">成员函数是可以修改它的</span>

不顾-兼程
关注
  • 2
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
const的实现原理
u010276189的专栏
03-21 5467
const 用于修饰常量时，分两种情况 1. 被修饰的常量是基本类型 此时，程序在编译时，就将变量用常量来替换了。 实现机制：这些在编译期间完成，对于内置类型，如int，编译器可能使用常数直接替换掉对此变量的引用。而对于结构体不一定。 看下面的例子： const int j=100;    int *p=const_cast(&j);    *p=20
C++中const的实现机制深入分析
09-05
C语言以及C++语言中的const究竟表示什么？其具体的实现机制又是如何实现的呢？本文将对这两个问题进行一些分析,需要了解的朋友可以参考下
c++提高篇之const的深入提高[转贴]
迷惘
08-25 1280
我们也许学习过const的使用，但是对于const的细致的技术细节却不一定掌握。const的用法在许多的教材上只是简单的介绍，在这里我们对const进行细致的概念以及用法剖析。const 是由c++采用，并加进标准c中，但是他们的意义完全不同，在旧版本(标准前)的c中，如果想建立一个常量，必须使用预处理器：#define PI 3.14159此后无论在何处使用PI，都会被预处理器以3.1415
小议C++中const的实现机制
关注 Linux c/c++ 数据存储 网络 算法......
12-02 6111
问题 C语言以及C++语言中的const究竟表示什么？其具体的实现机制又是如何实现的呢？ 本文将对这两个问题进行一些分析，简单解释const的含义以及实现机制。 问题分析 简单的说const在C语言中表示只读的变量，而在C++语言中表示常量。关于const在C与C++语言中的使用以及更多的区别，以后有时间另开一贴说明。 那么const究竟是如何实现的呢？ 对
c/c++const实现原理解析
weixin_34082854的博客
03-19 157
抛出问题 下列代码输出的结果是什么？ #include<stdio.h> #include<iostream> using namespace std; int main() {/*在c++下*/ const int a = 10; //a = 100;error int *p = (int*)(&...
C++ const原理
u011402017的博客
09-06 376
抛出问题  下列代码输出的结果是什么？ #include #include using namespace std; int main() {/*在c++下*/ const int a = 10; //a = 100;error int *p = (int*)(&a); *p = 100;//正确 cout << *p << endl; cout
腾讯面试题03.C++里面的const是怎么实现的？
sensenxiangshang
04-19 2381
Const 推出的初始目的，正是为了取代预编译指令，消除它的缺点，同时继承它的优点。 现在它的形式变成了： Const DataType VariableName = VariableValue ;为什么const能很好地取代预定义语句？const 到底有什么大神通，使它可以振臂一挥取代预定义语句呢？ 1． 首先，以const 修饰的常量值，具有不可变性，这是它能取代预定义语句的基础。 2
从汇编角度看c++的const实现
caoyan_12727的博客
07-15 1194
从汇编角度看const常量
C++ const 机制
jeffdeen的博客
03-03 348
我们都知道const是为了防止程序对所定义的变量或者其他对象进行修改，被const修饰的那个变量也就变成常量，但是我们都知道可以用指针来修改。比如下面的代码：int main(){ const int a = 10; int *ptr2 = const_cast<int*>(&a); *ptr2 = 20; cout << a << endl; }这时如果输出a，按道
c++ const常量的实现机制
ether的学习
11-30 6160
const关键字的基本思想就是将一个变量变成常量，试图从语言设计者的角度去分析引入该关键字的动机。 我猜测原因如下： 1）提醒程序员，某些值是常量，如PI。或该值在程序运行期间是不变的，防止程序员误修改。对于多模块开发，头文件引用复杂的系统来说，这是很重要的，如果不能在编译期阻止常量被误修改，那么这些修改将引起运行时调试困难的问题。 2）改进c语言中的#define预处理宏，1）中提到的问题
C++ const使用及编译连接详解 PPT版本
10-09
C++ const使用 编译连接详解 PPT版本 非常好用的，我是偷偷从别人电脑里找出来的
C++中const理解
她依然向往着长岛的雪
02-25 113
https://blog.csdn.net/u010278318/article/details/9368675 一、首先介绍const引入 1． C++有一个类型严格的编译系统，这使得C++程序的错误在编译阶段即可发现许多，从而使得出错率大为减少，因此，也成为了C++与C相比，有着突出优点的一个方面。 2． C中很常见的预处理指令 #define VariableName VariableValue 可以很方便地进行值替代，这种值替代至少在三个方面优点突出：
C++ const 详解
热门推荐
顺其自然~专栏
05-26 1万+
2）如果函数名、参数、返回值都相同的const成员函数和非const成员函数是可以构成重载，那么const对象调用const成员函数，非const对象默认调用非const的成员函数。上面定义一个可变的指针，指向一个const 的值，这个是不允许的。value为成员变量，func函数为const成员函数，如果要返回value的引用，这里的func函数返回值必须要加上const，改为，但是，即使用引用，如果只是作为输入用，最好加上const 修饰，这样就不会改变实参的值，如果刻意修改，编译器会报错。
C和C++中const的实现机制
先写一个BUG吧
08-02 429
详解C和C++中const的实现机制
关于const的底层实现
远方的专栏
08-26 1690
1. 对于直接已知值的int,long,short,char 类型以及其unsigned版本,即 const int a=2; 这种,编译器编译程序之后,程序中所有a出现的地方,全部自动替换成2. 所以,就出现了对于 *b=3 ,在 const int a=2 ;中不会修改a,而在 const int a=c; 中则会修改 a的情况. int main() { const int a = 1
C中const的实现机制
luoyeaijiao的专栏
09-15 4151
同学去参加笔试，遇到一个关于const的问题，大致如下： 有如下代码，问该段代码是否可以编译通过，是否可以运行，运行结果是什么。 const int a = 1; int* b = (int*)&a; *b = 31; 以上代码是可以编译通过并且能够成功运行的，运行后a b的值均为31。 这道题的关键在于C语言中const的实现机制。在C中，const修饰的变量不能够被修改，在
c++基础知识汇总(三)计算机与编译原理 | static与const | 内联与虚函数 | sizeof
祥瑞的技术博客
09-04 464
目录 一、CPU的总线 1.1 32位与64位 1.2 总线类型 1.3 32与64下的内存 二、static与const 2.1 什么是static? 2.2 const 2.3 指针与const的关系 四、虚函数|类|父类 4.1 内联 4.2 虚函数 4.3 虚函|内联 4.4 静态函数 4.5 几种存储方式 五、sizeof(int)在什么过程中出结果 5....
顶层const 与 底层const
程序员黄老师的精品课！
05-05 545
#include  "stdafx.h" #include    using namespace std; /* 顶层const（top-level const）表示指针（或引用）本身是个常量。 底层const（low-level const）表示指针指的对象是一个常量。 一般当说到顶层或底层const的时候都是指针或者引用类型的，因为普通类型的const只能是底层的。
[开发语言][C++]：顶层Const和底层Const
Bin_Dut的博客
09-09 431
、顶层const和底层const 指针本身是个对象，它又可以指向另外的一个对象。因此，指针本身是不是个常量以及指针所指的对象是不是一个常量，这就是两个相互独立的问题。 顶层const (top-level const)：表示指针本身就是就是一个常量。 底层const (low-level const)：表示指针所指的对象是一个常量。 ​ 一般来说，顶层const，可以表示任意的对象是常量；底层const则是与指针和引用等复合类型有关。 note： 指针类型，既可以是底层const，也可以是顶层const。
c++const的实现原理？const修饰变量、成员变量、成员函数、对象的作用？
最新发布
04-23
对于C语言中的const，其实现原理是将其声明的对象定义为只读，从而防止程序对其进行修改。const修饰变量时，编译器会在编译时将其值固定，从而防止程序对其进行修改。const修饰成员变量时，其作用是将成员变量定义为...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值