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; 
} 

Но я нахожу это довольно некрасиво, чтобы скопировать часть possible implementation of 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; 
} 

но это not compile.

Как это сделать?

Answer 1

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