如何获取RVO优化后的静态对象地址并注册到全局数组？

嘿，我来帮你分析下问题所在，再给几个可行的解决方案～

首先，你当前代码的问题核心是：lambda里的ret是局部对象，即便编译器做返回值优化（RVO），你在lambda内部取的&ret也不是最终static instance的地址。

具体来说，当你写static MyStruct instance = lambda()时，lambda返回的MyStruct对象会被用来初始化instance。虽然RVO可能会把ret直接构造到instance的内存位置，但在lambda执行的那一刻，代码里的ret还是作为lambda栈上的局部变量存在的——你存到全局数组里的是这个局部变量的地址，等lambda执行完毕，这个局部对象的生命周期就结束了，数组里的指针就变成了悬空指针，后续访问自然会得到错误的值（你看到的0是未定义行为的一种表现）。

接下来给你几个不用动态内存分配的解决方案，适配你的需求：

方案1：直接初始化静态对象，按需注册 #

这是最简单直接的方式，完全绕开lambda带来的地址问题：

#include <ranges>
#include <cstdio>
#include <cstdint>
#include <iostream>
#include <array>

namespace rng = std::ranges;

struct MyStruct {
    uint32_t a = 0;
};

struct AllStructs {
    std::array<MyStruct*, 10> items = { 0 };
    std::size_t count = 0;
} g_entries;

auto get_instance() {
    // 直接初始化静态单例对象
    static MyStruct instance{15};
    // 用静态布尔值确保只注册一次（因为static变量仅初始化一次）
    static bool is_registered = false;
    if (!is_registered) {
        g_entries.items[g_entries.count++] = &instance;
        is_registered = true;
    }
    return instance;
}

int main() {
    [[maybe_unused]] auto instance = get_instance();
    std::cout << "my a = " << instance.a << std::endl;
    std::cout << "my a from array = " << g_entries.items[0]->a << std::endl;
}

这个方案的好处是简单易懂，而且完全符合你不能用动态分配的要求。如果你的实际代码是模板化的单例，每个模板实例会有自己的instance和is_registered，不会互相干扰。

方案2：用静态内存区+placement new（适合复杂初始化逻辑） #

如果你的初始化逻辑确实需要用lambda（比如模板参数驱动的复杂构造），可以预先在静态存储区分配内存，然后用placement new构造对象，这样就能直接拿到最终对象的地址：

#include <ranges>
#include <cstdio>
#include <cstdint>
#include <iostream>
#include <array>

namespace rng = std::ranges;

struct MyStruct {
    uint32_t a = 0;
};

struct AllStructs {
    std::array<MyStruct*, 10> items = { 0 };
    std::size_t count = 0;
} g_entries;

auto get_instance() {
    // 静态存储区预留对象内存，alignas确保内存对齐正确
    alignas(MyStruct) static char instance_storage[sizeof(MyStruct)];
    static MyStruct* instance = []() -> MyStruct* {
        // 在预留的静态内存上构造对象，无动态分配
        MyStruct* ptr = new (instance_storage) MyStruct{15};
        // 直接注册这个有效地址
        g_entries.items[g_entries.count++] = ptr;
        return ptr;
    }();
    return *instance;
}

int main() {
    [[maybe_unused]] auto instance = get_instance();
    std::cout << "my a = " << instance.a << std::endl;
    std::cout << "my a from array = " << g_entries.items[0]->a << std::endl;
}

这里的instance_storage是静态存储区的数组，不会随函数调用销毁，placement new只是在这块内存上构造对象，完全没有动态内存分配的开销，同时你能在lambda里直接拿到最终对象的地址并注册。

为什么原来的代码不行？ #

再补一句：你原来的写法里，即便编译器做了RVO，lambda内部的ret和最终的static instance也可能是两个不同的内存位置（取决于编译器的优化策略）。就算RVO把ret直接构造到instance的位置，在lambda执行时，&ret拿到的也只是lambda内部的局部变量地址（逻辑上的），而不是最终instance的地址——这就导致了悬空指针的问题。

备注：内容来源于stack exchange，提问作者glades