Const 참조가 C에서 임시 개체의 수명을 연장하는 이유는 무엇입니까?

상수 참조를 사용한 임시 객체 수명 이해

소개:

C에서는 수명이 임시 개체의 수는 일반적으로 해당 개체가 생성된 표현식이 끝날 때까지만 확장됩니다. 그러나 임시 개체가 const 참조에 바인딩되어 수명이 원래 범위 이상으로 연장되면 예외가 발생합니다.

특정 문의:

왜 다음 코드를 컴파일하고 foo 함수에서 반환된 문자열이 임시 개체인데도 성공적으로 실행됩니까?

<code class="cpp">string foo() {
  return string("123");
}

int main() {
  const string& val = foo();
  printf("%s\n", val.c_str());
  return 0;
}</code>

답변:

C 표준에서는 임시 개체를 바인딩하는 것을 명시적으로 정의합니다. 스택의 const에 대한 참조에 대한 참조는 참조 자체의 수명까지 임시 수명을 연장합니다. 따라서 제공된 코드에서 foo()가 반환한 임시 문자열은 주 함수의 닫는 중괄호가 나올 때까지 활성 상태로 유지됩니다.

메커니즘:

이 기능은 다음을 보장합니다. 임시 개체에 대한 참조는 정의되지 않은 동작을 초래하는 매달린 참조가 되지 않습니다. 임시 객체가 const 참조에 바인딩되어 있는 동안 해당 메모리는 효과적으로 고정되어 프로그램이 이를 안전하게 계속 사용할 수 있습니다.

제한 사항:

주의하는 것이 중요합니다. 이 수명 연장은 스택 기반 참조에만 적용됩니다. 대조적으로, 객체의 구성원인 참조는 임시 객체의 수명을 연장하지 않습니다.

추가 정보:

이 주제에 대한 자세한 내용은 다음을 참조하세요. GotW #88: Herb Sutter의 "가장 중요한 const" 후보.

위 내용은 Const 참조가 C에서 임시 개체의 수명을 연장하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!