对于c++中“常量折叠”的几点疑问（没有帖子问过的问题）

C/C++ > C++ 语言
收藏 回复
[问题点数：20分]
更多帖子
私信 空间 博客
greatm
等级
本版专家分：5
结帖率 0%
c++里的常量折叠（或者常量替换)是将const常量放在符号表中，而并不给其分配内存。编译器直接进行替换优化。
下面是一个cpp文件：
 #include 。。。。
   const int i =1；
   int main()
   {
        const int j = 2;
        printf("%d,%d",i,j);
        return 1;
   }

那么：
（1）符号表本身是存在哪里的？是数据段里吧？
（2）我要强行取这个变量的地址的时候，比如：
const int *pi = &i;
const int * pj = &j;
这时i和j应该都会被分配内存吧？
那么i分配的内存是在数据段，J被分配的内存是在栈中，这对吗？
（3）我就知道c语言的const常量是要分配内存的。如果在c语言中同样有上面这么一段程序，那么i,j分别在哪里分配内存？

（4）c语言有“常量折叠”这样的优化吗？

（5）如果有，进行常量折叠优化时，这个const常量的值是放在寄存器中，每次都从寄存器中取其值？
还是跟c++一样，将其放在符号表中，编译器在编译时进行“替换”优化？
只看楼主 引用 举报 楼主 收起
展开阅读全文
更多帖子
私信 空间 博客
晨星
等级
本版专家分：58329
勋章
Blank
红花 2003年6月 C/C++大版内专家分月排行榜第一
2002年5月 C/C++大版内专家分月排行榜第一
Blank
黄花 2003年9月 C/C++大版内专家分月排行榜第二
2002年6月 C/C++大版内专家分月排行榜第二
2002年4月 C/C++大版内专家分月排行榜第二
Blank
蓝花 2007年3月 C/C++大版内专家分月排行榜第三
2007年2月 C/C++大版内专家分月排行榜第三
2007年1月 C/C++大版内专家分月排行榜第三
2003年7月 C/C++大版内专家分月排行榜第三
（1）运行时的“符号表”跟编译时的“符号表”不完全是一回事；常量被折叠后，不“存在”于任何段中，只是作为立即数了。比如：
const int M = 5;
int i = M;
常量被折叠后，就跟int i = 5;没有任何区别。
常量如果分配内存，应该是在常量区。大多数运行时环境中，常量区跟栈不是一个区。

（2）强行取常量地址确实会导致内存分配。事实上，即使不取地址，内存也不一定不分配，这跟编译器的优化策略有关。换句话说，是不是“常量折叠后，只要不取地址，就一定不分配内存？”，语言标准当然没有明确规定，一切由编译器作者自己看着办。别忘了，C++语言中，常量是左值，所以即使统统分配内存，也没啥不好。最后，分配内存跟常量折叠本身不矛盾，这完全是两回事，即有内存分配并不表明不能被折叠，“折叠”说的是常量被使用的地方，而内存分配说的是变量被定义的地方。

（3）应该是在常量区。

（4）优化无极限，C语言编译器当然可以有这样的优化，甚至可以提供编译选项控制这样的优化。

（5）你说的“每次从寄存器中取值”，这个指的是数据存取指令的优化，而“放在符号表中，编译器在编译时进行替换”指的是程序转换优化。这两种优化不在一个抽像层次上，常量折叠指的是后者。
只看TA 引用 举报 #1得分 0
私信 空间 博客
linking3000
等级
本版专家分：39
1）这种变量放在全局变量区
2）会分配地址 pi,pj在全局变量区还是栈，要看他们在那里定义
3）4) c语言的不清楚
5）常量折叠优化？我不清楚这个概念，全局变量i或者j在编译的时候就可以直接将他们的地址传给用的地方
寄存器一般用于需要优化程序速度的时候，可以直接来赋值，不需要通过赋值给某个内存地址对应的空间
只看TA 引用 举报 #2得分 0
更多帖子
私信 空间 博客
星光伴月
等级
本版专家分：1697
虽然编译器为常量分配了地址,但是在使用常量的时,常量并不是存储在为它分配的地址上的,而是一个立即数,请看下面的例子:

#include <iostream>
using namespace std;

int main(void)
{
        const int a=10;
        int * p = (int*)&a;//为了能尝试通过*p修改常量a的值,用了强制转换

        cout<<"a = "<< a<<endl;    //输出  a = 10
        cout<<"*p= "<<*p<<endl;    //输出 *p = 10
        *p=100;    //试图修改a的值
        cout<<"a = "<< a<<endl;    //仍然输出:  a = 10
        cout<<"*p= "<<*p<<endl;    //这里却输出: *p = 100

        system("pause");
}


以下是 cout<<"a = "<< a<<endl;
这一句在DEBUG时的汇编代码:
004114DB  mov         esi,esp 
004114DD  mov         eax,dword ptr [__imp_std::endl (41A344h)] 
004114E2  push        eax  
004114E3  mov         edi,esp 
004114E5  push        0Ah  ;;;;;;;注意这里是个10,是个立即数
004114E7  push        offset string "*p=" (417704h) 
004114EC  mov         ecx,dword ptr [__imp_std::cout (41A348h)] 
004114F2  push        ecx  
004114F3  call        std::operator<<<std::char_traits<char> > (411159h) 
004114F8  add         esp,8 
004114FB  mov         ecx,eax 
004114FD  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (41A34Ch)] 
00411503  cmp         edi,esp 
00411505  call        @ILT+410(__RTC_CheckEsp) (41119Fh) 
0041150A  mov         ecx,eax 
0041150C  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (41A32Ch)] 
00411512  cmp         esi,esp 
00411514  call        @ILT+410(__RTC_CheckEsp) (41119Fh) 
只看TA 引用 举报 #3得分 0
私信 空间 博客
linking3000
等级
本版专家分：39
恩，了解了，学习一下
只看TA 引用 举报 #4得分 0
更多帖子
私信 空间 博客
星光伴月
等级
本版专家分：1697
#include  <iostream > 

using namespace std; 



int main(void) 

{ 

        const int a=10; 

        int * p = (int*)&a;//为了能尝试通过*p修改常量a的值,用了强制转换 



        cout < <"a = " < < a < <endl;    //输出  a = 10 

        cout < <"*p= " < <*p < <endl;    //输出 *p = 10 

        *p=100;    //试图修改a的值 

        cout < <"a = " < < a < <endl;    //仍然输出:  a = 10 

        cout < <"*p= " < <*p < <endl;    //这里却输出: *p = 100 



        system("pause"); 

} 


以下是 cout < <"a = " < < a < <endl; 
这一句在DEBUG时的汇编代码: 
004114DB  mov         esi,esp  
004114DD  mov         eax,dword ptr [__imp_std::endl (41A344h)]  
004114E2  push        eax   
004114E3  mov         edi,esp  
004114E5  push        0Ah  ;;;;;;;注意这里是个10,是个立即数 
004114E7  push        offset string "*p=" (417704h)  
004114EC  mov         ecx,dword ptr [__imp_std::cout (41A348h)]  
004114F2  push        ecx   
004114F3  call        std::operator < < <std::char_traits <char >  > (411159h)  
004114F8  add         esp,8  
004114FB  mov         ecx,eax  
004114FD  call        dword ptr [__imp_std::basic_ostream <char,std::char_traits <char >  >::operator < < (41A34Ch)]  
00411503  cmp         edi,esp  
00411505  call        @ILT+410(__RTC_CheckEsp) (41119Fh)  
0041150A  mov         ecx,eax  
0041150C  call        dword ptr [__imp_std::basic_ostream <char,std::char_traits <char >  >::operator < < (41A32Ch)]  
00411512  cmp         esi,esp  
00411514  call        @ILT+410(__RTC_CheckEsp) (41119Fh)  
只看TA 引用 举报 #5得分 0
更多帖子
私信 空间 博客
huayiluo
等级
本版专家分：76
07年的贴子。顶一下
只看TA 引用 举报 #6得分 0
更多帖子
私信 空间 博客
hastings
等级
本版专家分：6840
？？？？？？？？？？？？？？这都行？
只看TA 引用 举报 #7得分 0
更多帖子
私信 空间 博客
yzx714
等级
本版专家分：4251
（1）符号表本身是存在哪里的？是数据段里吧？

（2）我要强行取这个变量的地址的时候，比如：

const int *pi = &i;

const int * pj = &j;

这时i和j应该都会被分配内存吧？

那么i分配的内存是在数据段，J被分配的内存是在栈中，这对吗？

（3）我就知道c语言的const常量是要分配内存的。如果在c语言中同样有上面这么一段程序，那么i,j分别在哪里分配内存？



（4）c语言有“常量折叠”这样的优化吗？



（5）如果有，进行常量折叠优化时，这个const常量的值是放在寄存器中，每次都从寄存器中取其值？

还是跟c++一样，将其放在符号表中，编译器在编译时进行“替换”优化？

1.这个符号表和常量折叠的符号表不是一回事儿，编译后，常量折叠的符号表就不存在了
2.对
3.同样
4.有
5.和C++一样
只看TA 引用 举报 #8得分 0
收起
收藏 回复
greatm

等级：

关注 私信 TA的帖子
C++常量折叠

今天回顾了大学这几年学习C++的点点滴滴，在回顾了“常量折叠”这里时，突然困惑了，当时学习这点知识时的理解是：可折叠的常量像宏一样，在预编译阶段对常量的引用一律被替换为常量所对应的值，就和普通的宏替换没...

史上最全的C++/游戏开发面试问题总结（一）——C++基础

笔者毕业两年，最近通过猎头拿到了腾讯IEG以及网易游戏的两个客户端研发offer（UE4/C++）。在面试前夕，笔者对C++进行了较为全面的复习和总结，乐观估计可以涵盖80%左右的面试基础问题。 这个系列的文章预计有《C++...

c语言编程软件有哪些 Win7下用哪种C语言编译器

C语言是一门历史很长的编程语言，其编译器和开发工具也多种多样，其开发工具包括编译器，现举几个开发工具供大家选择，当然也要根据自己的操作系统来选择适合自己的开发工具 好多刚开始接触c语言的朋友都想知道用...

C++：C++11新特性详解(1)

深入学习C++11，你会发现这根本就是一门新的语言，它解决了c++98中许多遗留下来的问题。早晚会有一天，C++11便会普及大部分编译器。因此，提早做些准备也是应该的。在此我想做一个关于C++11的专题，将C++11的新特性...

const 在C C++ 中的使用 和 区别-----------整理自网络

一、C中CONST的使用 来自：http://blog.chinaunix.net/u/26828/showart_667881.html const是一个C语言的关键字，它限定一个变量不允许被改变。使用const在一定程度上可以提高程序的健壮性，另外，在观看别人代码的...

C++ 复习要点

本文总结一下C++面试时常遇到的问题。

C++编程规范 头文件格式 和 函数注释格式

C++编码规范(1):代码注释 当你阅读别人的代码时如果没有注释那会是件比较痛苦的事.一说到注释我们马上想到是通过//或/* */这样来添加一些描述信息.这只是狭义的注释. 广义的注释我们可以理解为,任何有助于...

干货丨7款易上手C语言编程软件推荐

C语言是一门历史很长的编程语言，其编译器和开发工具也多种多样，其开发工具包括编译器，现举几个开发工具供大家选择，当然也要根据自己的操作系统来选择适合自己的开发工具。 好多刚开始接触c语言的朋友都想知道用...

探索C++0x: 3. 右值引用(rvalue reference)

C++0x中引入了右值引用(rvalue reference)这个设施，形如T&&，用来实现移动语义(move semantics)和完美转发(perfect ...此前C++中有一个著名的性能问题——复制临时对象，由于右值引用的引入，该问题将得到极大的改善。

C++基础（笔记）

注意：以下所区分的32位系统和64位系统都是针对Linux而言的。 一般注意32位系统中，short为3字节，int是4字节，float为4字节，double是8字节，...1、在学习C++编程前，首先来重复一个基本的问题：程序由什么组成？ 答：

推荐一款代码阅读管理软件-Scitools Understand

在以前在 windows 下我一般使用 VS2008， 其实我觉得 VS 做的还是很好的， 它在调试方面 的功能很强大，可以很好的查看变量的值，以及内存中的变化状况。现在转战 Fedora14， 虽然无法使用 VS 了，但是我还是有时在...

C++项目经验总结

1、C++的const比C语言#define更好的原因？ 首先，它能够明确指定类型，有类型检查功能。 其次，可以使用C++的作用域规则将定义限制在特定的函数[常函数]或文件中。 第三，可以将const用于更复杂的类型，比如数组和...

java内存深入学习（一）JVM学习笔记

本文主要和大家一起分享学习关于Java内存方面的知识，主要学习java虚拟机，内存分配，堆栈，垃圾回收以及内存优化等知识点，都是自己手工整理的，供大家学习参考，如果有错误的地方还望指出，共同进步！   1.JVM ...

understand软件使用教程

understand软件使用解析

VS2015正式版出炉-----

Visual Studio 2015 RTM 2015 年 7 月 20 日 ...今天，我们非常高兴地宣布发行 Visual Studio 2015 RTM。 此 Visual Studio 的交付厂商版 (RTM) 包括很多新功能和更新，如相关工具可用于通用 Windows 应用...

C与C++类型强制转换总结

一、C 风格（C-style）类型强制转换  方法比较简单，如下所示：  TYPE1 A;  TYPE2 B;  A = (TYPE1)B; // 强制转换。  C++的四个类型强制转换符能做的，C...C++的强制类型转换，会检测2个变量之间的关系，再转换

gcc警告选项汇总

请求或取消警告的选项 ...警告是诊断消息，报告的结构本质上不是错误的，但是有风险或表明可能有错误。...以下与语言无关的选项不会启用特定的警告，但会控制GCC生成的诊断...检查代码中的语法错误，但除此之外...

简明 Python 编程规范v2

赖勇浩（http://laiyonghao.com） 注：之前发布一篇《简明 Python 编程规范》（见：http://blog.csdn.net/lanphaday/article/details/2834883），本是我给当时所在的公司制定的，发表到博客的时候，对齐等

C++11的右值引用

转载自：https://blog.csdn.net/z914022466/article/details/76851363 以及 ... 其中第一篇是入门科普性质的右值引用介绍，第二篇比较深入。略有删减。 入门级： 一、引用的本质 class A ...clas...

understand软件使用教程（详解）

1、支持多语言：Ada, C, C++, C#, Java, FORTRAN, Delphi, Jovial, and PL/M ，混合语言的project也支持 2、多平台： Windows/Linux/Solaris/HP-UX/IRIX/MAC OS X 3、代码语法高亮、代码折迭、交叉跳转、书签等基本...

最佳文本编辑器

原文：donationcoder.com　　译者：xbeta@善用佳软　说明：仅做翻译...不代表同意文中观点（xbeta认为最好的编辑器为VIM）。 最佳文本编辑器 当前，好用的文本编辑器比比皆是——无论商业软件还是免费软件。如果你用得

枚举enum学习小记

1、枚举enum的用途浅例 写程序时，我们常常需要为某个对象关联一组可选alternative属性.例如，学生的成绩分A,B,C,D等，天气分sunny, cloudy, rainy等等。 更常见的，打开一个文件可能有三种状态：...

TensorFlow入门：第一个机器学习Demo

本文主要通过一个简单的 Demo 介绍 TensorFlow 初级 API 的使用方法，引导刚接触 TensorFlow 或者 机器学习的同学，能够从第一步开始学习 TensorFlow。

C++Primer中文版（第5版）（顶级畅销书重磅升级 全面采用最新 C++ 11标准）

C++Primer中文版（第5版）（顶级畅销书重磅升级 全面采用最新 C++ 11标准） 【美】Stanley B.Lippman( 斯坦利 李普曼)  Josee Lajoie(约瑟 拉乔伊 )  Barbara E. Moo (芭芭拉 默)  著 王刚  杨...

gdb查看内存地址和栈中的值—查看虚函数表、函数地址

 gdb查看指定地址的内存地址的值：examine 简写 x-----使用gdb> help x 来查看使用...n: 需要显示的内存单元个数，也就是从当前地址向后显示几个内存单元的内容，一个内存单元的大小由后面的u定义 f：显示格式  

LLVM

LLVM与Clang是近来风头强劲的C/C++编译器套件。其发起者在《开源应用架构》（The architecture of open source applications）中简略介绍了LLVM的架构与设计思想。下面就是这篇文章的翻译。

C++头文件中定义static/const

看到一个头文件，是专门定义各种常量的，有一天发现这里的常量定义既使用了static，又使用了const，这个文件没有类，全部都是字符串的定义 // QVNDefine.h #ifndef QVNDefine_h #define QVNDefine_h const string...

C++中头文件（.h）和源文件（.cpp）都应该写些什么

  头文件(.h)：  写类的声明（包括类里面的成员和方法的声明）、函数原型、#define常数等，但一般来说不写出具体的实现。  在写头文件时需要注意，在开头和结尾处必须按照如下样式加上预编译语句（如下）： ...

自己写的C/C++编译器Doctors[软件+文档]

更新版本1.0.1：该版本解决了之前1.0.0版本中找不到链接库libc.lib的问题，以及IDE下点击Project菜单出现的BUG。下载地址：http://download.csdn.net/source/1597132 Doctors编译器内部实现For version 1.0.1出处：...

C#编程精华总结

C#学习总结C#简介：1、C#是一种最新的、面向对象的编程语言2、C#使得程序员可以在Microsoft开发的最新的.NET平台上快速地编写Windows应用程序3、而且Microsoft .NET提供了一系列的工具和服务应用在应用程序的开发中4...

相关热词 c# 挂机锁 c# 不能再打开其它表了 c#移除行 c#socket建立通信 c# 拦截socket c#做一个问卷调查 c++结构体转换为c# c# 判断组合键 c# 的类 重写dll c# 五层嵌套 优化