c++ - Boost::Variant and function_types in it: How to put functions into Boost::variant?

Question

歌词:

我尝试通过 MPI 实现任务池。所以我需要某种 RPC，但它可以在我的程序的不同部分之间工作，这意味着处理器 A 希望处理器 B 以参数 D 调用函数 C。我们不能像处理线程那样在进程之间传递指向函数的指针，所以我们需要一些包装器容器来保存我们在每个流程实例中的函数指针。所有在一个源文件\一个程序中......所以我开始想知道How to store functional objects with different signature in a container .我当时的 API 想法是错误的——最好在函数池构建时定义函数池中的所有函数(至少它应该更容易实现)。但是在实现时我遇到了下一个麻烦:

问题:

如此简单的代码(function_types、mpl::vector、variant):

#include <boost/function_types/function_type.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/variant.hpp>

#include <iostream>
#include <string>

template <class T>
int append(T val)
{
    std::cout << "hello";
    return 0;
}

int main()
{
    boost::variant<boost::function_types::function_type< boost::mpl::vector<int,int> >::type , boost::function_types::function_type< boost::mpl::vector<int,std::string> >::type  > a;
    return 0;
} 

不会编译落在:

Error   1   error C2066: cast to function type is illegal   c:\program files\boost\include\boost\variant\variant.hpp    1231    1

并查看 source我们看到:

此代码块:

variant()
{
    // NOTE TO USER :
    // Compile error from here indicates that the first bound
    // type is not default-constructible, and so variant cannot
    // support its own default-construction.
    //
    new( storage_.address() ) internal_T0();
    indicate_which(0); // zero is the index of the first bounded type
}

所以我想知道:如何解决这个错误？

我也试过:

#include <boost/function_types/function_type.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/variant.hpp>
#include <boost/function.hpp>

#include <iostream>
#include <string>

template <class T>
int append(T val)
{
    std::cout << "hello";
    return 1;
}

int main()
{
    boost::variant< boost::function<int (std::string) >, boost::function<int (int) > > a;
    a= &append<int>;

    return 0;
}

失败的是:

Error   1   error C2668: 'boost::detail::variant::make_initializer_node::apply<BaseIndexPair,Iterator>::initializer_node::initialize' : ambiguous call to overloaded function   c:\program files\boost\include\boost\variant\variant.hpp    1330

关于如何制作 boost.variant hold 函数有什么想法吗？

当然我们可以像这样使用指向仿函数的共享指针:

#include <boost/variant.hpp>
#include <boost/shared_ptr.hpp>

#include <iostream>
#include <string>

template <class in, class out>
struct s_append
{
    out operator()(in val) {
        std::cout << "hello";
        return out();
    }
};

int main()
{
    boost::variant<boost::shared_ptr<s_append<int, int> >, boost::shared_ptr< s_append<std::string, int> > > a;
    boost::shared_ptr<s_append<int, int> > b(new s_append<int, int> );
    a=b;
    return 0;
}

它会编译，但生成的 API 很糟糕——你必须 1) 为你想使用的所有函数创建仿函数(意味着限制当前进程范围的使用)； 2) 使用 shared_pointers，所以我什至不知道如何调用嵌套的函数(简单的第一次猜测 (*a)(22); 只是不会编译 =( 并且 API 开始和我们使用 Boost.Any 时一样糟糕)。

Answer 1

尝试插入一个虚拟类型作为 variant 的第一个参数。正如您找到的评论所解释的那样，只有变体中的第一种类型用于变体自己的默认构造函数。您可以为此使用空结构类型 (struct NoFunction {};)。

也就是说，您可能已经有了使用 boost::functions 作为变体中的类型的想法……它们至少是默认可构造的。我不确定您从该方法中遇到的其他错误是由什么引起的，但只是想让您知道，如果您不能使用我提到的虚拟类型解决方法，您可以更多地追求该角度。