获取 RVO 优化静态的地址-解网

问：

在下面的代码中，我尝试将一个单例实例注册到一个保留所有单例的全局数组中（在生产代码中，我可以根据模板参数实例化不同的单例，所以不用担心这个悖论:)）。我想知道的是，我是否可以以某种方式获得 lambda 的 to-be 返回类型的地址，无论如何都应该对返回值进行优化，这样我就可以将其注册到全局条目数组中。

这是我得到的：

演示

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

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 = []() -> MyStruct{
        MyStruct ret{ 15 };
        g_entries.items[g_entries.count++] = &ret;
        return ret;
    }();

    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;
}

输出：

my a = 15
my a from array = 0

至少它不是这样工作的，因为从数组中收集的条目仍然是 0。我该如何解决这个问题？

进一步说明：

我不能在此代码部分中使用动态内存分配！

C++ 单例静态变量返回值优化

auto& get_instance() {
    static MyStruct instance = []() -> MyStruct {
        MyStruct ret{ 15 };
        g_entries.items[g_entries.count++] = &instance;
        return ret;
    }();

    // Or if you don't otherwise need `ret`
    static MyStruct instance = []{
        g_entries.items[g_entries.count++] = &instance;
        return MyStruct{ 15 };
    }();

    return instance;
}

获取 RVO 优化静态的地址

Taking address of RVO-optimized static

评论

评论