C에서 임시 개체를 바인딩하기 위해 Non-Const 참조를 사용할 수 없는 이유는 무엇입니까?

왜 임시 객체에 대한 비-const 참조가 아닌가?

C에서 표현식 중에 생성된 임시 객체는 const 참조에만 할당될 수 있지만 비-const는 할당될 수 없습니다. 참조. 이로 인해 이러한 제한의 근거에 대한 의문이 제기되었습니다.

일반적인 설명은 임시 개체 수정의 잠재적인 위험을 기반으로 합니다. 임시 항목에 대한 non-const 참조가 허용된 경우 의도치 않게 수정되어 예측할 수 없는 결과가 발생할 수 있습니다. 그러나 비평가들은 임시 개체에서 읽는 것도 마찬가지로 위험하며 제한되어야 한다고 주장합니다.

이 구별을 이해하려면 다음 예를 고려하십시오.

String& a = String("test");         // Error
const String& a = String("test");   // Ok

첫 번째 줄은 오류입니다. 두 번째 줄은 유효합니다. 이는 C가 임시 개체에서 읽는 데 관심이 없음을 나타냅니다. 그럼 왜 글쓰기가 금지되는 걸까요?

그 답은 C의 근본적인 측면인 함수 매개변수에 있습니다. 임시 개체에 대한 비 const 참조가 허용되면 참조를 허용하는 함수에 임시 개체를 전달할 때 모호성이 발생합니다. 예를 들면 다음과 같습니다.

void inc(double& x)
{
    x += 0.1;
}

int i = 0;
inc(i);

이 예에서 i가 inc()에 전달되면 i에 대한 참조가 의도된 것인지 아니면 i의 임시 복사본을 만들어야 하는지가 확실하지 않습니다. 이러한 모호함은 미묘한 오류로 이어질 수 있습니다.

임시에 대한 비상수 참조를 금지함으로써 C는 함수 매개변수가 항상 lvalue(비임시 객체)를 참조하도록 보장합니다. 이렇게 하면 혼동 가능성이 제거되고 코드 명확성이 높아집니다.

위 내용은 C에서 임시 개체를 바인딩하기 위해 Non-Const 참조를 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!