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,所以不是很清楚,有兴趣的同学可以自己尝试。
解决方法,就是只能避免这种用法。
~~~~~~~~~~~~~~~~~~~
以上是我的个人遇到的问题及解决,仅供参考,不喜勿喷!