Non-Const Lvalue 참조가 C의 임시 항목에 바인딩될 수 없는 이유는 무엇입니까?

비상수 Lvalue 참조 및 임시 바인딩

C에서 비상수 lvalue 참조는 동일하거나 동일한 lvalue에 바인딩될 것으로 예상됩니다. 파생 유형. 그러나 임시 개체에 대한 바인딩과 같은 특정 상황에서는 오류가 발생할 수 있습니다.

다음 코드가 유효한 이유는 무엇입니까?

int a;
const double &m = a;

이 경우 참조는 lvalue에 바인딩됩니다. , 참조가 const이므로 lvalue를 수정할 수 없습니다. 이는 유형이 호환되는 한 C에서 허용됩니다.

그러나 const가 아닌 lvalue 참조를 다른 유형의 lvalue에 바인딩하려고 하면 오류가 발생합니다.

int a;
double &m = a;

오류: 'double' 유형에 대한 const가 아닌 lvalue 참조는 관련되지 않은 'int' 유형의 값에 바인딩할 수 없습니다.

이 오류는 임시가 관련된. int에서 double로의 암시적 유형 변환은 임시 객체를 생성합니다. 비-const 참조는 개체의 수명과 위치가 알려져야 하므로 임시 개체에 바인딩될 수 없습니다. 임시 개체는 본질적으로 제한된 기간 동안 존재합니다.

Visual Studio는 특정 경우에 임시 개체에 대한 바인딩을 허용하는 컴파일러 확장으로 인해 오류 없이 이 코드를 컴파일할 수 있습니다. 그러나 GCC와 같은 컴파일러는 이 오류를 올바르게 표시합니다.

아래 예는 사용자 정의 유형과 유사한 문제를 보여줍니다.

struct Foo {};

Foo &obj = Foo(); // error: binding non-const reference to temporary

C에서 적절한 참조 처리를 위해서는 이 개념을 이해하는 것이 중요합니다. 객체 수명과 관련된 런타임 문제를 방지합니다.

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