相关疑难解决方法(0)

假设我收到一个模板T1和T2的两个参数.如果我知道T1本身就是一个模板化的类(例如,一个容器),并且T2可以是任何东西,我是否可以确定T1的基本模板类型并使用T2作为其参数重建它？

例如,如果我收到std::vector<int>并且std::string,我想自动建立std::vector<std::string>.但是如果给我std::set<bool>和double,它会产生std::set<double>.

在查看了type_traits,相关博客和其他问题之后,我没有看到解决此问题的一般方法.我目前可以看到完成此任务的唯一方法是为每个可以作为T1传入的类型构建模板适配器.

例如,如果我有:

template<typename T_inner, typename T_new>
std::list<T_new> AdaptTemplate(std::list<T_inner>, T_new);

template<typename T_inner, typename T_new>
std::set<T_new> AdaptTemplate(std::set<T_inner>, T_new);

template<typename T_inner, typename T_new>
std::vector<T_new> AdaptTemplate(std::vector<T_inner>, T_new);

我应该能够使用decltype并依赖运算符重载来解决我的问题.有点像:

template <typename T1, typename T2>
void MyTemplatedFunction() {
  using my_type = decltype(AdaptTemplate(T1(),T2()));
}

我错过了什么吗？有更好的方法吗？

我为什么要这样做？

我正在构建一个C++库,我希望简化用户构建模块化模板所需的操作.例如,如果用户想要构建基于代理的模拟,他们可能会配置具有生物类型的世界模板,人口管理器,环境管理器和系统管理器.

每个管理人员还需要知道有机体类型,因此声明可能类似于:

World< NeuralNetworkAgent, EAPop<NeuralNetworkAgent>,
       MazeEnvironment<NeuralNetworkAgent>,
       LineageTracker<NeuralNetworkAgent> > world;

我宁愿用户不必NeuralNetworkAgent每次都重复.如果我能够更改模板参数,则可以使用默认参数,并且可以将上述内容简化为:

World< NeuralNetworkAgent, EAPop<>, MazeEnvironment<>, LineageTracker<> > world;

此外,从一种世界类型转换为另一种世界类型更容易,而不必担心类型错误.

当然,我可以使用static_assert处理大多数错误,只处理较长的声明,但我想知道是否有更好的解决方案.

以下代码表示基于std :: vector的容器

template <typename Item>
struct TList
{
    typedef std::vector <Item> Type;
};


template <typename Item>
class List
{
private
            typename TList <Item>::Type items;
    ....
}

int main()
{
  List <Object> list;
}

是否可以模板化std :: vector并创建一个通用的容器,类似的东西？

template <typename Item, typename stl_container>
struct TList
{
    typedef stl_container<Item>;
};

stl_container表示std :: vector,std :: list,std :: set ...？我想在创建时选择容器的类型.

List <Object, std::vector> list; //vector of objects, not a real code
List <Object, std::vector> list; //list of objects, not a real code

谢谢你的回答......

更新的问题: …