我有一个boost::variant
对象的std::array
,我正试图创建一个访问数组中某个元素的boost::static_visitor
,返回对每个变体成员类型中某个内容的引用。这很难理解,所以这里有一个模仿我的实现的代码片段:
#include <boost/variant.hpp>
#include <array>
struct SomeType {};
struct A {
SomeType something;
SomeType& someMethod() { return something; }
};
struct B {
SomeType something;
SomeType& someMethod() { return something; }
};
struct C {
SomeType something;
SomeType& someMethod() { return something; }
};
typedef boost::variant<A, B, C> MyVariant;
class SomeVisitor : public boost::static_visitor<> {
public:
template<typename T>
SomeType& operator()(T& operand) const {
return operand.someMethod();
}
};
class MyVariants {
public:
SomeType* getSomething(unsigned index);
private:
static const size_t count = 100;
std::array<MyVariant, count> variants_;
};
SomeType* MyVariants::getSomething(unsigned index) {
if(index < count) {
MyVariant& variant = variants_[index];
SomeType& something = boost::apply_visitor(SomeVisitor(), variant);
return &something;
}
else {
return nullptr;
}
}
这个代码段使用clang 3.6.2编译,但gcc 5.3.1抛出了以下内容(后面是来自boost变体标头的几十个错误)
test.cpp:43:47: error: invalid initialization of non-const reference of type 'SomeType&' from an rvalue of type 'boost::static_visitor<>::result_type {aka void}'
SomeType& something = boost::apply_visitor(SomeVisitor(), variant);
所有的错误似乎都说明了同样的事情——访问者的返回类型是void
,我无法将其绑定到SomeType&
。我认为SomeVisitor
的实现没有任何语法错误,因为它可以用clang编译得很好。
这个问题和这个问题显示了boost::static_visitor
生成的类似错误,并且都用C++最麻烦的解析来解释。在这两个问题中,问题是这样的(使用我上面片段中的类型):
MyVariant variant(A());
SomeType& something = boost::apply_visitor(SomeVisitor(), variant);
在这种情况下,我可以理解最麻烦的解析是如何应用的。MyVariant variant(A());
对编译器来说可能是不明确的。不过,我不知道这是如何应用于我的代码片段的,因为MyVariant& variant = variants_[index]
看起来相当明确。我不知道这些问题是否与我的问题有关。
任何建议/帮助都将不胜感激
作为答案提供的注释:
您必须在static_cvisitor的模板参数列表中指定返回类型。将其留空就是告诉编译器函子将返回void。
class SomeVisitor : public boost::static_visitor<SomeType&> {
public:
template<typename T>
SomeType& operator()(T& operand) const {
return operand.someMethod();
}
};
或者,在使用c++14的boost的后续版本中:
auto& something = boost::apply_visitor([](auto& x) { return x.someMethod(); },
variant);