给定特定类型容器，能否提取其模板并实例化为其他类型？

当然可以实现这种需求，借助C++的模板元编程（类型萃取+模板特化）就能做到。核心思路是通过类型萃取工具，从容器实例的类型中“剥离”出原始模板，再用新的元素类型重新实例化。

具体实现步骤 #

1. 定义通用的容器类型萃取模板
   先写一个基础的模板框架，用来匹配各类容器实例：

#include <vector>
#include <type_traits>
// 假设parlay::sequence的头文件已包含

template<typename Container>
struct ContainerTraits;

2. 为目标容器添加特化版本
   针对你需要支持的容器（比如std::vector、parlay::sequence），分别实现特化的ContainerTraits，定义Rebind模板别名来生成新的容器类型：

// 针对std::vector的特化（考虑分配器参数）
template<typename T, typename Alloc>
struct ContainerTraits<std::vector<T, Alloc>> {
    // 用新类型U重新实例化vector，保留原分配器
    template<typename U>
    using Rebind = std::vector<U, Alloc>;
};

// 针对parlay::sequence的特化
template<typename T>
struct ContainerTraits<parlay::sequence<T>> {
    template<typename U>
    using Rebind = parlay::sequence<U>;
};

3. 在函数中使用萃取结果
   在泛型函数里，通过萃取模板获取容器模板，并用新类型实例化：

void f(auto& x) {
    // 去除引用，得到容器的原始类型
    using RawContainer = std::decay_t<decltype(x)>;
    // 用int重新实例化容器
    typename ContainerTraits<RawContainer>::template Rebind<int> a(10);
}

效果验证 #

• 当x是std::vector<double>&时，Rebind<int>等价于std::vector<int>，函数内的代码就变成std::vector<int> a(10);
• 当x是parlay::sequence<double>&时，Rebind<int>等价于parlay::sequence<int>，对应代码为parlay::sequence<int> a(10);

如果需要支持其他容器，只需要给ContainerTraits添加对应的特化版本即可，扩展性很强。

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