GCC4.8.1开启快速优化时栈存抽象类实现崩溃问题求助

嘿，你的问题本质是悬空引用触发的未定义行为，GCC4.8和GCC5的差异只是因为编译器对临时对象生命周期的优化逻辑不同，咱们一步步理清楚：

为什么优化后会崩溃？ #

先拆解你的代码执行流程：

1. MakeCustom(Vector)会创建一个临时的TCustom<RVector2>对象，这个对象里的Format是栈上分配的TFormatter<RVector2>实例。
2. 初始化RCustom Custom时，会调用RCustom的模板构造函数，把临时TCustom里的Formatter()引用传给RCustom的Formatter成员。
3. 关键问题来了：临时的TCustom对象在RCustom构造完成后就立刻被销毁了！它里面的Format（栈上的TFormatter实例）也跟着被析构，此时RCustom::Formatter就变成了一个指向已销毁对象的悬空引用。
4. 无优化时GCC4.8能运行纯粹是运气——栈内存还没被覆盖，虚表指针碰巧还在原来的位置；但开启优化后，编译器会复用栈空间或者直接优化掉无意义的临时对象，这时访问悬空引用就触发段错误（返回码139对应SIGSEGV信号）。

GCC版本差异的本质 #

GCC5对C标准中临时对象生命周期的实现做了更严格的对齐，或者说优化逻辑调整，碰巧让你的代码在这种情况下能运行，但**你的原始写法本身是违反C标准的未定义行为**——根据标准，绑定到函数参数引用的临时对象，生命周期只持续到函数调用结束，不会延长到RCustom对象的整个生命周期。GCC4.8的行为才是符合标准的（未定义行为允许任何结果，包括崩溃或正常运行）。

修复方案（三种可选） #

方案1：显式延长临时对象的生命周期 #

最简单的修复，把临时的TCustom对象显式存储起来，让它的生命周期覆盖RCustom：

int main() {
    const RVector2 Vector{};
    const auto CustomTmp = MakeCustom(Vector); // 显式保存，生命周期和Custom一致
    const RCustom Custom = CustomTmp;
    Custom.Get().Format(nullptr);
    return 0;
}

这样RCustom持有的引用就不会悬空，无论哪个GCC版本都能正常运行。

方案2：让RCustom持有Formatter实例而非引用 #

如果你想避免显式声明临时对象，可以修改RCustom的设计，用类型擦除的方式绕开抽象类的限制，直接持有TFormatter的实例。比如用C++17的std::any来存储实际的Formatter：

#include <any>
class RCustom {
public:
    FORCEINLINE RCustom(const void* InValue, std::any InFormatter) 
        : Data(InValue), FormatterHolder(std::move(InFormatter)),
          Formatter(*std::any_cast<const IFormatter*>(&FormatterHolder)) { }
    
    template<typename T>
    FORCEINLINE RCustom(const TCustom<T>& InCustom) 
        : RCustom(InCustom.Data(), std::any(InCustom.Formatter())) { }

    FORCEINLINE const IFormatter& Get() const { return Formatter; }
private:
    const void* Data;
    std::any FormatterHolder; // 存储实际的TFormatter实例，保证生命周期
    const IFormatter& Formatter;
};

这样FormatterHolder会保存TFormatter的副本，生命周期和RCustom完全一致，引用就安全了。

方案3：重构TCustom的设计（彻底避免引用问题） #

如果可以接受小的设计调整，让TCustom不再存储引用，而是直接持有T的副本，这样TCustom的生命周期管理会更简单，也不会出现悬空引用的问题：

template<typename T>
class TCustom {
public:
    FORCEINLINE TCustom(T InValue) : Value(std::move(InValue)), Format(TFormatter<T>{}) { }
    FORCEINLINE const T* Data() const { return &Value; }
    FORCEINLINE const IFormatter& Formatter() const { return Format; }
private:
    T Value; // 存储副本而非引用
    TFormatter<T> Format;
};

当然这取决于你的场景是否允许存储T的副本，如果T是大对象可能会有性能开销，但能彻底解决生命周期问题。

内容的提问来源于stack exchange，提问作者Viktor Hugo Mariano