c++ - 在可变参数模板中使用声明

Question

这个问题的灵感来自 following solution到多重继承重载伪歧义，这是为 boost::variant 实现 lambda 访问者的好方法，如 this answer 中所提议的那样:

我想做如下的事情:

template <typename ReturnType, typename... Lambdas>
struct lambda_visitor : public boost::static_visitor<ReturnType>, public Lambdas... {
    using Lambdas...::operator(); //<--- doesn't seem to work
    lambda_visitor(Lambdas... lambdas) : boost::static_visitor<ReturnType>() , Lambdas(lambdas)... { }
};

我不确定为压缩类型列表添加 using 子句的正确语法是什么。 using 子句对于阻止编译器提示 operator() 是模棱两可的是至关重要的，这完全不是，因为它们具有所有不同的签名。

Answer 1

好吧，我找到了一个相当不错的解决方案:

基本上我需要解包一个额外的 lambda 案例并将 using 子句应用于解包的 lambda 和其余部分，但在这种情况下，因为我显然无法制作 using 声明的可变列表(至少我不知道语法，如果可能的话)，其余的是通过继承'rest' case 来包装的，如下所示:

template <typename ReturnType, typename... Lambdas>
struct lambda_visitor;

template <typename ReturnType, typename Lambda1, typename... Lambdas>
struct lambda_visitor< ReturnType, Lambda1 , Lambdas...> 
  : public lambda_visitor<ReturnType, Lambdas...>, public Lambda1 {

    using Lambda1::operator();
    using lambda_visitor< ReturnType , Lambdas...>::operator();
    lambda_visitor(Lambda1 l1, Lambdas... lambdas) 
      : Lambda1(l1), lambda_visitor< ReturnType , Lambdas...> (lambdas...)
    {}
};


template <typename ReturnType, typename Lambda1>
struct lambda_visitor<ReturnType, Lambda1> 
  : public boost::static_visitor<ReturnType>, public Lambda1 {

    using Lambda1::operator();
    lambda_visitor(Lambda1 l1) 
      : boost::static_visitor<ReturnType>(), Lambda1(l1)
    {}
};


template <typename ReturnType>
struct lambda_visitor<ReturnType> 
  : public boost::static_visitor<ReturnType> {

    lambda_visitor() : boost::static_visitor<ReturnType>() {}
};

所以我可以通过放置两个 using 声明来归纳地做到这一点，一个来自解压的 lambda 类型，另一个来自父类，这实际上是同一个类少了一个 lambda。