4

下面的代码有什么问题以及如何修复它。

#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()不能调用该函数。g在 VC++ 2012 编译,在调试和发布模式下都遇到了同样的问题。

4

1 回答 1

5

guard保留一个参考,但它需要一个。一旦 的构造函数结束,引用就变得无效,因为它引用构造函数采用的参数,而不是传递给 的参数。guardlastmake_guard

一旦你访问了一个无效的引用,你就有了未定义的行为,所有的赌注都被取消了。

于 2012-12-22T04:36:19.623 回答