f(vector<Order>& orders,vector<Function>& functions) {
foreach(process_orders in functions) process_orders(orders);
}
我想到了函数指针：
void GiveCoolOrdersToBob(Order); void GiveStupidOrdersToJohn(Order); typedef void (*Function)(Order); vector<Function> functions; functions.push_back(&GiveStupidOrdersToJohn); functions.push_back(&GiveCoolOrdersToBob);
或多态函数对象：
struct IOrderFunction {
virtual void operator()(Order) = 0;
}
struct GiveCoolOrdersToBob : IOrderFunction {
...
}
struct GiveStupidOrdersToJohn : IOrderFunction {
...
}
vector<IOrderFunction*> functions;
functions.push_back(new GiveStupidOrdersToJohn());
functions.push_back(new GiveCoolOrdersToBob());
解决方法
您提出的设计将起作用,但使用常规函数指针将极大地限制您可以注册的回调类型,虽然功能更强大,但基于从固定接口继承的方法更加冗长,并且需要为客户端执行更多工作定义回调.
在这个答案中,我将首先展示一些如何将std::function用于此目的的示例.这些例子几乎可以说明一切,展示了如何以及为什么使用std :: function带来了优势,而不是你提出的那种解决方案.
但是,基于std :: function的简单方法也会有自己的局限性,我将列出.这就是为什么我最终建议你看看Boost.Signals2：它是一个非常强大且易于使用的库.我将在本回答的最后给出Boost.Signals2.希望首先了解一个基于std :: function的简单设计,以便您以后更容易掌握信号和插槽的更复杂方面.
基于std :: function<>的解决方案
让我们介绍几个简单的类,并为一些具体的例子做好准备.这里,订单是具有id并包含多个项目的东西.每个项目都由一个类型(为简单起见,它可以是一本书,一个DVD)和一个名称描述：
#include <vector>
#include <memory>
#include <string>
struct item // A very simple data structure for modeling order items
{
enum type { book,dvd };
item(type t,std::string const& s) : itemType(t),name(s) { }
type itemType; // The type of the item
std::string name; // The name of the item
};
struct order // An order has an ID and contains a certain number of items
{
order(int id) : id(id) { }
int get_id() const { return id; }
std::vector<item> const& get_items() const { return items; }
void add_item(item::type t,std::string const& n)
{ items.emplace_back(t,n); }
private:
int id;
std::vector<item> items;
};
我要概述的解决方案的核心是以下类order_repository,以及std :: function的内部用法,用于保存客户端注册的回调.
回调可以通过register_callback()函数注册,并且(非常直观地)通过unregister_callback()函数注册,方法是在注册时提供registered_callback()返回的cookie：
该函数具有用于放置订单的place_order()函数,以及用于触发所有订单处理的process_order()函数.这将导致所有已注册的处理程序按顺序调用.每个处理程序都接收对相同的已下订单向量的引用：
#include <functional>
using order_ptr = std::shared_ptr<order>; // Just a useful type alias
class order_repository // Collects orders and registers processing callbacks
{
public:
typedef std::function<void(std::vector<order_ptr>&)> order_callback;
template<typename F>
size_t register_callback(F&& f)
{ return callbacks.push_back(std::forward<F>(f)); }
void place_order(order_ptr o)
{ orders.push_back(o); }
void process_all_orders()
{ for (auto const& cb : callbacks) { cb(orders); } }
private:
std::vector<order_callback> callbacks;
std::vector<order_ptr> orders;
};
这个解决方案的优势来自于使用std :: function来实现类型擦除和allow encapsulating any kind of callable object.
我们将用于生成和下订单的以下辅助函数完成设置(它只创建四个订单并为每个订单添加几个项目)：
void generate_and_place_orders(order_repository& r)
{
order_ptr o = std::make_shared<order>(42);
o->add_item(item::book,"TC++PL,4th Edition");
r.place_order(o);
o = std::make_shared<order>(1729);
o->add_item(item::book,4th Edition");
o->add_item(item::book,"C++ Concurrency in Action");
r.place_order(o);
o = std::make_shared<order>(24);
o->add_item(item::dvd,"2001: A Space Odyssey");
r.place_order(o);
o = std::make_shared<order>(9271);
o->add_item(item::dvd,"The Big Lebowski");
o->add_item(item::book,"C++ Concurrency in Action");
o->add_item(item::book,4th Edition");
r.place_order(o);
}
现在让我们看看我们可以提供哪种回调.对于启动器,让我们有一个打印所有订单的常规回调函数：
void print_all_orders(std::vector<order_ptr>& orders)
{
std::cout << "Printing all the orders:\n=========================\n";
for (auto const& o : orders)
{
std::cout << "\torder #" << o->get_id() << ": " << std::endl;
int cnt = 0;
for (auto const& i : o->get_items())
{
std::cout << "\t\titem #" << ++cnt << ": ("
<< ((i.itemType == item::book) ? "book" : "dvd")
<< "," << "\"" << i.name << "\")\n";
}
}
std::cout << "=========================\n\n";
}
还有一个使用它的简单程序：
int main()
{
order_repository r;
generate_and_place_orders(r);
// Register a regular function as a callback...
r.register_callback(print_all_orders);
// Process the order! (Will invoke all the registered callbacks)
r.process_all_orders();
}
这是显示该程序输出的live example.
相当合理的是,您不仅限于注册常规函数：任何可调用对象都可以注册为回调,包括包含一些状态信息的仿函数.让我们将上述函数重写为一个函子,它可以打印与上面函数print_all_orders()相同的详细订单列表,或者不包含订单商品的较短摘要：
struct print_all_orders
{
print_all_orders(bool detailed) : printDetails(detailed) { }
void operator () (std::vector<order_ptr>& orders)
{
std::cout << "Printing all the orders:\n=========================\n";
for (auto const& o : orders)
{
std::cout << "\torder #" << o->get_id();
if (printDetails)
{
std::cout << ": " << std::endl;
int cnt = 0;
for (auto const& i : o->get_items())
{
std::cout << "\t\titem #" << ++cnt << ": ("
<< ((i.itemType == item::book) ? "book" : "dvd")
<< "," << "\"" << i.name << "\")\n";
}
}
else { std::cout << std::endl; }
}
std::cout << "=========================\n\n";
}
private:
bool printDetails;
};
以下是如何在小型测试程序中使用它：
int main()
{
using namespace std::placeholders;
order_repository r;
generate_and_place_orders(r);
// Register one particular instance of our functor...
r.register_callback(print_all_orders(false));
// Register another instance of the same functor...
r.register_callback(print_all_orders(true));
r.process_all_orders();
}
这是this live example中显示的相应输出.
由于std :: function提供的灵活性,我们还可以将std :: bind()的结果注册为回调.为了通过一个例子证明这一点,让我们介绍一个更多的类人：
#include <iostream>
struct person
{
person(std::string n) : name(n) { }
void receive_order(order_ptr spOrder)
{ std::cout << name << " received order " << spOrder->get_id() << std::endl; }
private:
std::string name;
};
类人员具有成员函数receive_order().在特定人物对象上调用receive_order()可以模拟特定订单已交付给该人的事实.
我们可以使用上面的类定义来注册一个回调函数,该函数将所有订单分派给一个人(可以在运行时确定！)：
void give_all_orders_to(std::vector<order_ptr>& orders,person& p)
{
std::cout << "Dispatching orders:\n=========================\n";
for (auto const& o : orders) { p.receive_order(o); }
orders.clear();
std::cout << "=========================\n\n";
}
此时我们可以编写以下程序,它注册两个回调：用于打印我们之前使用过的订单的相同函数,以及用于将订单分派给Person的某个实例的上述函数.我们是这样做的：
int main()
{
using namespace std::placeholders;
order_repository r;
generate_and_place_orders(r);
person alice("alice");
r.register_callback(print_all_orders);
// Register the result of binding a function's argument...
r.register_callback(std::bind(give_all_orders_to,_1,std::ref(alice)));
r.process_all_orders();
}
该程序的输出显示在this live example中.
当然,人们可以使用lambdas作为回调.以下程序以前面的程序为基础,演示了一个lambda回调的用法,该回调将小订单发送给一个人,大订单发送给另一个人：
int main()
{
order_repository r;
generate_and_place_orders(r);
person alice("alice");
person bob("bob");
r.register_callback(print_all_orders);
r.register_callback([&] (std::vector<order_ptr>& orders)
{
for (auto const& o : orders)
{
if (o->get_items().size() < 2) { bob.receive_order(o); }
else { alice.receive_order(o); }
}
orders.clear();
});
r.process_all_orders();
}
this live example再次显示相应的输出.
超越std :: function<> (Boost.Signals2)
上述设计相对简单,非常灵活,易于使用.但是,它有许多事情不允许这样做：
>它不允许轻松冻结并恢复将事件调度到特定回调;
>它不会将相关回调集合封装到事件中
类;
>它不允许对回调进行分组并对它们进行排序;
>它不允许回调返回值;
>它不允许组合这些返回值.
所有这些功能以及许多其他功能都由完整的库提供,例如Boost.Signals2,您可能需要查看这些库.熟悉上述设计,您将更容易理解它的工作原理.
例如,这是你如何定义信号并注册两个简单的回调,并通过调用信号的调用操作符(来自链接的文档页面)来调用它们：
struct Hello
{
void operator()() const
{
std::cout << "Hello";
}
};
struct World
{
void operator()() const
{
std::cout << ",World!" << std::endl;
}
};
int main()
{
boost::signals2::signal<void ()> sig;
sig.connect(Hello());
sig.connect(World());
sig();
}
像往常一样,这是上述程序的live example.
