为什么boost :: bind与删除的对象有效?

sof*_*ost 1 c++ boost memory-leaks boost-asio

看看这段代码:

#include <asio.hpp>
#include <boost/bind.hpp>
#include <boost/function.hpp>

#include <iostream>
using namespace std;

class acceptor
{
private:
    asio::ip::tcp::acceptor * a;
    asio::io_service &_service;
    asio::ip::tcp::endpoint ep;
public:
    acceptor(asio::io_service &service, unsigned int port)
        :_service(service), ep(asio::ip::tcp::v4(), port)
    {
        try {
            a = new asio::ip::tcp::acceptor(service, ep);
        }
        catch (asio::system_error &e) {
            cout << e.what() << endl;
        }
        continueAccept();
    }

    ~acceptor() {
        delete a;
        cout << " destroy " << endl;
    }

    void continueAccept() {
        cout << "start accepting ..." << endl;
        boost::shared_ptr<asio::ip::tcp::socket> ptr(new asio::ip::tcp::socket(_service));
        a->async_accept(*ptr, boost::bind(&acceptor::handleAccept, this, ptr, asio::placeholders::error));
    }

    void handleAccept(
        boost::shared_ptr<asio::ip::tcp::socket> &socket,
        const asio::error_code &e)
    {
        if (e == asio::error::operation_aborted) {
            cout << "handler is called by error_code : " << e.message() << endl;
        }
    }

    void close() {
        cout << "close is called ..." << endl;
        a->close();
    }
};

int main(int argc, char *argv[]) {
    asio::io_service service;
    acceptor *aa = new acceptor(service, 8899);

    service.poll();
    service.reset();

    delete aa;

    service.poll();
    service.reset();

    return 0;
}
Run Code Online (Sandbox Code Playgroud)

输出是:

  • 开始考虑......
  • destory
  • 处理程序由error_code调用:operation aborted

当我在main方法中删除aa对象时,aa对象的析构函数上的asio :: ip :: tcp :: acceptor调用close,异步操作将调用asio :: error :: operation_aborted.

现在,在删除之后,调用一个像acceptHandler这样的方法,对一个已删除的对象不会导致崩溃或使用内存不良,但是可以预料到.当然,我用valgrind内存分析器测试程序是否存在错误,但不存在错误.

问题:为什么程序在通过boost调用已删除对象上的函数时能够正常工作?

BЈо*_*вић 5

为什么程序在通过boost调用已删除对象上的函数时能够正常工作?

因为这是未定义行为的工作方式之一.删除对象后,您不应该访问它.如果这样做,则调用UB.

你不走运,因为你的程序似乎有用.