result_of，make_tuple，参数包

Question

我想获取给定参数包的std::make_tuple返回的类型。 到目前为止，我已经编写了以下代码：

#include <tuple>
#include <functional>

template <class T>
struct unwrap_refwrapper
{
    using type = T;
};

template <class T>
struct unwrap_refwrapper<std::reference_wrapper<T>>
{
    using type = T&;
};

template <class T>
using special_decay_t = typename unwrap_refwrapper<typename std::decay<T>::type>::type;

template<class ... Types>
struct foo
{
    typedef std::tuple<special_decay_t<Types>...> tuple_t;
};

int main()
{
    short s;
    // t should be std::tuple<int, double&, short&>
    typedef foo<int, double&, decltype(std::ref(s))>::tuple_t t;
}

但是我发现复制std::make_tuple的可能实现的一部分非常难看，我在这里做了。

我想使用std::result_of或类似的东西来达到给定的效果。

我的尝试如下所示：

#include <tuple>
#include <functional>

template<class ... Types>
struct foo
{
    typedef typename std::result_of<
        std::make_tuple(Types...)>::type tuple_t;
};

int main()
{
    short s;
    // t should be std::tuple<int, double&, short&>
    typedef foo<int, double&, decltype(std::ref(s))>::tuple_t t;
}

但它不能编译 。

如何做呢？

Answer 1

template<class... Ts>
struct foo
{
    using tuple_t = decltype(std::make_tuple(std::declval<Ts>()...));
};