Question

我有一个可变参数模板类，可以在构造函数中使用任意数量的变量，也可以使用std::tuple/std::pair等等。

我想将此包装器用于具有不同返回类型的函数。

例如：

class f1
{
    using output = double;
    output operator() { do_smth };
}
class f2
{
    using output = std::tuple<double,int>;
    output operator() { do_smth };
}



template <typename... Types>
class OutputType
{
    std::tuple<Types...> m_val;
public:
    OutputType(std::tuple<Types...>&& val) : m_val(val) {};
    OutputType(Types&& ... val) : m_val(std::forward<Types>(Types)...) {};
};

现在在第三节课中，我想宣布像这样使用：

template <typename F>
class dummy
{
    using Output = typename OutputType(typename F::Output));
}

如何声明上述using语句，以便它对dummy<f2>执行正确的操作？

（即OutputType<double,int>而非OutputType<std::tuple<double,int>>）

Answer 1

如果我正确理解你的问题（？），你可以将类型特征定义为

template <typename ... Types>
struct oTypes
 { using type = OutputType<Types...>; };

template <typename ... Types>
struct oTypes<std::tuple<Types...>>
 { using type = OutputType<Types...>; };

然后按如下方式定义dummy

template <typename F>
struct dummy
 { using output = typename oTypes<typename F::output>::type; };

以下是完整的可编辑示例

#include <tuple>
#include <utility>

struct f1
 {
   using output = double;

   output operator() ()
    { return 0.0; }
 };

struct f2
 {
   using output = std::tuple<double,int>;

   output operator() ()
    { return { 1.0, 2 }; }
 };

template <typename ... Types>
class OutputType
 {
   private:
      std::tuple<Types...> m_val;

   public:
      OutputType(std::tuple<Types...>&& val) : m_val(val)
       { }

      OutputType(Types&& ... val) : m_val(std::forward<Types>(val)...)
       { }
 };

template <typename ... Types>
struct oTypes
 { using type = OutputType<Types...>; };

template <typename ... Types>
struct oTypes<std::tuple<Types...>>
 { using type = OutputType<Types...>; };

template <typename F>
struct dummy
 { using output = typename oTypes<typename F::output>::type; };

int main()
 { 
   static_assert( std::is_same<dummy<f1>::output,
                               OutputType<double>>::value, "!");
   static_assert( std::is_same<dummy<f2>::output,
                               OutputType<double, int>>::value, "!!");
 }

Answer 2

辅助模板，如

template<typename ... Types>
struct add_tuple {
    using type = std::tuple<Types...>
};

template<typename ... Types>
struct add_tuple<std::tuple<Types...>> {
    using type = std::tuple<Types...>
};

将OutputType更改为

之类的内容

template <typename... Types>
class OutputType
{
    typename add_tuple<Types...>::type m_val;
public:
    OutputType(typename add_tuple<Types...>::type&& val) : m_val(val) {};
    OutputType(Types&& ... val) : m_val(std::forward<Types>(Types)...) {};
};

如何使用“使用”关键字作为可变参数模板

2 个答案: