c++11 std::function的bug

来源:互联网 发布:贝塔无敌软件 编辑:程序博客网 时间:2024/05/18 03:56

c++11的std::function是一大亮点,具体优点我就不一一细说了,今天我来说一些使用std::function带来的常见问题及处理。

std::function<bool(int,int)> compare = [](int a, int b){    return a > b;};compare(1, 2);

以上是正常的基本使用。

但如果std::fucntion是类成员的时候,有时候在就会莫名其妙的crash了。
如下:

class Test{public:    std::function<void()> delegate;    void testDelegate()    {        if (delegate) {            delegate();        }    }};void main(){    Test t;    t.delegate = [](){        printf("t.delegate\n");    };    t.testDelegate();    Test * m = new Test;    string s = "hello world!";    m->delegate = [m, s](){        delete m;        printf("m->delegate\n%s\n", s.c_str());    };    m->testDelegate();}

第一个测试是正常的使用,第二个测试就可能会crash了。为什么呢,因为m已经被释放了,成员delegate也被析构了。

执行delete m后,函数实体已经消亡,包括[]中catch的所有变量都也析构了,如变量s。所以再操作相关对象时就会crash,如果没有crash那只能说你运气好。

也许你会问谁这么笨直接写delete在里面,反正我是遇到了,不管是不是直接delete的。

解决方法也很简单,但有点烦索。

class Test{public:    std::fucntion<void()> delegate;    void testDelegate()    {        if (delegate) {            auto copy = delegate; // 复制函数实例,copy将不受Test对象的析构影响            copy();        }    }};

解决!

第二个问题,是std::function和初始化列表std::initializer_list结合使用引起的。

struct Test{    int m;    string str;    std::function<void()> callback;};void main(){    Test t1 = {0, "", [](){}};    Test t2 = {0, "", nullptr};    Test t3 = {0, ""};    Test t4 = {0};}

这时候t3和t4的callback,可能不会正常初始化为nullptr。现象是随机crash,猜测可能是篡改了其它的内存。

t1和t2不知道会不会正常,现在如果struct里面有function,我会以次赋值,不再使用initializer_list,所以不是很清楚,有兴趣的同学可以自己尝试。

解决方法,就是只能避免这种用法。

~~~~~~~~~~~~~~~~~~~
以上是我的个人遇到的问题及解决,仅供参考,不喜勿喷!

原创粉丝点击