c++ - 短路临时寿命

Question

假设我们有一个短路的布尔表达式，例如，

f(g() && std::string().size() == 0);

我在考虑std::string临时工的寿命。通常，编译器会在完整表达式结束时破坏临时对象。但在这种情况下，这是不合适的，因为它不知道是否g()返回 true。所以我想知道编译器通常如何处理这种情况。他们是否存储了一个变量来告诉他们是否发出析构函数调用？还是标准允许他们提前销毁临时文件？

Answer 1

&&短路，因此只有在返回 truestd::string().size()时才会评估（根本） 。g()IOW，如果g()没有返回 true，则无需担心销毁临时字符串的时间——因为它一开始就永远不会被创建。

例如，给定这样的代码：

#include <iostream>
#include <stdlib.h>

bool g() { return rand() & 1 == 0; }

void f(bool val) {
    std::cout << std::boolalpha << val;
}

int main(){
    f(g() && std::string().size() == 0);
}

VC++ 生成的代码使用一个临时变量$T1来跟踪是否生成了临时变量，并且只有在$T1为真时才销毁临时变量，因此序列看起来像这样：

    int $T1 = 0
    call g()
    if (retval == 0)
        goto $LN3

    call std::string::string()
    $T1 = true;
    call temp_string.size();
    if (retval != 0)
        goto $LN3

    $TV74 = 1
    goto $LN4    

$LN3 :
    $TV74 = 0
$LN4 :
     call f($TV74);

    if ($T1 == 0)
        goto $LN7

    call std::string::~string();

$LN7:
    return 0;

在从汇编语言翻译回这个伪代码时，我省略了一些不相关的细节，但保留了原始流程和足够相似的名称，如果你愿意的话，很容易将它们与原始代码进行比较。