Question

如何使boost::apply_visitor（两个变体中的任何一个）成为class-visitor的朋友函数？

我尝试了以下内容：friend result_type boost::apply_visitor<>(decltype(*this) &, instruction_type const &);，但这不起作用。从*this（或boost::static_visitor typedef）派生的using result_type = ...;和指令类型是某些特定类型的boost::variant。 *this在operator ()部分中private - {s}。{/ 1}}

这种声明的正确形式是什么？

Answer 1

如果您坚持，可以将您的实际访问者包含在公开所需界面的访问者中，并将声明为访问者impl的朋友（现在结合了impl和访问者概念）

（这里的“好”（咳嗽）事情是impl不需要多态或动态分配。）

这是一个直截了当的概念证明：

#include <boost/variant.hpp>

namespace detail
{
    template <typename R, typename Wrapped>
        struct WrapVisitor : boost::static_visitor<R>
    {
        template <typename... T> R operator()(T&&... args) const { return _wrapped(std::forward<T>(args)...); }

        WrapVisitor(Wrapped&& wrapped) : _wrapped(std::move(wrapped)) {}
     private:
        Wrapped _wrapped;
    };
}

template <typename R, typename Wrapped>
detail::WrapVisitor<R, Wrapped> wrap(Wrapped&& wrapped) {
    return { std::forward<Wrapped>(wrapped) };
}

以下是您如何使用隐藏所有实施细节的演示访问者：

class PrivateVisistorImp : protected boost::static_visitor<double>
{
    double operator()(int i)    const { return -i;   }
    double operator()(double d) const { return d*10; }

    friend detail::WrapVisitor<double, PrivateVisistorImp>;
};

当然，它需要在呼叫站点实例化包装访问者的成本：

int main()
{
    using Var = boost::variant<int, double>;

    Var a = 3.14, b = 42;
    auto w = wrap<double>(PrivateVisistorImp());
    std::cout << boost::apply_visitor(w, a) << "\n";
    std::cout << boost::apply_visitor(w, b) << "\n";
}

全部查看 Live on Coliru

如何使boost :: apply_visitor成为类访问者的朋友功能？

1 个答案: