Question

#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名为terminate后调用抛出'std :: bad_function_call'的实例what（）： bad_function_call

在移动时std :: function没有重置其内部函数是正常的吗？

Answer 1

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

Answer 2

在移动时std :: function没有重置其内部函数是正常的吗？

相反，在你的情况下，重置内部函数，意味着内部句柄设置为零，std::function不再是真正的函数。自那以后，对operator()的调用进展不顺利。

std :: function在移动后重置其内部函数

2 个答案: