왜 `T&&`는 항상 진정한 R값 참조처럼 동작하지 않습니까?

T&&가 Rvalue 참조처럼 동작하지 않는 이유는 무엇인가요?

void f(T&&) 및 void f(T&)와 같은 함수 오버로드로 작업할 때 ), 그 반대가 사실이 아닌 경우에도 T&&를 전달할 때 f(T&)가 호출된다는 사실은 놀랍습니다. 이는 C의 rvalue 참조 동작 때문입니다.

직관과는 달리 T&&는 단순히 rvalue 참조가 아닙니다. rvalue 참조 유형입니다. 즉, rvalue에만 바인딩할 수 있지만 그렇지 않으면 rvalue 참조 유형의 lvalue처럼 동작합니다. 이 바인딩 동작은 이름이 없는 객체와 이름을 잃게 될 객체가 자동으로 rvalue로 처리되도록 보장합니다.

그러나 T&&에는 이름(예: t)이 있으므로 lvalue로 간주되어 f( T&) 과부하. rvalue 참조 오버로드 f(T&&)를 호출하려면 f(static_cast(t))를 사용하여 t를 T&&&로 정적 캐스팅해야 합니다.

요약하면 이 동작을 관리하는 C 규칙은 다음과 같습니다.

• 함수에서 명명된 값을 반환할 때, 값에 이름이 없을 때 또는 함수가 명시적으로 rvalue를 반환할 때 암시적 이동이 발생합니다. 참조.
• rvalue 참조 및 const&만 rvalue에 바인딩할 수 있습니다.
• 임시 값에 대한 참조 수명 연장은 생성자 외부의 참조에 직접 바인딩할 때 발생하며 rvalue 참조 및 const&에 적용됩니다.
• T&&가 항상 rvalue 참조는 아닙니다. T의 유형에 따라 X&, X const& 또는 X const&&로 축소될 수 있습니다.
• T&&는 유형 추론 컨텍스트에서 "전달 참조" 역할을 하여 인수 유형에 따라 T를 추론할 수 있습니다.

위 내용은 왜 `T&&`는 항상 진정한 R값 참조처럼 동작하지 않습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!