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

Question

我有一个可变参数模板类，它可以在构造函数中使用任意数量的变量，还有 astd::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, "!!");
 }