给模板参数包起别名答案

【问题标题】：Aliasing a template parameter pack给模板参数包起别名
【发布时间】：2017-12-23 00:25:17
【问题描述】：

前戏

嗨，也许这个问题是重复的，但我对模板编程比较陌生，实际上我找不到 simple 和 short solution （-> 只能找到兆字节的“ roxxor-template-magic" 我不明白) 匹配我的具体和简单的问题，所以我现在感觉有点失落。

预告

我想使用“type_container”作为类的模板参数。容器是一个简单的结构，它还应该包含一些模板参数包的类型定义。

问题：（与底部的例子有关）

如何定义容器结构中的类型列表并为其设置别名，如何访问它们并将它们转发到工厂类中所需的实体？（没有提升，只有 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;
}

【问题讨论】：

C++17、14 还是 11？
已将其添加到我的问题中。
处理该类型包以声明数据成员相当容易，但you'll be grinding your teeth on the member functions...

标签： c++ templates parameter-passing variadic-templates type-alias

【解决方案1】：

你实际上可以使用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...)); }

如需更多想法，请从这里开始：Tuple to parameter pack（但请注意，有模板元编程！

【讨论】：

C++17 添加了std::apply，这也将完成将元组扩展为一系列参数的工作。
@DrewDormann：我们正在将一组参数转换为一个元组，而不是相反。我不确定std::apply 是如何应用的。
@John Zwinck：这意味着，我无法避免在类型容器中指定工厂的那些成员类型？我用另一个成员 m_tuple2 扩展了代码。我该如何处理这种类型的会员？我应该将此完整类型也转移到类型容器吗？
将您的解决方案添加到我的问题中，如果这里允许吗？！

【解决方案2】：

基本上你不能这样做。您可以做的最接近的事情是保存std::tuple<type, type, type>（或您自己的variadic_class<type, type, type>，可能有空的正文），然后通过小模板魔术检索列表

【讨论】：