C++函数中含双可选构造函数的对象实例化问题咨询

首先直接给结论：不管你是否保留那行手动调用析构函数的代码，这段代码都无法正常运行，甚至会触发未定义行为，下面我来详细拆解原因，再给出符合要求的修复方案。

为什么两种情况都不行？ #

情况1：保留注释（不手动调用析构函数） #

你在if代码块里重新定义了一个同名的局部变量a——这个a是块作用域的，和外面的那个a完全是两个独立的对象。当if块执行结束后，这个内部的a会被自动销毁，而你返回的是外部a的地址：

• 外部的a从始至终都是用无vals的构造函数创建的，完全没用到传入的vals，根本不符合你的预期；
• 更严重的是，函数返回后，所有局部变量（包括外部的a）都会被销毁，你返回的是一个悬垂指针，后续任何访问这个指针的操作都会触发未定义行为（比如程序崩溃、数据乱码等）。

情况2：去掉注释（手动调用析构函数） #

手动调用a.~RecievedMessage()会直接结束外部a的生命周期，销毁这个对象。之后你在if块里创建的同名a，虽然刚好占用了同一块栈内存，但这属于在已销毁对象的内存上重新构造新对象——即便这个操作在C++语法上被允许，问题依然出在返回值：

• if块结束后，内部的a会被自动销毁，你返回的&a指向的内存已经没有有效的RecievedMessage对象了，还是悬垂指针；
• 手动调用析构函数后，如果没有正确地在原对象内存上重新构造（你这里是创建了新的局部对象，不是复用原内存），还可能导致双重销毁、对象状态混乱等问题，同样是未定义行为。

不使用setter的修复方案 #

既然不能用setter，我们可以通过直接构造正确的对象来解决问题，同时避免悬垂指针的风险，这里推荐两种靠谱的方式：

方案1：返回对象而非指针（优先推荐） #

如果RecievedMessage类支持拷贝或移动构造（C++11及以后默认生成移动构造），直接返回对象即可，编译器会自动优化（比如RVO返回值优化），不会有额外的性能开销：

RecievedMessage createMessage(/* 你的参数：sc, type, vals */) {
    if (!vals.empty()) {
        return RecievedMessage(sc, type, vals);
    } else {
        return RecievedMessage(sc, type);
    }
}

这样返回的是一个完整的对象，不存在悬垂指针问题，调用者可以直接使用返回值。

方案2：使用智能指针管理堆对象 #

如果必须返回指针（比如对象体积很大，或者需要长期持有），推荐使用智能指针自动管理内存，避免内存泄漏和悬垂指针：

#include <memory> // 需要包含智能指针头文件

std::unique_ptr<RecievedMessage> createMessage(/* 你的参数：sc, type, vals */) {
    if (!vals.empty()) {
        return std::make_unique<RecievedMessage>(sc, type, vals);
    } else {
        return std::make_unique<RecievedMessage>(sc, type);
    }
}

std::unique_ptr会在指针不再被使用时自动销毁对象并释放内存，调用者不需要手动delete，安全又省心。

不推荐的方案：Placement New（仅作知识补充） #

如果你非要在栈内存上复用空间（但依然不能返回栈指针），可以用placement new在指定内存上构造对象，但这种方式非常容易出错，仅适合在函数内部使用对象的场景，不适合返回指针：

// 注意：返回这个指针依然会导致悬垂指针，仅作演示
alignas(RecievedMessage) char msgBuffer[sizeof(RecievedMessage)];
RecievedMessage* msgPtr;

if (!vals.empty()) {
    msgPtr = new (msgBuffer) RecievedMessage(sc, type, vals);
} else {
    msgPtr = new (msgBuffer) RecievedMessage(sc, type);
}

// 在函数内使用msgPtr指向的对象...

// 最后需要手动调用析构函数
msgPtr->~RecievedMessage();

这种方式需要手动管理对象生命周期，非常容易遗漏析构，导致资源泄漏，所以除非特殊场景，不推荐使用。

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