三元运算符并通过常量引用延长临时对象的生命周期

Question

在看到 a local reference-to-const may prolong the life of a temporary 之后，我遇到了需要有条件地将局部常量引用绑定到函数参数或函数调用的临时结果，即：

class Gizmo
{
    // Rule of Five members implemented
};

Gizmo Frobnicate(const Gizmo& arg);

void ProcessGizmo(const Gizmo& arg, bool frobnicate)
{
    const Foo& local = frobnicate ? Frobnicate(arg) : arg;
    // Perform some work on local
}

一个实际示例：布尔值指定是否压缩缓冲区，并且您想编写统一的代码来对 local 进行操作。

但是，上面的示例在 frobnicate 为 false 时在 arg 上调用了 Gizmo 的复制构造函数。我设法通过将 Frobnicate(arg) 更改为 static_cast<const Gizmo&>(Frobnicate(arg)).

来避免调用复制构造函数

我的问题变成了：三元运算符如何与有关将本地常量引用绑定到临时引用的规则交互？我的解决方案是否合法且行为良好？

Answer 1

不行，这不乖。为了延长生命周期，必须将临时对象直接绑定到引用。添加转换后，绑定不再直接，生成的引用变为悬空。

我们可以通过一些简单的测试代码看到这一点：

#include <iostream>
struct Gizmo
{
    ~Gizmo() { std::cout << "Gizmo destroyed\n"; }
};

Gizmo Frobnicate(const Gizmo& arg) { return arg; }

void ProcessGizmo(const Gizmo& arg, bool frobnicate)
{
    const Gizmo& local = frobnicate ? static_cast<const Gizmo&>(Frobnicate(arg)) : arg;
    // Perform some work on local
    (void) local;
    std::cout << "Processing\n";
}

int main(){
    Gizmo g;
    ProcessGizmo(g, true);
    std::cout << "Processed\n";
}

这个prints:

Gizmo destroyed
Processing
Processed
Gizmo destroyed

第一个 Gizmo destroyed 消息来自 Frobnicate() 的 return 值；它在该行的末尾被销毁 - 没有生命周期延长。

一个明显的解决方法是将处理转移到另一个函数中：

void DoProcessGizmo(const Gizmo& arg) { /* process the Gizmo */ }

void ProcessGizmo(const Gizmo& arg, bool frobnicate)
{
    return frobnicate ? DoProcessGizmo(Frobnicate(arg)) : DoProcessGizmo(arg);
}

三元运算符并通过常量引用延长临时对象的生命周期

Ternary operator and prolonging the lifetime of a temporary object via reference-to-const

c++

copy-constructor

temporary-objects

c++11