当我尝试在非 constexpr 函数中运行 constexpr 函数时会发生什么？

Question

标题可能具有误导性，不知道如何解释，但我将提供一个示例。

所以我有这个结构：

struct mom {
public:
    static constexpr auto create(int i) {
        return a(i);
    }

    struct a {
        int* m_a;

        constexpr a(int i) : m_a(&i) {
            change();
        }

        constexpr void change(void) {
            *m_a += 100;
        }

        struct b {
        public:
            static int get(a* import) {
                int* arr = new int[10];
                arr[1] = *import->m_a;

                return arr[1];
            }
        };
    };
};

我这样称呼它：

printf("%d", mom::a::b::get(&(mom::create(10))));

它应该在编译时将 10（或您给它的任何其他值）加 100，然后在运行时将其存储到动态数组中并返回给您。

这段代码几乎与我的项目完全相同，但它有一个问题：它不是将值加 100，而是返回一个随机大数 (-95321314)。我试过调试它，一切都很好，直到我调用 get() 函数，我不知道发生了什么导致这个

有什么想法吗？

Answer 1

问题是m_a 是一个指向临时的指针，一旦堆栈展开，该临时的进一步使用是未定义的。

具体来说，对mom::create(10) 的调用返回一个结构a，其成员m_a 不再指向有效的内存区域。该成员的后续使用将是未定义的（例如，复制到 get() 中的 b 的数组中）

---

一个简单的“修复”是更改m_a(&i) -> m_a(new int(i))，尽管请注意这会引入内存泄漏并完全改变内存布局。由于我不清楚您的设计目标是什么，因此这是让事情“正常工作”的合理替代方案。