이 왜 삭제 기능을 사용하고 있습니다 '[_Tp = INT와] 무효 표준을 :: REF (const를 _Tp &&)'

Question

예를 들어

#include<iostream> 
#include<utility> 
#include<tuple> 
#include<functional> 
using namespace std; 
int main() 
{ 
    int i = 0; 
    auto p = make_pair(ref(i), ref(i++)); 
    p.first++; 
    p.second++; 
    cout << "i = " << i << endl; 
} 

이 같은 ref()를 사용하는 경우는, 컴파일러는

use of deleted function 'void std::ref(const _Tp&&) [with _Tp = int]'

을 말할 것이다 내 코드는

#include<iostream> 
#include<utility> 
#include<tuple> 
#include<functional> 
using namespace std; 
int main() 
{ 
    int i = 0; 
    auto p = make_pair(ref(i), ref(++i)); 
    p.first++; 
    p.second++; 
    cout << "i = " << i << endl; 
} 

을 따르고 그러나 만약 성공적으로 출력 i = 3을 얻을 것이다, 그래서 너무 다른 답변을 얻을 이유를 이해할 수 없다.

Answer 1

std::ref은 변수를 취해 그 변수에 대한 참조처럼 작동하는 것을 제공합니다.

i++은 변수가 아닙니다. 그것은 일시적이다. 이는 후행 증가가 어떻게 작용했기 때문입니다. 원래 값은 증가하지만 표현식은 이전 값인 값으로 평가되며 읽을 수 있도록 임시 값을 보유해야합니다.

std::ref과 같은 실수를 피하기 위해 임시 사용을 허용하지 않습니다. 그렇지 않으면 매달린 참조 일 것입니다.

++i 다른 한편으로는 원래 변수를 되돌려 놓았으므로 참고 만하면됩니다.

그러나 i과 ++i을 바로 옆에 넣을 수는 없습니다. 두 표현식은 서로에 대해 불확 실한 순서로 배열됩니다. 모든 종류의 비용으로 이러한 종류의 코드를 피하십시오.