C++17中std::allocator<void>被弃用：主模板适配还是场景废弃？

你问到的C17弃用std::allocator<void>的问题，核心原因是**它的使用场景已经被现代C的分配器设计完全替代，而非主模板现在能适配allocator<void>**。下面具体拆解一下：

为什么allocator<void>会被弃用？ #

最初std::allocator<void>的设计初衷，是作为一个“无类型占位符”分配器——用来在元编程或者需要统一分配器接口但暂时不需要绑定具体元素类型的场景中，充当一种标记性的存在。但随着C标准的演进，尤其是C11引入std::allocator_traits之后，它的作用就变得完全冗余了：

• 分配器萃取的替代作用：std::allocator_traits可以从任意合法的分配器类型中提取所有必要的类型信息（比如pointer、size_type等），哪怕这个分配器没有显式定义value_type（当然现代分配器规范要求必须有，但allocator_traits提供了默认的推导逻辑）。这意味着我们不再需要allocator<void>来作为“无类型”分配器的载体。
• 更灵活的分配器设计：现在如果需要表达“不绑定具体元素类型的分配器模式”，可以直接使用模板模板参数、或者定义通用的分配器模板，在需要的时候再指定具体的元素类型。比如很多容器的分配器参数本身就是模板类型，完全可以通过模板参数推导来适配不同的元素类型，不需要allocator<void>来过渡。
• 本身无实际功能：allocator<void>本质上没有任何实际的内存分配能力，它的所有成员类型要么是void要么未定义，只能作为元编程的标记。这种设计在现代C++中显得多余，因为我们有更直接、更清晰的方式来表达同样的意图。

关于你提到的“不绑定特定类型的分配器”场景 #

你觉得allocator<void>可以用来指定仅作为模式/元数据的分配器，这个思路本身没问题，但现在完全不需要依赖allocator<void>来实现了。比如：

• 你可以自定义一个模板分配器，让它的核心逻辑不依赖于value_type，然后通过allocator_traits来对外提供标准的分配器接口；
• 或者直接使用容器的分配器模板参数，在实例化容器时再指定具体的元素类型，分配器会自动适配。

简单来说，std::allocator<void>是一个历史遗留的设计，现代C的工具已经能更好地完成它曾经的功能，所以标准委员会选择在C17中弃用它，引导开发者使用更现代的分配器机制。

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