6
#include <iostream>
using namespace std;

#include <functional>

        template <class F>
        class ScopeExitFunction
        {
        public:
            ScopeExitFunction(F& func) throw() :
                m_func(func)
            {
            }

            ScopeExitFunction(F&& func) throw() :
                m_func(std::move<F>(func))
            {
            }

            ScopeExitFunction(ScopeExitFunction&& other) throw() :
                m_func(std::move(other.m_func))
            {
             //  other.m_func = []{};
            }

            ~ScopeExitFunction() throw()
            {
                m_func();
            }

        private:
            F m_func;
        };

int main() {
    {
        std::function<void()> lambda = [] { cout << "called" << endl; };
        ScopeExitFunction<decltype(lambda)> f(lambda);
        ScopeExitFunction<decltype(lambda)> f2(std::move(f));
    }
    return 0;
}

如果不取消注释此行// other.m_func = []{}; ,程序会产生以下输出:

执行程序.... $demo 调用终止,在抛出 'std::bad_function_call' 的实例后调用 what(): bad_function_call

std::function 移动时不重置其内部功能是否正常?

4

2 回答 2

12

根据 C++11 20.8.11.2.1/6 [func.wrap.func.con],从现有std::function对象进行移动构造会使原始对象“处于具有未指定值的有效状态”。所以基本上不要假设任何事情。只是不要使用原始的函数对象,或者如果你仍然需要它就不要离开它。

于 2013-11-15T10:05:07.780 回答
5

std::function 移动时不重置其内部功能是否正常?

相反,在您的情况下,它确实重置了内部函数,这意味着内部句柄设置为零,并且std::function不再是真正的函数。自从那件事发生以来,调用operator()并不顺利。

于 2013-11-15T10:11:26.450 回答