C++20 const引用字面量初始化内存分配与编译优化问题

你给出的示例代码存在未定义行为：传入"A"、"B"这类字符串字面量时，会隐式构造临时std::string对象，构造函数形参绑定该临时对象后，成员name_也绑定到这个临时对象上，而临时对象生命周期在构造函数执行结束后就终止，后续访问name_会直接触发悬垂引用错误。

基础内存规则 #

代码中硬编码的字符串字面量本身会被GCC 11.2编译到二进制的*.rodata只读段*，程序加载运行后这部分内存长期驻留，不会随对象的创建/销毁做分配释放操作，地址全程固定。
但如果用std::string承接这类字面量，默认逻辑下每次构造std::string都会在堆上分配内存、拷贝字面量内容，对象销毁时再释放对应堆内存。哪怕多个对象用到完全相同的常量字面量，编译器默认也不会自动做去重复用：这类优化属于可能改变程序可观测行为的激进优化，只有在编译器能100%确认代码不会取字符串地址、不会修改内容、生命周期完全可控的极端场景下才可能触发，实际开发中完全不能依赖。
GCC默认开启的std::string*小字符串优化（SSO）*只会把长度小于15字节的字符串存在std::string对象的内部栈空间，避免堆分配，但每个对象还是会独立存储一份拷贝，创建销毁时的拷贝、栈帧清理开销依然存在，达不到你要的“仅持固定内存引用”的效果。

无全局变量的零开销实现方案 #

你要的效果不需要依赖编译器的不确定优化，用标准特性就能稳定实现，没有额外开销：

方案1：C++17及以上用std::string_view（推荐） #

std::string_view是标准库提供的只读字符串视图，本身仅占一个指针+长度的存储空间（64位系统下共16字节，比常规std::string更小），可以直接绑定字符串字面量，不会触发临时std::string构造，也不会做任何内存分配：

#include <string_view>

class Test {
private:
  std::string_view name_;
  int value_;
public:
  constexpr Test(std::string_view name, int value) noexcept 
    : name_(name), value_(value) {}
};

这个实现下，所有字面量初始化场景中name_会直接指向.rodata段的固定字面量内存，没有任何重复分配释放操作，构造/销毁的开销只有int成员的赋值。加上constexpr修饰后，如果参数是编译期常量，编译器甚至可以把整个对象的构造优化为编译期常量，运行时零开销。
注意这个方案仅适用于绑定长生命周期字符串的场景（比如字面量、静态存储期的字符串对象），不要绑定短生命周期的临时std::string即可，完全适配你用字面量初始化恒定成员的需求。

方案2：旧C标准兼容方案（C11/14） #

如果需要兼容没有std::string_view的旧标准，可以在工厂内部实现静态字符串驻留池，不需要定义全局变量：

#include <string>
#include <unordered_set>

class Test;

class TestFactory {
private:
  // 静态成员属于工厂类，仅在第一次调用时初始化，生命周期覆盖整个程序运行期
  static const std::string& getInternedName(const char* literal) {
    static const std::unordered_set<std::string> name_pool = []() {
      std::unordered_set<std::string> pool;
      // 可提前插入所有用到的常量名，也可按需动态插入
      pool.insert("A");
      pool.insert("B");
      return pool;
    }();
    return *name_pool.find(literal);
  }
public:
  static Test create(const char* name, int value);
};

class Test {
friend class TestFactory;
private:
  const std::string& name_;
  int value_;
  Test(const std::string& name, int value) : name_(name), value_(value) {}
public:
  // 业务逻辑函数
};

Test TestFactory::create(const char* name, int value) {
  return Test(getInternedName(name), value);
}

这个方案下，相同内容的常量名只会在池中存在一份实例，全程仅做一次内存分配，所有Test对象的引用都绑定到池内的长生命周期字符串，既没有悬垂风险，也不会重复分配释放。静态池是工厂类的静态成员，不属于全局变量，符合你的要求。

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