예외 : 액세스 위반

Question

이 코드의 문제점과 해결 방법은 다음과 같습니다. g 변수가 만료되기 전에

#include<iostream> 
using namespace std; 

template<typename Func1, typename Func2> 
class guard{ 
public: 
    guard(Func1 first, Func2 last) : last(last){ 
     first(); 
    } 
    ~guard(){ 
     last(); 
    } 
private: 
    Func2& last; 
}; 

template<typename Func1, typename Func2> 
guard<Func1, Func2> make_guard(Func1 first, Func2 last){ 
    return guard<Func1, Func2>(first, last); 
} 

void first(){ 
    cout << "first" << endl; 
} 

void last(){ 
    cout << "last" << endl; 
} 

int main(){ 
    { 
     first(); // ok 
     last(); // ok 
     auto g = make_guard(first, last); 
     first(); //exception: Access violation 
     last(); //exception: Access violation 
    } 
    first(); // ok 
    last(); // ok 
    cin.get(); 
} 

기능 first() 및 last()는 호출 할 수 없습니다. VC++ 2012에서 컴파일되었으며 디버그 및 릴리스 모드에서 동일한 문제가 발생했습니다.

Answer 1

당신의 guard참조을 유지하지만 그것은 값 걸립니다. 참조은 guard의 생성자가 끝나 자마자 무효화됩니다. 이는 make_guard에 전달 된 매개 변수가 아니라 생성자가 취한 last 매개 변수를 나타냅니다.

잘못된 참조에 액세스하면 의 정의되지 않은 동작이 발생하며 모든 베팅은 해제됩니다.