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类专门用于我创建的类型。这将使条目成为一个函数，然后我可以只定义新的type_to_return和构造函数。

如果type_to_return<T>::type不是某个类模板，我希望T只是T。否则我希望它是该类的第一个模板参数。因此，对于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 ++的模板类型

1 个答案: