const 참조가 임시로 바인딩 될 때 스택에서 어떤 일이 발생합니까?

Question

C++ 표준에서는 const 참조를 rvalues에 바인딩 할 수 있으므로 참조가 범위를 벗어날 때까지 임시의 수명이 연장됩니다. 먼저 기능 foo()인지가 무슨 일, 예를 들어 같은 x86 아키텍처를 사용하여, 내가 아는

std::string foo() { 
    return std::string("foo"); 
} 

void bar() { 
    VeryBigObject obj; 
    // Perhaps do something with the big object 
} 

int main(int, char **) { 
    const std::string &foo_str = foo(); 
    bar(); 
    return 0; 
} 

: 그러나, 나는이 실제로 컴파일하는 방법을 알아낼 수 없습니다, 내가 예와 함께 설명하자 이 문자열 객체는 스택에 구성되며 이는 필요한 공간을 rsp 레지스터에서 뺍니다 (64 비트 아키텍처라고 가정). 이후에 rsp 레지스터가 원래 값으로 반환되어 foo() 함수가 채우는 스택 공간을 확보하고 올바르게 이해하면 bar()에 대한 호출은 해당 스택 공간을 사용하여 VeryBigObject을 구성하여 문자열을 덮어 씁니다.

이 점을 염두에두고 어셈블리 도메인에서 foo()을 호출 한 후 어떻게 문자열의 수명을 연장 할 수 있습니까?

Answer 1

임시 반환 값은 foo의 임시 프레임을 복사/이동하거나 RVO를 사용하여 복사본을 삭제하고 호출자의 프레임에서 직접 구성하여 스택 프레임 main에 생성됩니다.

참조에 바인딩되면 임시는 참조 기간 동안 지속됩니다. 사실 임시 변수는 동일한 범위의 명명 된 변수와 동일한 방식으로 관리됩니다.