标签： c++ templates design-patterns interface stl
像allocator_traits，iterator_traits和（我认为）type_traits这样的模板化类似乎表现得像其他类要实现的编译时接口，除了它们可以有默认实现。这似乎是一个非常方便的功能，但我找不到任何有关如何实现此设计模式的教程或通用文档。他们是如何工作的？我怎么写这样的课？