C++20中const与constexpr接收constexpr vector为何报错不同？

C++20标准新增了编译期动态内存分配支持，但有个关键限制：分配的内存不能超出常量表达式求值范围。这直接导致std::vector无法被存入constexpr变量。

看到相关示例代码：用const auto words = split(str);接收constexpr函数split返回的vector时编译通过，但改成constexpr auto words = split(str);就报错。两种情况代码都是编译期执行的，为什么只有用constexpr接收时会出错？

核心原因解析 #

核心差异在于变量的存储生命周期要求和编译期内存的管理规则：

• 当使用const auto接收时：
  虽然split函数是在编译期完成求值的，但最终生成的std::vector对象是在运行时内存中构造的。编译期只是预先计算出了vector的初始数据内容，然后把这些数据硬编码到程序的只读段中，运行时再用这些数据初始化vector。此时编译期分配的临时内存仅用于计算过程，求值结束后就会被释放，完全不涉及运行时的持久存储，因此不会违反编译期内存的范围限制。

• 当使用constexpr auto接收时：
  constexpr变量要求整个对象的生命周期完全处于常量表达式语境中，其存储必须由编译器在编译期全程管理。但std::vector的底层依赖动态分配的内存，哪怕是编译期分配的，这块内存也属于“常量表达式求值范围”内的临时内存——求值完成后就会被编译器回收，无法被constexpr变量持久持有。C++标准明确禁止constexpr变量持有这类临时内存的引用或指针，因此编译器会直接抛出错误。

一句话总结：const是让运行时对象复用编译期计算的结果，constexpr是要求对象本身完全存活在编译期内存中——而std::vector的动态内存特性无法满足后者的要求。

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