这个问题的灵感来自 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()
模棱两可至关重要,而这完全不是,因为它们具有所有不同的签名。
最佳答案
好的,我找到了一个相当不错的解决方案:
基本上我需要解包一个额外的 lambda 案例并将 using
子句应用于解包的 lambda 和其余部分,但在这种情况下,因为我显然无法制作 using 声明的可变参数列表(至少我不知道语法,如果可能的话),其余部分通过从“rest”案例继承来包装,如下所示:
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。
关于c++ - 在可变参数模板中使用声明,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7870498/