c++ - 为什么 boost::bind with deleted object 有效？

Question

看这段代码:

#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;
}

输出是:

• 开始接受...
• 销毁
• 处理程序由 error_code 调用:操作中止

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

现在，在删除后，在删除的对象上调用类似 acceptHandler 的方法不会导致崩溃 或内存使用不当，但这是预料之中的。当然，我用valgrind memory analyzer测试程序是否可能出错，但没有错误存在。

问题:为什么程序在通过boost调用已删除对象的函数时能正常运行？

Answer 1

why the program works currectly while calling a function on deleted object by boost?

因为这是未定义行为的工作方式之一。一旦你删除了一个对象，你就不应该访问它。如果这样做，您将调用一个 UB。

你很不幸，因为你的程序似乎可以工作。