每个函数和自由函数的 Boost mpl

Question

为什么这段代码无法编译：

#include <boost/mpl/vector.hpp>
#include <boost/mpl/for_each.hpp>
#include <iostream>

using namespace std;
using namespace boost;

template <class T>   // specific visitor for type printing
static void print_type(T t)
    {
        std::cout << typeid(T).name() << std::endl;
    }


typedef mpl::vector<int, long, char*> s;
int main ()
{
    mpl::for_each<s>(print_type());
}

我想知道 - 如何使 boost mpl for_each 与同一类中的自由函数一起工作？

Answer 1

如前所述，您需要一个函子。

下面的代码包含一个额外的换行模板，允许打印函子处理引用。

#include <iostream>
#include <typeinfo>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/placeholders.hpp>

using namespace std;
using namespace boost;

template <typename T>
struct wrap {};

struct print_type
{
    template< typename T>
    void operator()( wrap<T> ) const
    {
        cout << typeid(T).name() << "\n";
    }
};

typedef mpl::vector<int, long&, char*> s;

int main ()
{
    mpl::for_each<s, wrap<mpl::placeholders::_1> >(print_type());
    return 0;
}

注意：此代码基于 David Abrahams 和 Aleksy Gurtovoy 所著的《C++ 模板元编程》一书中的示例

Answer 2

    mpl::for_each<s>(print_type());

这在几个方面是错误的。

首先，print_type 是一个返回void 的函数。 print_type() 是调用该函数的尝试。由于它不返回任何内容，因此您不能将其不存在的返回值粘贴到其他内容中。

其次，print_type 是一个模板函数。如果不指定模板参数，则无法调用模板函数。所以 print_type() 的格式不正确。

第三，即使 mpl::for_each(print_type) 也不起作用，因为 print_type 不是一个值（也不能转换为一个值）；它是一个模板。您不能将模板作为函数的参数传递。这就是为什么访问者（对于很多事情来说，不仅仅是 MPL）是对象，它可以具有模板 operator() 成员。