C++栈分配对象返回后地址是否一致？如何获得该行为保障？

一、返回前后对象地址相同的原因 #

你看到的地址一致现象，是C++编译器的**返回值优化（RVO/NRVO）**导致的：

• 按照C++常规语义，make_allocator函数中创建的局部对象res，返回时需要拷贝到调用方alloc所在的栈空间，此时两个对象地址应不同。
• 但编译器会触发具名返回值优化（NRVO）：直接在调用方alloc的内存位置构造res对象，完全跳过拷贝/移动步骤。这使得函数内部的res和外部的alloc本质是同一块栈内存，地址自然完全相同。
• 补充：printf("%p", res)打印的是对象首地址，由于stack_allocator继承自base且无虚函数，基类子对象地址与整个派生类对象地址一致，所以打印的就是对象本身的地址。

二、如何确保该行为持续生效 #

首先要明确：你的代码存在潜在悬空指针风险——如果NRVO未生效，返回的stack_allocator拷贝中，ptr会指向函数栈帧内的res.arr，函数返回后该栈空间被释放，ptr将变成悬空指针，访问会触发未定义行为。因此确保NRVO生效是关键，可通过以下方式：

1. 遵循NRVO的代码规范

   • 函数仅返回单一局部对象，且该对象类型与函数返回类型完全匹配；
   • 不要在返回时对局部对象做额外转换，比如return std::move(res)会强制调用移动构造，直接阻止NRVO；
   • 避免在函数内通过多分支返回不同局部对象（如if返回res1、else返回res2），这种情况编译器无法触发NRVO。

2. 利用C++标准的强制复制消除规则

   • C17及以后的标准中，当函数返回一个自动存储期的非volatile对象，且该对象与返回值类型相同时，标准强制要求编译器执行复制消除（即必须触发RVO/NRVO），无需依赖编译器可选优化。因此只要代码符合C17及以上标准，地址一致的行为有标准保障。

3. 编译器选项配置

   • 不要关闭优化：若使用C11/C14（此时NRVO是可选优化），需开启编译器优化（如GCC/Clang用-O1及以上，MSVC用/O1或/O2），主流编译器默认都会开启NRVO；
   • 不要添加禁用优化的编译选项（比如-fno-elide-constructors，会强制关闭复制消除，此时返回对象地址会不同，同时代码会出现悬空指针问题）。

三、更安全的替代方案（避免依赖NRVO） #

如果不想依赖编译器优化保证正确性，可修改stack_allocator的构造逻辑，确保ptr始终指向自身的arr：

struct base { int *ptr; };

template<std::size_t N>
struct stack_allocator: base {
    int arr[N];
    // 构造函数中直接初始化ptr
    stack_allocator() : base{arr} {}
};

// 简化make_allocator函数
template<std::size_t N>
stack_allocator<N> make_allocator(int (&)[N]) {
    return stack_allocator<N>{};
}

这样无论是否触发NRVO，stack_allocator的ptr都会指向自身的arr，从根源上避免悬空指针问题，同时NRVO依然可以正常生效。

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