C++ 常量折叠

c 中const 常量用法
说明:c语言中const 常量可以很容易地被改变

#include <stdio.h>
#include <stdlib.h>
void main()
{
    const int a = 100;
    printf("a的地址是:%p\na的内容是:%p\n", &a, a);
    int* p = (int*)&a;
    printf("p的地址是:%p\np指向的内容是:%p\n", p,*p);
    *p = 200;
    printf("p的地址是:%p\np指向的内容是:%p\n", p, *p);
    printf("a的地址是:%p\na的内容是:%p\n", &a, a);
    system("pause");
}

打印结果:
这里写图片描述

C++ const 用法
说明1:与c语言不同,虽然指针p改变了a地址中的内容,但输出时候a的数值仍然是100
说明2:这种现象就是C++中的

“常量折叠”

,C++编译器进行语法分析的时候,将常量表达式计算求值, 并用求得的值来替换表达式,放入常量表,是

编译器的一种优化

因为编译器在优化的过程中,会把碰见的const全部以内容替换掉
(跟宏替换类似: #define PI 3.1415,用到PI时就用3.1415代替)
说明3:常量折叠发生在预编译阶段,在运行阶段,a的数据确实会被改变,可以单步调试查看内存看到。但读常量a时由于编译器的优化总是读到其初始化时候的数值。

下面的例子说明了编译器优化的存在,

#include <iostream>
using namespace std;

void main()
    {
        const int a = 100;
        cout << "a的数值是:" << a << "  a的地址是:" << &a << endl;
        int* p = (int*)&a;//c语言中数据类型强制转换方式
        cout << "p指向的内容是:" << *p << "  p的地址是:" << p << endl;
        *p = 200;
        cout << "p指向的内容是:" << *p << "  p的地址是:" << p << endl;
        cout << "a的数值是:" << a << "  a的地址是:" << &a << endl;
        int b = *(&a);
        cout << "b的数值是:" << b << endl;
        cout << "a的数值是:" << a << "  a的地址是:" << &a << endl;      
        int *e = (int*)(&a);
        cout << "e指向的内容是:" <<*e << endl;
        cout << "a的数值是:" << a << "  a的地址是:" << &a << endl;
        int* f = const_cast<int*>(&a);//c++中数据类型转换关键字之一const_cast
        cout << "f指向的内容是:" << *f << endl;
        cout << "a的数值是:" << a << "  a的地址是:" << &a << endl;
        cin.get();
    }

打印结果:
这里写图片描述

总结:常量折叠现象是C++编译器的一种优化,如果不想要编译器的这种优化,可以采用C++提供的关键字volatile

#include <iostream>
using namespace std;

void main()
{
    volatile  const int test = 100; 
    cout << test <<"  volatile  const 地址"<< &test<< endl;   
    int* p = (int*)(&test);
    *p = 200;   
    cout << test << "  volatile  const 地址" << &test << endl;
    cout << *p << "  指针p地址" << p << endl;

    cin.get();

}

打印结果:
这里写图片描述

### 常量折叠优化的限制条件与失效场景 常量折叠是一种编译时优化技术,旨在将可以在编译阶段计算出结果的表达式直接替换为其结果,从而减少运行时的计算开销。然而,这种优化并非在所有情况下都能被应用,其限制条件和失效场景主要包括以下几种情况: 1. **运行时变量参与表达式计算** 当表达式中包含在运行时才能确定值的变量时,编译器无法进行常量折叠。例如,非 `final` 修饰的变量可能在运行时被修改,其值在编译时无法确定。这种情况下,编译器无法将表达式视为常量,从而无法进行优化[^1]。 ```java int a = 5; int b = 10; int c = a + b; // 此处 a 和 b 不是 final 变量,无法进行常量折叠 ``` 2. **涉及副作用的操作** 如果表达式中的某些操作会产生副作用(如函数调用、I/O 操作、修改全局变量等),则编译器通常不会进行常量折叠。因为折叠这些表达式可能会导致副作用丢失,从而影响程序行为。 ```java int x = someFunction() + 5; // someFunction() 可能有副作用,无法进行常量折叠 ``` 3. **动态加载的类或反射机制** 在 Java 等语言中,如果表达式依赖于运行时动态加载的类或通过反射机制获取的值,则编译器无法在编译时确定其值,因此无法进行常量折叠。 4. **浮点数精度问题** 某些浮点数运算在编译时可能会因精度问题而无法被折叠。例如,涉及浮点数的舍入误差、NaN(非数字)或无穷大的表达式,可能导致编译器无法安全地进行折叠[^2]。 ```java double d = 0.1 + 0.2; // 浮点精度问题可能导致无法进行常量折叠 ``` 5. **编译器优化级别限制** 常量折叠依赖于编译器优化级别。如果编译器被配置为较低的优化级别(如 `-O0`),则可能不会执行常量折叠优化。在较高优化级别(如 `-O2` 或 `-O3`)下,编译器会尝试进行更多常量折叠操作[^2]。 6. **跨模块或跨文件的常量引用** 如果表达式中引用的常量定义在另一个模块或文件中,并且该常量不是 `inline` 或 `constexpr`(在 C++ 中),则编译器可能无法在当前模块中进行常量折叠,因为其值在当前编译单元中不可见。 7. **使用 `volatile` 修饰的变量** 在 C/C++ 中,`volatile` 修饰的变量表示其值可能在程序之外被修改(例如由硬件或中断处理程序)。因此,编译器不会对涉及 `volatile` 变量的表达式进行常量折叠。 ```cpp volatile int flag = 1; int result = flag + 5; // 由于 flag 是 volatile,无法进行常量折叠 ``` 8. **泛型或模板参数依赖** 在 C++ 模板编程中,如果表达式依赖于模板参数或泛型类型,且这些参数在实例化时才确定,则编译器可能无法在早期阶段进行常量折叠。 9. **异常处理或控制流依赖** 如果表达式的结果依赖于异常处理机制或控制流结构(如 `if`、`switch`、`try-catch` 等),则编译器无法在编译时确定其值,因此无法进行常量折叠。 --- ###
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值