主页 / 问题 / 731506
Accepted
Qwertiy
Asked:2020-10-16 19:33:12 +0000 UTC2020-10-16 19:33:12 +0000 UTC

通过常量引用延长值的寿命

  • 772

如您所知，如果通过常量引用将右值传递给函数，那么它的生命周期就会延长。也就是说，在下面的示例中，它肯定在函数正在执行时存在ref_to_ptr。问题是，这样的值应该存在多长时间，是否允许在函数中使用它print，或者它是 UB 并取消引用潜在的垃圾指针？

https://ideone.com/CcacHz

#include <iostream>

using namespace std;

template <typename T> const T *ref_to_ptr(const T &x)
{
  return &x;
}

void print(const int *val)
{
  cout << *val << endl;
}

int main()
{
  print(ref_to_ptr(42));
  return 0;
}
c++

2 个回答

  1. Best Answer

    据我了解的标准（报价）：

    ⁴ [...] 临时对象被销毁作为评估完整表达式的最后一步，该完整表达式（词法上）包含它们被创建的点。[...]

    ⁵ 在三种情况下，临时对象在与完整表达式结尾不同的点被销毁。[...]

    ⁶ 上下文第三个是引用绑定到临时对象时。引用绑定到的临时对象或作为引用绑定到的子对象的完整对象的临时对象在引用的生命周期内持续存在 [...] 此生命周期规则的例外是：

    (6.9) - 在函数调用中绑定到引用参数的临时对象将持续存在，直到包含调用的完整表达式完成。

    (6.10) - 在函数返回语句中临时绑定到返回值的生命周期没有延长；临时在 return 语句中的完整表达式的末尾被销毁。

    换句话说：通常引用所引用的临时对象随着引用而死。但是，如果您将临时对象作为 ref 参数的参数传递给函数，则该临时对象的生命周期会延长到包含函数调用的整个表达式的末尾。

    这意味着参数生命周期x在行尾结束

    print(ref_to_ptr(42));

    也就是说，无法访问“死”对象。

    这似乎也意味着通过重写代码如下：

    const int *ptr = ref_to_ptr(42);
print(ptr);

    你仍然会得到未定义的行为，因为指向的临时对象的生命周期ptr在第一行之后结束！

    • 7

  2. 我将添加一个真理标准:) - 练习。为了确认@VladD的观点，我将给出以下代码：

    #include <iostream>

using namespace std;

template <typename T> const T *ref_to_ptr(const T &x)
{
  return &x;
}

class Test
{
public:
    Test()  { cout << "ctor: " << this << endl; }
    ~Test() { cout << "dtor: " << this << endl; }
};

void print(const Test * val)
{
    cout << val << endl;
}

int main()
{
    print(ref_to_ptr(Test()));
    const Test * ptr = ref_to_ptr(Test());
    print(ptr);
    cout << "The end.\n";
    return 0;
}

    此代码在 VC++ 和 GCC 中的行为相同，表明临时对象在 call 之后死亡print，但在之后立即死亡。

    • 4

相关问题