Каков правильный способ обработки событий на С++?

У меня есть приложение, которое должно реагировать на определенные события следующим образом:

void someMethodWithinSomeClass() {
    while (true) {
        wait for event;
        if (event == SomeEvent) {
            doSomething();
            continue;
        }
        if (event == SomeOtherEvent) {
            doSomethingElse();
            continue;
        }
    } 
}

Это будет запущено в какой-то поток. В некоторых других потоках операции будут создавать и запускать события.

Как мне получить эти события для достижения вышеупомянутого метода/класса? Какова правильная стратегия или архитектура для реализации обработки событий в C++?

Ответ 1

Стандарт С++ не рассматривает события вообще. Обычно, однако, если вам нужны события, которые вы работаете в рамках, обеспечивающей их (SDL, Windows, Qt, GNOME и т.д.), и способы ждать, отправлять и использовать их.

Кроме того, вы можете посмотреть Boost.Signals2.

Ответ 2

Часто очереди событий реализуются как шаблон проектирования команд:

В объектно-ориентированном программировании шаблон команды представляет собой проект шаблон, в котором объект используется для представления и инкапсуляции всех информацию, необходимую для вызова метода в более позднее время. Эта информация включает имя метода, объект, которому принадлежит метод и значения для параметров метода.

В С++ объект, который владеет методом и значениями параметров метода, является нулевым функтором (т.е. функтором, который не принимает аргументов). Он может быть создан с помощью boost::bind() или С++ 11 lambdas и завернут в boost::function.

Вот минималистский пример, как реализовать очередь событий между несколькими производителями и несколькими потребительскими потоками. Использование:

void consumer_thread_function(EventQueue::Ptr event_queue)
try {
    for(;;) {
        EventQueue::Event event(event_queue->consume()); // get a new event 
        event(); // and invoke it
    }
}
catch(EventQueue::Stopped&) {
}

void some_work(int n) {
    std::cout << "thread " << boost::this_thread::get_id() << " : " << n << '\n';
    boost::this_thread::sleep(boost::get_system_time() + boost::posix_time::milliseconds(500));
}

int main()
{
    some_work(1);

    // create an event queue that can be shared between multiple produces and multiple consumers
    EventQueue::Ptr queue(new EventQueue);

    // create two worker thread and pass them a pointer to queue
    boost::thread worker_thread_1(consumer_thread_function, queue);
    boost::thread worker_thread_2(consumer_thread_function, queue);

    // tell the worker threads to do something
    queue->produce(boost::bind(some_work, 2));
    queue->produce(boost::bind(some_work, 3));
    queue->produce(boost::bind(some_work, 4));

    // tell the queue to stop
    queue->stop(true);

    // wait till the workers thread stopped
    worker_thread_2.join();
    worker_thread_1.join();

    some_work(5);
}

Выходы:

./test
thread 0xa08030 : 1
thread 0xa08d40 : 2
thread 0xa08fc0 : 3
thread 0xa08d40 : 4
thread 0xa08030 : 5

Реализация:

#include <boost/function.hpp>
#include <boost/thread/thread.hpp>
#include <boost/thread/condition.hpp>
#include <boost/thread/mutex.hpp>
#include <boost/smart_ptr/intrusive_ptr.hpp>
#include <boost/smart_ptr/detail/atomic_count.hpp>
#include <iostream>

class EventQueue
{
public:
    typedef boost::intrusive_ptr<EventQueue> Ptr;
    typedef boost::function<void()> Event; // nullary functor
    struct Stopped {};

    EventQueue()
        : state_(STATE_READY)
        , ref_count_(0)
    {}

    void produce(Event event) {
        boost::mutex::scoped_lock lock(mtx_);
        assert(STATE_READY == state_);
        q_.push_back(event);
        cnd_.notify_one();
    }

    Event consume() {
        boost::mutex::scoped_lock lock(mtx_);
        while(STATE_READY == state_ && q_.empty())
            cnd_.wait(lock);
        if(!q_.empty()) {
            Event event(q_.front());
            q_.pop_front();
            return event;
        }
        // The queue has been stopped. Notify the waiting thread blocked in
        // EventQueue::stop(true) (if any) that the queue is empty now.
        cnd_.notify_all();
        throw Stopped();
    }

    void stop(bool wait_completion) {
        boost::mutex::scoped_lock lock(mtx_);
        state_ = STATE_STOPPED;
        cnd_.notify_all();
        if(wait_completion) {
            // Wait till all events have been consumed.
            while(!q_.empty())
                cnd_.wait(lock);
        }
        else {
            // Cancel all pending events.
            q_.clear();
        }
    }

private:
    // Disable construction on the stack. Because the event queue can be shared between multiple
    // producers and multiple consumers it must not be destroyed before the last reference to it
    // is released. This is best done through using a thread-safe smart pointer with shared
    // ownership semantics. Hence EventQueue must be allocated on the heap and held through
    // smart pointer EventQueue::Ptr.
    ~EventQueue() {
        this->stop(false);
    }

    friend void intrusive_ptr_add_ref(EventQueue* p) {
        ++p->ref_count_;
    }

    friend void intrusive_ptr_release(EventQueue* p) {
        if(!--p->ref_count_)
            delete p;
    }

    enum State {
        STATE_READY,
        STATE_STOPPED,
    };

    typedef std::list<Event> Queue;
    boost::mutex mtx_;
    boost::condition_variable cnd_;
    Queue q_;
    State state_;
    boost::detail::atomic_count ref_count_;
};

Ответ 3

С++ 11 и Boost имеют переменные условия. Они являются средством для потока, чтобы разблокировать другой, ожидающий появления какого-либо события. Вышеупомянутая ссылка приводит вас к документации для boost::condition_variable и содержит пример кода, который показывает, как его использовать.

Если вам нужно отслеживать события (например, нажатия клавиш) и нужно обрабатывать их в режиме FIFO (сначала в первом порядке), тогда вам придется использовать или сделать какое-то многопоточное событие системы очередей, как это предложено в некоторых других ответах.

Ответ 4

С++ не имеет встроенной поддержки событий. Вам нужно будет реализовать некоторую поточную очередь задач. Ваш основной поток обработки сообщений будет постоянно получать элементы из этой очереди и обрабатывать их.

Хорошим примером этого является стандартный насос сообщений Win32, который управляет приложениями Windows:

 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow)
 {
   MSG msg;
   while(GetMessage(&msg, NULL, 0, 0) > 0)
   {
     TranslateMessage(&msg);
     DispatchMessage(&msg);
   }
   return msg.wParam;
 }

Другие потоки могут Post выводить сообщение в окно, которое затем обрабатывается этим потоком.

В этом случае используется C, а не С++, но он иллюстрирует подход.