此右值生命周期延长的C++代码示例是否存在安全风险？

你的代码存在严重的未定义行为风险，所谓的“临时对象生命周期延长”只是执行期的假象，本质上你最终持有了一个悬空引用。

核心问题拆解 #

1. 临时对象的生命周期边界：调用test(123)时，123是临时int对象。根据C++规则，临时对象的生命周期仅会延长到直接绑定它的引用变量的生命周期结束——这里就是test函数的参数y（类型为int&&），因此临时对象只会存活到test函数执行完毕。
2. 悬空引用的产生：dummy<int&>类的tuple<int&>保存的是对y的引用，而y本身是对临时对象的引用。当test函数结束，临时对象被销毁，d[0].tup中的引用就变成了无效的悬空引用。
3. 地址相同的假象：三个输出地址一致，只是因为test执行期间临时对象仍存在，三个位置访问的是同一个临时对象的地址。但main函数中访问该地址时，临时对象已被销毁，此时的内存属于无效区域，后续任何操作都是未定义行为（可能崩溃、输出垃圾值，或看似正常但埋下隐性bug）。

验证风险的简单方式 #

修改main函数，在test(123)后添加内存操作，再访问引用，大概率会看到垃圾值：

int main()
{
    test(123);
    int temp = 456; // 占用临时对象曾经的内存空间
    cout << "\n" << std::get<0>(d[0].tup); // 大概率输出456或其他随机值
    return 0;
}

正确处理方式 #

要避免悬空引用，有两种可行方案：

• 保存值而非引用：将dummy的tuple改为tuple<Y>，直接存储值的副本。
• 确保引用对象生命周期足够长：传递生命周期覆盖d的变量（比如main的局部变量、全局变量），而非临时对象。

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