C++ constexpr变量存储在哪个内存区域？嵌入式场景是否占用RAM

核心结论 #

C++标准从来没有强制规定constexpr变量的存储位置，最终落点完全由编译器实现、变量的实际使用方式、目标平台内存模型决定。针对你关心的嵌入式资源占用问题，绝大多数场景下未被强制要求生成内存实体的constexpr变量完全不会占用RAM，符合条件的只读实体会直接存在Flash中，不会被拷贝到RAM运行。

具体判定规则 #

你可以按照「是否必须生成内存实体」这个标准直接判断存储位置，不用死记硬背段归属：

• 不需要生成实体的场景：不占任何存储（RAM/Flash都不占）
  如果你只是把constexpr变量当做编译期常量使用，比如用来指定数组长度、作为模板实参、参与编译期计算，编译器根本不会为它生成实际的内存对象，编译阶段就会直接把值替换到所有用到它的位置，和#define宏的替换效果一致，但保留了完整的类型安全检查。
  示例：

  constexpr uint16_t SENSOR_BUF_LEN = 256;
  uint8_t sensor_buf[SENSOR_BUF_LEN]; // 这里SENSOR_BUF_LEN会被直接替换为256，无实体
  

• 需要生成只读实体的场景：存在只读段，嵌入式下不占RAM
  如果你对constexpr变量取地址、或者将它绑定到了const左值引用上，编译器就必须为它分配一个全局唯一的可访问内存地址，此时它属于只读静态存储期对象：
  • 在Linux等通用操作系统上，它会被放入rodata只读数据段（多数实现中rodata和text代码段一起被映射到只读内存页，和代码共享同一块可读不可写的内存区域），随程序加载到RAM的只读区域；
  • 在Atmel等裸机嵌入式平台上，它会被直接链接到Flash的只读数据分区，上电后不会被拷贝到RAM，和字符串字面量、const修饰的全局常量的存储位置完全一致，不占用稀缺的RAM资源。
    示例：

  constexpr uint32_t DEVICE_SERIAL = 0x1A2B3C4D;
  const uint32_t* p_serial = &DEVICE_SERIAL; // 触发实体生成，嵌入式下存在Flash
  

• 可能意外占用RAM的特殊情况
  只有两种异常情况会导致constexpr变量占用RAM，都不属于语言本身的设计：
  • 老旧编译器的优化没开/优化等级过低，没有做常量折叠，错误地为可以被替换的constexpr变量分配了栈/静态RAM空间；
  • 项目的链接脚本配置错误，没有把rodata段定位到Flash地址区间，错误地将只读数据标记为需要加载到RAM的段。

嵌入式开发实操建议 #

不用纠结标准描述或者他人的经验结论，要100%确认某个constexpr变量的存储位置，直接查看编译输出的map文件，搜索对应变量名，看它的链接地址落在RAM地址区间还是Flash地址区间即可，这是最准确的判断方式。

补充一个常见误区：constexpr变量不默认属于静态存储区。如果函数内部定义的constexpr变量没有触发实体生成，它连Flash空间都不会占用；就算触发实体生成，C++17及之后的编译器也会对inline的constexpr实体做ODR折叠，整个程序只会保留一份只读副本，不会重复占用空间。

内容的提问来源于stack exchange，提问作者julian