别名模板参数包
预戏剧
嗨，也许这个问题是重复的，但我对模板编程相对陌生，实际上我找不到一个简单而简短的解决方案 （ - >只发现兆字节的“roxxor-template-magic”，我不明白）匹配我的具体和简单的问题，所以我现在感觉有点失落。
前信息
我想使用“type_container”作为类的模板参数。 容器是一个简单的结构，它也应该包含一些模板参数包的typedef 。
问题:(与底部的例子有关）
我如何在容器结构中定义和别名类型列表，以及如何访问并将它们转发到工厂类中所需的实体？ （没有提升，只有C ++ 11/14/17）
例子:(会编译，如果我知道一个解决方案）
#include <map>
#include <vector>
#include <string>
#include <stack>
struct MY_TYPE_CONTAINER
{
using TYPE_MAP = std::map<int, int>;
using TYPE_VECTOR = std::vector<double>;
using PARAMETER_PACK1 = //? -> ...T -> int, std::stack<int>, int
using PARAMETER_PACK2 = //? -> ...T -> double, int, std::string
};
template <typename TYPES>
struct Factory
{
typename TYPES::TYPE_MAP m_map;
typename TYPES::TYPE_VECTOR m_vector;
typename std::tuple<TYPES::PARAMETER_PACK1...> m_tuple;
typename std::tuple<std::shared_ptr<TYPES::PARAMETER_PACK1>...> m_tuple2;
void handlePack2(TYPES::PARAMETER_PACK2... args) { }
};
int main()
{
Factory<MY_TYPE_CONTAINER> oStaticFactory;
oStaticFactory.handlePack2(2.0, 1, "hi");
return 0;
}
当前（最好？）精心制作的解决方案（可编译）（基于John Zwinck的回答）
#include <map>
#include <vector>
#include <string>
#include <stack>
#include <memory>
struct MY_TYPE_CONTAINER
{
using TYPE_MAP = std::map<int, int>;
using TYPE_VECTOR = std::vector<double>;
using PARAMETER_PACK1 = std::tuple<int, std::stack<int>, int>;
using PARAMETER_SHARED_PTR_PACK_1 = std::tuple<std::shared_ptr<int>, std::shared_ptr<std::stack<int>>, std::shared_ptr<int>>;
using PARAMETER_PACK2 = std::tuple<double, int, std::string>;
};
template <typename TYPES>
class Factory
{
typename TYPES::TYPE_MAP m_map;
typename TYPES::TYPE_VECTOR m_vector;
typename TYPES::PARAMETER_PACK1 m_tuple;
typename TYPES::PARAMETER_SHARED_PTR_PACK_1 m_tuple2;
void handlePack2Impl(typename TYPES::PARAMETER_PACK2 tup) {};
public:
template <typename... Args>
void handlePack2(Args... args) { handlePack2Impl(std::make_tuple(args...)); }
};
int main()
{
Factory<MY_TYPE_CONTAINER> oStaticFactory;
oStaticFactory.handlePack2(2.0, 1, "hi");
return 0;
}
你实际上可以使用tuple ：
using PARAMETER_PACK1 = std::tuple<int, std::stack, int>;
using PARAMETER_PACK2 = std::tuple<double, int, std::string>;
typename TYPES::PARAMETER_PACK1 m_tuple;
然后你留下一个问题 - 如何声明这样的东西：
void handlePack2(TYPES::PARAMETER_PACK2... args);
也许：
void handlePack2Impl(typename TYPES::PARAMETER_PACK2 tup);
template <typename... Args>
void handlePack2(Args... args) { handlePack2Impl(std::make_tuple(args...)); }
想要更多的想法，请从这里开始：元组到参数包（但要小心，有模板元编程！
基本上你不能那样做。 你可以做的最接近的事情是保存std::tuple<type, type, type> （或者你自己的variadic_class<type, type, type> ，它可能有空的主体），然后通过小模板magic