函数对象内部的内部调用（Boost::apply_visitor 特定）

Question

我目前正在编写一个集合表达式求值器，它生成 set< T＞并设置<设置< T＞ >，下面的代码是显示表达式的结果。

class string_visitor : public boost::static_visitor<string>
{
public:
    string operator()(bool value) const
    {
        return "{}";
    }

    string operator()(set<T> value) const
    {
        set<T>::const_iterator it = value.begin();
        string output = "{";

        if(!value.empty())
        {
            output += *it; // Return an empty set if necessary.
            ++it;
        }

        for(; it != value.end(); ++it)
        {
            output += " " + *it;
        }
        output += "}";

        return output;
    }

    string operator()(set<set<T> > value) const
    {
        set<set<T> >::const_iterator it = value.begin();
        string output = "{";

        if(!value.empty())
        {
            output += boost::apply_visitor(string_visitor(), *it); // Return an empty set if necessary.
            ++it;
        }

        for(; it != value.end(); ++it)
        {
            output += " " + boost::apply_visitor(string_visitor(), *it);
        }
        output += "}";

        return output;
    }
};

当我尝试使用集合代码评估集合集合时，我遇到的问题发生了，显然我正在使用它，因为这是很好的做法，但编译器似乎不喜欢我用来构造调用的语法。

output += boost::apply_visitor(string_visitor(), *it);

有两条这样的线，它们产生痕迹..

e:\documents\level 3\advanced software Engineering\coursework\coursework\boost\variant\detail\apply_visitor_unary.hpp(76) : 错误 C2039: 'apply_visitor' : 不是 'std::set

的成员_Kty>' 1>和 1> [ 1> _Kty=std::字符串 1> ] 1> e:\documents\level 3\advanced software Engineering\coursework\coursework\context.h(96) ：参见函数模板实例化 'std::basic_string<_Elem,_Traits,_Ax> 的参考； boost::apply_visitor::ExpressionTree::string_visitor,const std::set<_Kty>>(const Visitor &,Visitable &)' 正在编译 1>和 1> [ 1> _Elem=字符， 1> _Traits=std::char_traits, 1> _Ax=std::分配器， 1> T=std::字符串， 1> _Kty=std::字符串， 1>访客=上下文::ExpressionTree::string_visitor, 1>可访问=const std::set 1> ] 1> e:\documents\level 3\advanced software Engineering\coursework\coursework\context.h(90) : 编译类模板成员函数 'std::string Context::ExpressionTree::string_visitor::operator ()(std::设置<_Kty>) const' 1>和 1> [ 1> T=std::字符串， 1> _Kty=std::设置 1> ] 1> e:\documents\level 3\advanced software Engineering\coursework\coursework\context.cpp(337) ：请参阅正在编译的类模板实例化 'Context::ExpressionTree::string_visitor' 的引用 1>和 1> [ 1> T=std::字符串 1> ]

有谁知道如何表达这种呼叫吗？

干杯， 亚历克斯

Answer 1

通过简单地将变量类型转换回我定义的变体类型来解决问题。所以就我而言，解决方法是：

output += boost::apply_visitor(string_visitor(), (Context<T>::ExpressionTree::stackType) *it);

希望对其他人有帮助！