从元组派生类

Question

我有一个像这样给出的 std::tuple：

typedef std::tuple<t1, t2, t3> tuple_t;

现在，我想将 t3_tuple 转换为类似的元组：

typedef std::tuple< T<t1>, T<t2>, T<t3> > derived_tuple_t;

以我为例，t1、t2 和 t3 是原语，T 是 std::stack。一般来说，假设可能有t4等等。

当然，我的第二个定义已经解决了这个问题，但我希望推导是自动的：仅给定 T 和 tuple_t，构建我 derived_tuple_t。像这样：

template <class T, class tuple_t> using derived_tuple_t = std::tuple</*???*/>;

这样的事情可能吗？也许是一个简短的解决方案？

Answer 1

您可以使用两个模板参数声明 struct update_tuple：

1. T - 将被模板化，这个参数我们将应用于tuple中的参数
2. std::tuple 带有可变数量的模板参数。

然后只需使用包扩展为新的tuple 创建一个别名，并使用T 应用参数

#include <tuple>
#include <type_traits>
#include <vector>

template <template<class...> class, class>
struct update_tuple;

template <template <class...> class T, class... Args>
struct update_tuple<T, std::tuple<Args...>>
{
    using type = std::tuple<T<Args>...>;
};

int main()
{
    static_assert
    (
        std::is_same
        <
            std::tuple<std::vector<int>, std::vector<double>>,
            update_tuple<std::vector, std::tuple<int, double>>::type
        >::value,
        "They are not same"
    );
    return 0;
}

感谢@Xeo：如果T 可以接受多个模板参数（当其他但第一个具有默认值时），代码不会失败。

Example

Answer 2

使用模板模板参数的一点部分特化应该可以完成这项工作（推广到可变参数模板，而不仅仅是元组）：

template<template<class...> class TT, class ArgsT>
struct make_over;

template<template<class...> class TT, template<class...> class ArgsT, class... Ts>
struct make_over<TT, ArgsT<Ts...>>{ using type = ArgsT<TT<Ts>...>; };

template<template<class...> class TT, class ArgsT>
using MakeOver = typename make_over<TT, ArgsT>::type;

请注意，这对于不使用真正可变参数模板的标准库可能会出现问题，而是使用宏机制和默认模板参数（如 MSVC）来模拟它。

Live example.