查找模板类型的模板类型 C++

Question

我想要一个可以接受许多不同事物（为简单起见）的函数，如下所示：

template <typename T>
typename type_to_return<T>::type   // <-- Use type_to_return to get result type
foo(T t)
{
    return typename type_to_return<T>::type(T); // <-- Build a thing!
}

然后我会专门针对我创建的类型 type_to_return class。这将使条目成为一个函数，然后我可以只定义新的 type_to_return 和构造函数。

如果 T 不是某个 class 模板，我希望 type_to_return<T>::type 只是 T。否则我希望它成为 class 的第一个模板参数。所以对于 int，我要返回 int，对于 MultOp<float,int,double>，我要返回 float。

我该怎么做？我想我需要做类似的事情：

// Base version
template <typename T>
struct type_to_return
{
    typedef T type;
};

// Specialized type
template <template <typename> class T>
struct type_to_return<T <any_type_somehow> >
{
    typedef template boost::magic_type_unwrapper<T>::param<1>::type type;
};

Answer 1

您可以按如下方式实施 type_unwrapper：

template <typename T>
struct type_unwrapper;

template <template <typename...> class C, typename... Ts>
struct type_unwrapper<C<Ts...>>
{
    static constexpr std::size_t type_count = sizeof...(Ts);

    template <std::size_t N>
    using param_t = typename std::tuple_element<N, std::tuple<Ts...>>::type;
};

只要没有 std::array<T, N>.

中的模板值，它就可以工作

另请注意，stl 容器声明一些 typedef 以检索那里的模板参数作为 std::vector<T, Alloc>::value_type，即 T。

查找模板类型的模板类型 C++

Find template type of a template type c++

c++

templates

template-specialization

typetraits