c – 短暂的临时寿命

想象一下,我们有一个短路的布尔表达式,例如,

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

我正在考虑std :: string临时的生命周期.通常,编译器会在完整表达式的末尾破坏临时值.但在这种情况下,这是不合适的,因为它不知道g()是否返回true.所以我想知道编译器通常如何处理这种情况.他们是否存储变量,告诉他们是否发出析构函数调用?或者标准是否允许他们尽早破坏临时性?

最佳答案 &安培;&安培;短路,所以如果g()返回true,则只会评估std :: string().size()(根本没有). 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;

我在从汇编语言转换回这个伪代码时遗漏了一些不相关的细节,但保留了原始流程和类似的名称,如果你愿意的话,很容易将它们与原文进行比较.

点赞