为何STL的allocator与vector类中要使用pointer、void_pointer等typedef？

从STL开发者的角度，这些typedef（别名）的存在完全是为了泛型编程的抽象性、扩展性和兼容性，绝非多余，具体原因可以拆成这几点：

• 统一泛型接口，让容器与算法无缝适配
  STL的核心是“算法与容器分离，通过allocator衔接内存管理”。所有STL容器都是基于allocator的标准接口设计的——不管你用的是标准库默认的allocator，还是自定义的内存池allocator、共享内存allocator，只要你提供了value_type、pointer这些约定好的别名，容器就能直接复用代码逻辑，不用为不同的内存实现改一遍容器代码。

• 支持非原生指针的自定义allocator
  不是所有allocator都用原生T*当指针。比如：

  • 共享内存场景中，直接用原生指针会失效，需要用偏移指针（存储相对于内存块起始地址的偏移量，而非绝对地址）；
  • 带内存泄漏追踪的allocator，可能会用包装过的智能指针或带额外元数据的指针类型。
    这时候pointer就不是T*了，但只要allocator把这个自定义类型typedef成pointer，容器完全不用关心底层指针的具体实现，照样能正常调用allocate、deallocate等方法。

• 提升模板代码的可读性与可维护性
  在复杂的模板代码里，allocator::value_type比直接写模板参数T更直观——一眼就能看出这是当前allocator管理的元素类型。尤其是当模板参数名不是T（比如叫Elem）时，用标准别名能让代码风格统一，降低维护成本。

• 遵循标准约定，保证兼容性
  C++标准明确要求allocator必须提供这些typedef，这是STL组件之间能互相兼容的基础。不管是哪个厂商的标准库，还是第三方写的allocator，只要符合这个接口约定，就能和任意STL容器搭配使用，保证了代码的可移植性。

内容的提问来源于stack exchange，提问作者graveman