What are you,Anyway?

也许，这样看起来是有些多余。但是使用rebind机制可以允许我们用现存的allocator为不同的数据类型工作，而且不需要知道当前的allocator类型和要allocate数据类型。

typedef SomeAlloc::rebind<ListNode>::other NewAlloc;

如果SomeAlloc要为STL的allocators提供方便的话，它要有嵌入的rebind 模板类。本质上说：“我们不要知道allocator的类型，也不要知道分配类型，但是，我想要一个像allocates ListNodes一样的allocator”。

在模板中常常忽视这种工作，直到template 初始化后，变量的类型和值才能确定。考虑STL各种编译List容器的实现，我们的模板列表有两个模板参数，一个元素类型(T)和allocator type(A)。(像标准容器，我们list提供缺省的allocator )。

template < typename T, typename A = std::allocator<T> >
class OurList {
struct Node {
//...
};
typedef A::rebind<Node>::other NodeAlloc; // error!
};

作为典型基于lists基础的容器，我们的list实际上不分配和操作元素Ts。而是，分配和操作T类型的容器。这种情况，就是我们前面所讲述的。我们有allocator，它知道怎样分配T类型的对象，但是，我们想分配OurList<T,A>::Node。然而，当我们尝试这么rebind的时候，我们会出现语法错误。 这个问题再一次是因为编译器没有A类型足够的信息。因此，编译器认为嵌入的rebind name不是模板name，同时，<>被解释为大于，小于操作。但是，这只是我们问题的开始。就算编译器能够知道rebind 是template name，它也会认为不是type name。因此，必须这么写typedef。

typedef typename A::template rebind<Node>::other NodeAlloc;

关键字template告诉编译器这个rebind是模板名，关键字typename告诉编译器整个指向一个type name，很简单吧。

参考资料和注意事项：

[1]这样的接口并不总是一个好的主意。参考 Gotcha #80: Get/Set Interfaces in C++ Gotchas (Addison-Wesley, 2003).

[2]事实上，你也许可以不这样做，尽管从哲学的角度来说，populate是一个很有意思的模板函数，它是为很多模板在编译时刻初始化服务的。这样，不需要在编译时刻调用函数了（译注：虚拟函数就是运行时刻初始化）然而，如果函数没有调用，它将不被初始化，这种初始化也不将完成。其他可行的方法就是得到函数的地址，而不是调用函数，或者作一个明显的初始化，这样，如果，函数在运行时刻不需要，它也会存在。

[3]如果你不熟悉STL的allocator，你不要担心，在以后的讨论中，不需要对它熟悉。allocator就是一个类而已，只不过，它是用来为STL容器管理内存的。Allocators是模板类的典型的实现。

About the Author

Stephen C. Dewhurst (<www.semantics.org>) is the president of Semantics Consulting, Inc., located among the cranberry bogs of southeastern Massachusetts. He specializes in C++ consulting, and training in advanced C++ programming, STL, and design patterns. Steve is also one of the featured instructors of The C++ Seminar (<www.gotw.ca/cpp_seminar>

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!