右值引用直接实例化是否为定义行为？相关C++技术问询

可编译代码 #

#include <iostream>
class Base {
public:
    Base(char const* base) : base_(base) {}
    void print( char const* msg ) {
        print( base_, msg );
    }
protected:
    ~Base() = default;
private:
    char const* base_;
    virtual void print( char const*, char const* ) = 0;
};
class Drv1 : public Base {
public:
    Drv1(char const* base, int i) : Base(base) , i_(i) {}
    ~Drv1() { std::cout << "Drv1 dtor" << std::endl; }
private:
    int i_;
    void print( char const* base, char const* msg ) override {
        std::cout << base << "(" << msg << "): " << i_ << std::endl;
    }
};
class Drv2 : public Base {
public:
    Drv2(char const* base, double d) : Base(base) , d_(d) {}
    ~Drv2() { std::cout << "Drv2 dtor" << std::endl; }
private:
    double d_;
    void print( char const* base, char const* msg ) override {
        std::cout << base << "(" << msg << "): " << d_ << std::endl;
    }
};
void do_test( char const* base, char const* msg, bool int_type ) {
    Base&& _base(int_type ? (Base&&)Drv1(base, 1) : (Base&&)Drv2(base, 2.5));
    _base.print( msg );
}
int main() {
    do_test( "Test1", "int", true );
    do_test( "Test2", "double", false );
    return 0;
}

运行输出 #

Drv1 dtor
Test1(int): 1
Drv2 dtor
Test2(double): 2.5

问题1：若派生类析构函数在虚函数调用前已执行，为何该现象看似是定义行为？ #

首先得敲黑板：这段代码的行为是完全未定义的，你看到的正常输出纯粹是运气爆棚的巧合。

拆解do_test里的核心逻辑就能明白：

• 条件表达式会先创建临时的Drv1或Drv2对象，再转成Base&&类型。但C++里临时对象的生命周期只到当前表达式结束——也就是说，_base刚初始化完，Drv1/Drv2的临时对象已经被销毁了！
• _base本质是绑定到了一个已经死透的派生类对象的基类子对象上。

那为啥还能输出正确结果？无非两个偶然因素：

1. 派生类析构是先析构自身成员，再调用基类析构。在基类析构执行前，虚表指针（vptr）还没被重置成基类的，所以调用print时还是会找到派生类的实现。
2. 栈上的临时对象内存还没被后续操作覆盖，i_/d_这些成员的值还留在原地没被改写。

但这完全是碰运气——要是编译器优化了栈布局，或者后续代码占用了这块内存，结果可能是乱码、崩溃，甚至更诡异的行为。C++标准明确规定，访问已销毁对象的任何部分都是未定义行为，没有任何“看似合法”的余地。

问题2：若此输出仅为偶然结果，可用哪些编译选项排查该问题？ #

要揪出这类隐藏的未定义行为，推荐用这些g++选项：

• -fsanitize=address：地址 sanitizer（ASAN），会直接检测到对已释放内存的访问，精准报错并定位问题，是排查这类内存问题的首选。
• -fsanitize=undefined：未定义行为 sanitizer（UBSAN），能直接识别“调用已析构对象的虚函数”这类违规操作，给出明确的错误提示。
• -O2 或 -O3：开启优化后，编译器会重新编排代码逻辑，可能让已销毁对象的内存被立即重用，从而让错误表现得更明显（比如输出乱码或直接崩溃），而不是侥幸“正常”运行。
• -fstack-protector-all：给所有栈帧添加保护，已销毁的栈对象内存会被标记为无效，访问时直接触发崩溃，更容易暴露问题。

问题3：do_test函数中局部变量_base的类型是否属于右值引用？ #

没错，_base的类型确实是右值引用（Base&&）。

你提到的“万能引用/转发引用”确实只存在模板推导场景（比如template <typename T> void func(T&&)）或者auto&&的情况——这类引用的类型会根据初始化表达式的值类别动态推导。而这里是显式声明的Base&&，没有任何模板参数或auto推导，所以就是标准的右值引用。

不过要注意：这里的右值引用绑定到了一个已经销毁的临时对象，属于典型的悬空引用，是完全错误的用法。

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