Modern C++ Design 笔记 第十一章 MultiMethods(2)

 紧接这上次没说完的来说。上回我们介绍了最基本的brute-force方案。那个安全的类型遍历匹配方案。说到在类数量比较多的时候不一定高效。很简单的可以知道原来的时间复杂度是O(n)，n就是类的数量。所以估摸这转化成O(log(n))应该差不多了。所以这个第二方案就是用关联性的容器来替代依次遍历。我们把这个方案称之为The Logarithmic Double Dispatcher. 就像Scotter Mayer在《More Effective C++》中说的那样，把2个参数的类型信息作为key（这个东西是个pair），value就是具体要访问的函数指针（或者是个Functor）。

 

后面马上可以贴出来的就是一个标准的实现,注意这里用到了std::map这个关联性的容器和RTTI的typeid,在Loki里面用到的则是Loki自己的TypeInfo和AssocVector,用法和意义当然是非常类似的.

// class template BasicDispatcher // Implements a logarithmic double dispatcher for functors (or functions) // Doesn't offer automated casts or symmetry #include <map> template < class BaseLhs, class BaseRhs = BaseLhs, typename ResultType = void, typename CallbackType = ResultType (*)(BaseLhs&, BaseRhs&) > class BasicDispatcher { typedef std::pair<const char*,const char*> KeyType; typedef CallbackType