c++中const常量的存储位置探讨

最新推荐文章于 2024-09-21 13:14:56 发布

lixiang100824

最新推荐文章于 2024-09-21 13:14:56 发布

阅读量5k

点赞数 5

分类专栏： C++基础文章标签： c++ 存储编译器 float 汇编

本文链接：https://blog.csdn.net/lixiang100824/article/details/7473890

版权

C++基础专栏收录该内容

1 篇文章 0 订阅

订阅专栏

首先看一段诡异的代码：

#include <stdio.h>

int main()
{	
	const float intValue=2.2;
	float *j=(float *)&intValue;
	*j=1.1;
	
	printf("intValue address:0x%x\n",&intValue);
	printf("j address:0x%x\n",j);
	printf("j:%f\n",*j);
	printf("intValue:%f\n",intValue);

	return 0;
}

输出结果如下：

intValue address:bfd8dddc
j address:bfd8dddc
j:1.100000
intValue:2.200000

这就纳闷了，为什么地址一样，而所指的值不一样呢~~这就要探讨一下编译器在处理const常量方面的一些机制了，以上代码生成的汇编如下：

.file	"constASM.cpp"
	.section	.rodata //rodata区，此处保存printf中的一些常量
.LC2:
	.string	"intValue address:0x%x\n"
.LC3:
	.string	"j address:0x%x\n"
.LC4:
	.string	"j:%f\n"
.LC6:
	.string	"intValue:%f\n"
	.text
.globl main
	.type	main, @function
main:
.LFB2:
	leal	4(%esp), %ecx      //esp:Stack Pointer, 堆栈指针,指向堆栈中即将被操作的那个地址
.LCFI0:
	andl	$-16, %esp
	pushl	-4(%ecx)
.LCFI1:
	pushl	%ebp               //ebp可以理解为保存指针的寄存器
.LCFI2:
	movl	%esp, %ebp        
.LCFI3:
	pushl	%ecx
.LCFI4:
	subl	$36, %esp         //esp自减36，相当于堆栈的大小定为36
.LCFI5:
	movl	$0x400ccccd, %eax //&intValue操作，会分配内存，并没有引用.LC5，而是直接用立即数赋值
	movl	%eax, -12(%ebp)   //为(ebp-12)地址赋值0x400ccccd,0x400ccccd，即为浮点数2.2
	leal	-12(%ebp), %eax   
	movl	%eax, -8(%ebp)    //此时(ebp-8)地址赋值为0x400ccccd
	movl	-8(%ebp), %edx    //将(ebp-8)地址存入edx
	movl	$0x3f8ccccd, %eax 
	movl	%eax, (%edx)      //为(ebp-8)地址赋值为0x3f8ccccd，即浮点数1.1
	leal	-12(%ebp), %eax   
	movl	%eax, 4(%esp)     //将(ebp-12)地址的值读入(4+esp)地址为printf做准备
	movl	$.LC2, (%esp)     //将.LC2的地址读入(esp)地址，为printf做准备
	call	printf            //printf("intValue address:0x%x\n",&intValue);
	movl	-8(%ebp), %eax
	movl	%eax, 4(%esp)
	movl	$.LC3, (%esp)
	call	printf            //printf("j address:0x%x\n",j);
	movl	-8(%ebp), %eax
	flds	(%eax)            //浮点数压栈，压入的是(ebp-8)地址的值
	fstpl	4(%esp)
	movl	$.LC4, (%esp)
	call	printf            //printf("j:%f\n",*j);
	fldl	.LC5              //浮点数压栈，压入的是LC5，这里就是区别！！！直接从符号表中找到intValue，跟前面的内存操作无关！！
	fstpl	4(%esp)           //
	movl	$.LC6, (%esp)    
	call	printf            //printf("intValue:%f\n",intValue);
	movl	$0, %eax
	addl	$36, %esp
	popl	%ecx
	popl	%ebp
	leal	-4(%ecx), %esp
	ret
.LFE2:
	.size	main, .-main
	.section	.rodata
	.align 8
.LC5:
	.long	-1610612736
	.long	1073846681
	.section	.eh_frame,"a",@progbits
.Lframe1:
	.long	.LECIE1-.LSCIE1
.LSCIE1:
	.long	0x0
	.byte	0x1
.
.//此处省略一部分
.
.LEFDE1:
	.ident	"GCC: (GNU) 4.3.0 20080428 (Red Hat 4.3.0-8)"
	.section	.note.GNU-stack,"",@progbits

从以上分析可以得到以上结论：
1.对const常量取地址时，编译器会进行内存分配，并将常量转换为立即数存入内存，而不是存入记录在常量表中的地址

2.在使用常量时，编译器回到常量表中查询对应的常量，并将其替换，这部分没有涉及内存分配，也跟曾经创建的常量的内存地址无关。